Assertion: predicate's object | /r/CapableOf | match formula
Facets:
Source sentences:
text: The universal quantifier means that all possible mathematical objects of the universe of discourse match a certain predicate or formula.