Assertion: backward reasoning | /r/CapableOf | infer conclusion
Facets:
value: via modus ponens
type: OTHER
Source sentences:
text: These inference engines support forward reasoning or backward reasoning to infer conclusions via modus ponens.