Assertion: logic's semantic | /r/HasProperty | presupposed in traditional logic
Facets:
Source sentences:
text: Aristotelian” semantics (the semantics presupposed in traditional logic, where the extension of a term is nonempty)?