Assertion: consequence | /r/HasAspect | necessary antecedent
Facets:
Source sentences:
text: If this consequence is valid, then it has a necessary antecedent and a false consequent (since the consequent says that it is invalid).