Assertion: inference | /r/HasProperty | rule-governed step
Facets:
value: to a new proposition
type: TRANSITIVE-OBJECT
value: from one or more propositions
type: OTHER
Source sentences:
text: An inference is a rule-governed step from one or more propositions, called premises, to a new proposition, usually called the conclusion.