Assertion: conclusion | /r/CapableOf | follow given premise
Facets:
value: necessarily
type: MANNER
Source sentences:
text: For example, given premises that A=B and B=C, then the conclusion follows necessarily that A=C. Deductive arguments are sometimes referred to as "truth-preserving" arguments.