Assertion: formal quantifier | /r/Desires | subformula
Facets:
Source sentences:
text: A formal quantifier requires a variable, which is said to be bound by it, and a subformula specifying a property of that variable.
text: A formal quantifier requires a variable, which is said to be bound by it, and a subformula specifying a property of that variable.