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