Assertion: quantifier | /r/HasProperty | first-order
Facets:
Source sentences:
text: This quantifier is still first-order definable but not an iteration.