Assertion: argument's consequent | /r/CapableOf | express necessary condition
Facets:
value: for the antecedent
type: TRANSITIVE-OBJECT
Source sentences:
text: This conditional statement says both these things, because the antecedent of a conditional expresses a sufficient condition (for the consequent), and the consequent expresses a necessary condition (for the antecedent).