Assertion: elaboration | /r/HasProperty | a subsumption relation
Facets:
value: between the types of the eventualities
type: OTHER
Source sentences:
text: More speciﬁcally, Elaboration can be non-monotonically inferred if there is a subsumption relation, encoded by the Subtype D predicate, between the types of the eventualities involved.