 Montague’s semantic analyses were given in terms of a type-logical hierarchy whose basic ingredients were truth values, possible individuals, and possible worlds. While the exact nature of individuals and worlds depends on the (arbitrary) choice of a particular model (or ‘Fregean interpretation’), the truth values 1 (true) and 0 (false) transcend the class of all models, thus emphasizing their status as logical objects. A lot of work in current linguistic semantics still applies Montague’s type-logical hierarchy, which is however often enriched by events (or, more generally: eventualities) that serve as the referents of verbs and verb phrases (Bach 1986a; Parsons 1990).