Assertion: argument's consequent | /r/HasProperty | necessary condition
Facets:
value: on the antecedent
type: OTHER
Source sentences:
text: In general, for any conditional whatsoever, the antecedent is a sufficient condition on the consequent and the consequent is a necessary condition on the antecedent.