As an example of flexible interpretation, compare ‘John loves Mary’ and ‘Everyone loves someone’.  Syntactically, all noun phrases are typed as np, and the verb as (np\s)/np. ‘John’ and ‘Mary’ are interpreted with constants of type e, ‘loves’ with a constant of type e → e → t, the default semantic types for the syntactic source types.  But ‘everyone’ and ‘someone’ are mapped to constants of type (e → t) → t. Interpreting the syntactic derivation for ‘Everyone loves someone’, the semantic types no longer match for simple function application: the verb expects two e type arguments, but instead finds two arguments of type (e → t) → t. There are two ways of accommodating these higher-order arguments by means of argument raising: depending on whether one raises first the object argument and then the subject, or vice versa, one obtains two readings for one and the same syntactic derivation: a reading corresponding to the surface order, with ∀ taking scope over ∃, and a reading with the inverted scope order. The correspondence between syntax and semantics, under this flexible view, has become a relation, rather than being functionally determined by the translation homomorphism of §2.2.