Assertion: predicate | /r/HasProperty | the teacher
Facets:
Source sentences:
text: In the first-order sentence "Socrates is the teacher of Plato", the predicate "is the teacher of" takes two variables.