Assertion: functional predicate | /r/HasProperty | relational predicates
Facets:
Source sentences:
text: Many treatments of predicate logic don't allow functional predicates, only relational predicates.