Assertion: predicate's subject | /r/HasProperty | socrates in socrates is mortal
Facets:
value: in socrates
type: LOCATION
Source sentences:
text: When the subject of the sentence is an individual object (like Socrates in "Socrates is mortal"), then we are using first order logic.