Assertion: elaboration | /r/HasProperty | inferred
Facets:
value: -monotonically
type: DEGREE
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.
text: When Subtype D holds, Elaboration can be inferred.
text: Finally, in the SDRT framework, the Subtype D predicate holds in these cases and Elaboration is inferred.