Note that this definition embodies an optimistic
approach to grounding by putting answer(sys, Q, A) in SHARED.LM,
thereby assuming the systems utterance was understood by the user.
Also, the system optimistically assumes that the user accepts the
resulting proposition P by
adding it to SHARED.BEL.