Assertion: predicate's subject | /r/HasProperty | mortal
Facets:
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.