 For example, in the simple theory of types, a common noun such as ‘sweater’ is assigned a meaning of the following type: a function from individuals to truth-values (a function of type ib, for short; b for ‘boolean’). For ‘sweater’ the function in question is the one which maps all sweaters to the truth-value TRUE, and all other individuals to the truth-value FALSE. On the other hand, an (“intersective”) adjective such as ‘woollen’ would be assigned a meaning of the following type: a function from (functions from individuals to truth-values) to (functions from individuals to truth-values), or a function of type (ib)(ib) for short. Thus the meaning of ‘woollen’ can take the meaning of ‘sweater’ (an ib) as input and produce the meaning of ‘woollen sweater’ (another ib) as output; this is why the meaning of ‘woollen’ has the type (ib)(ib). woollen(sweater) is the specific function of type ib that maps sweaters made of wool to TRUE, and all other individuals to FALSE.