Assertion: formal consequence | /r/HasProperty | true
Facets:
value: in all cases
type: TEMPORAL
Source sentences:
text: A formal consequence must be true in all cases, however this is an incomplete definition of formal consequence, since even the argument "P is Q's brother's son, therefore P is Q's nephew" is valid in all cases, but is not a formal argument.