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