Assertion: quantifier | /r/HasProperty | operator
Facets:
value: syntactically
type: MANNER
Source sentences:
text: Syntactically, they are operators binding one variable in one formula.