Some simplified examples will give the flavor of this theory.
a pronoun is represented at QLF by a term containing essentially a syntactic category, an index, a restriction predicate, and a metavariable; schematically: term(pro, <idx>, <restriction>, <met avrble>) a sentence like he sneezed will, ignoring tense and aspect, be represented as follows at the QLF level; and, when the metavariable has been instantiated to the contextually preferred candidate referent, at the resolved quasi-logical form (RQLF) level: QLF = sneeze(term(pro,+l,masc,Referent)) KQLF = sneeze (term (pro, +I, masc, john) ) Scoping of quantifiers is also a matter of instantiating metavariables.