 In this framework, a quantified NP such as ‘every sweater’ has a meaning which can take the meaning of an intransitive verb (e.g., ‘unravelled’), or more generally, a Verb Phrase (VP), as input and produce the meaning (truth-value) of a sentence (e.g. ‘every sweater unravelled’) as output. Intransitive verbs and VPs are like common nouns in being of type ib. For example, the VP quickly(unravelled) is of type ib, mapping all and only individuals that unravelled quickly to TRUE. So a quantified NP is a function from inputs of type ib to outputs of type b, and is thus of type (ib)b. ‘Every sweater unravelled quickly’ would be represented as (every(sweater))(quickly(unravelled)), and would denote the truth-value that is the result of applying a meaning of type (ib)b, that of every(sweater), to a meaning of type ib, that of quickly(unravelled) (the adverb quickly itself is of type (ib)(ib), like the adjective woollen). Rules specific to every guarantee that every(sweater) maps quickly(unravelled) to TRUE iff quickly(unravelled) maps to TRUE everything that sweater maps to TRUE.