Assertion: predicate's subject | /r/HasProperty | single
Facets:
Source sentences:
text: In first-order logic, a predicate can only refer to a single subject.