Assertion: argument's conclusion | /r/HasProperty | derived using modus ponens
Facets:
Source sentences:
text: The conclusion is derived using Modus Ponens (a rule for logical inference which preserves truth).