 In interpreting the first sentence, we want to update the situation model in a way that makes the sentence true. The tense information will be interpreted as a goal to minimally update the situation model with a fluent Loaded that holds now. In our framework semantic interpretation is thus closely linked to planning, in that finding an interpretation for a sentences requires coming up with a sequence of actions that makes the goal succeed. 