Assertion: quantifier | /r/HasProperty | definable
Facets:
value: in fo
type: LOCATION
Source sentences:
text: Both quantifiers are definable in terms of a standard quantifier against the background of classical quantificational logic.
text: For example, the quantifier all is definable in FO, since the following holds: