Assertion: logical truth | /r/HasProperty | formal implies
Facets:
value: at the
type: OTHER
Source sentences:
text: That a logical truth is formal implies at the very least that all the sentences which are appropriate replacement instances of its logical form are logical truths too.