Assertion: logic's feature | /r/HasProperty | transitivity
Facets:
value: earlier than
type: OTHER
Source sentences:
text: One obvious logical feature of the relation \(R\) (earlier than) is transitivity.