Assertion: consequence | /r/CapableOf | say to be valid
Facets:
value: formally
type: MANNER
Source sentences:
text: A consequence said to be formally valid is one of which if it is understood to be as is adequately signified through the antecedent then it is understood to be just as is adequately signified through the consequent.