Assertion: generalized quantifier | /r/HasProperty | $q$
Facets:
Source sentences:
text: More generally, the model-theoretic interpretation of an arbitrary "quantifier" $Q$ (with the same syntactic behaviour as $\forall$ and $\exists$) can (according to A. Mostowski) be given by a mapping associating with each model $(A,\dots)$ a class $