Assertion: predicate | /r/UsedFor | refer to single subject
Facets:
value: in first-order logic
type: OTHER
Source sentences:
text: In first-order logic, a predicate can only refer to a single subject.