Found:

Properness

**SEMANTICS: **a semantic property of NPs in
**Generalized Quantifier Theory**. An NP is interpreted in a model M as a proper **generalized quantifier** Q if Q
is neither the empty set nor the power set (i.e. the set of all subsets) of the domain of entities E. (More formally: Q =/= 0 and Q =/= Pow(E).) An NP is *improper* only if it is not proper. If there are no dogs in E, then *all dogs*, for instance denotes the power set of E, and hence is an improper NP. A proper quantifier denotation Q is also called a *sieve* because it only lets through those VP denotations that together with Q make a true sentence.

LIT. | Barwise, J. & R. Cooper (1981) Gamut, L.T.F. (1991) |