Assertion: predicate's variable | /r/HasProperty | quantified by quantifier
Facets:
Source sentences:
text: Consider M(x, y) denote "x is married to y." Quantifier: The variable of predicates is quantified by quantifiers.
text: This formal system is distinguished from other systems in that its formulae contain variables which can be quantified.
text: The variable of predicates is quantified by quantifiers.