Assertion: inference | /r/HasProperty | mortal
Facets:
value: from these premises
type: LOCATION
Source sentences:
text: From these premises, the inference “Socrates is mortal” can be drawn with deductive validity.