In formal terms, a model is defined as follows: A model M is a quintuple hU; E; Pred; Quant; Namei (V) A function Name mapping constants to members of U.
the constants c P , where P is a predicate are mapped to P r e d P , i.e., the supremum, also known as the sum, of the interpretation of P. Notice that in our models there are separate domains for objects and eventualities (i.e., states and events).