Assertion: traditional logic | /r/CapableOf | study certain simple relationships
Facets:
value: between classes
type: OTHER
Source sentences:
text: Traditional logic studied certain simple relationships between classes, namely being a subclass of and having a nonempty intersection with.