Assertion: quantifier | /r/HasProperty | type
Facets:
Source sentences:
text: For every type t, there is a quantifier of that type that is not definable in first-order logic extended with quantifiers that are of types less than t.