Assertion: inference | /r/CapableOf | follow derivation
Facets:
value: directly
type: MANNER
value: from the proof of another proposition
type: OTHER
Source sentences:
text: analogy (an inference that if things agree in some respects they probably agree in others) corollary ((logic) an inference that follows directly from the proof of another proposition) derivation (a line of reasoning that shows how a conclusion follows logically from accepted propositions)