Which is a lifted version of modus ponens?

• A. Generalized modus ponens
• B. Inference
• C. Clauses
• D. None of the mentioned