  We consider sentences of the form Q M P, where Q is a quantifier, M a mass noun and P a predicate. [M] is the denotation of the mass noun, i.e., the set that has for members everything that is M (a join semi-lattice). [P] is the set that has for members everything that P. Using set-theoretic intersection ∩, one may propose: