For all events and individuals v, 2.
for all n-predicates P n , with respect to a model M , an SMRS can be viewed as denoting an element of P(G), where G is the set of variable assignment functions (i.e., elements of G assign the variables e, .