Assertion: reasoning's implication | /r/HasProperty | true
Facets:
Source sentences:
text: However, there is a connection between implication and inference, as follows: if the implication 'if p then q' is true, the inference 'p therefore q' is valid.