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.