Assertion: predicate's object | /r/HasProperty | philosopher
Facets:
value: on the interpretations of the predicates
type: OTHER
Source sentences:
text: The truth of this formula depends on which object is denoted by a, and on the interpretations of the predicates "is a philosopher" and "is a scholar".