Assertion: quantifier | /r/MadeOf | numeric term
Facets:
Source sentences:
text: These quantifiers bind the number variable n and contain a numeric term t which may not mention n but which may have other free variables.