Assertion: predicate's object | /r/HasProperty | least one
Facets:
Source sentences:
text: If we want to assert a predicate of some objects (at least one), we use the existential quantifier, "( x)".