sentences:  For example, the generalized quantifier "every boy" denotes the set of sets of which every boy is a member.This treatment of quantifiers has been essential in achieving a compositional semantics for sentences containing quantifiers.A version of type theory is often used to make the semantics of different kinds of expressions explicit.