Determining the proposition expressed by an utterance