 For concrete situations, we also need the specific temporal and causal relationships. This kind of information is specified in so called scenarios representing lexical meaning. The lexical meaning of the accomplishment run a mile corresponds to scenario (54). Like the axioms, the scenario takes the form of a logic program. All variables are universally quantified. 