Assertion: logic's feature | /r/HasProperty | its construction
Facets:
value: in such a manner
type: MANNER
Source sentences:
text: The feature of (3) that guarantees that every instance of it will be valid is its construction in such a manner that every uniform way of replacing its variables to make the premises true automatically makes the conclusion true also, or, in other words, that no instance of it can have true premises but a false conclusion.