modus ponens

GPTKB entity