Assertion: predicate | /r/HasProperty | philosopher
Facets:
Source sentences:
text: The predicate "is a philosopher" occurs in both sentences, which have a common structure of "a is a philosopher".
text: The predicates "is a philosopher" and "is a scholar" each take a single variable.
text: It is based on his idea that a predicate such as "is a philosopher" designates a concept, rather than an object.