Assertion: predicate | /r/HasProperty | term
Facets:
value: in logic
type: OTHER
Source sentences:
text: Predicate is a term in logic, and used only in a single case, namely, when we affirm one thing of another.