 in which the quantified NP is within the semantic scope of the verb without having scope over a hidden subsentence with a free variable for the NP to bind: the quantified NP ‘a woollen sweater’ can just be the argument to the verb. To allow for the intensionality of the transitive verb, Montague adopts the rule that if x and y can concatenate into a meaningful expression xy, the reference of the functional expression is a function which operates on the intension of the argument expression. Suppressing some irrelevant detail, this means that if ‘wants’ syntactically combines with ‘a woollen sweater’ to produce the VP ‘wants a woollen sweater’, then in its semantics, want applies to the intension of (a(woollen (sweater))), resulting in the following semantics for (18):