Assertion: predicate's object | /r/HasProperty | quantified
Facets:
Source sentences:
text: Thus the "first" in first-order logic describes the type of objects that can be quantified.