Lifted inference rules require finding substitutions that make different logical expressions looks identical.
(a) Existential Instantiation
(b) Universal Instantiation
(c) Unification
(d) Modus Ponen
This question was posed to me during an interview.
The origin of the question is Inference in First-Order Logic topic in section Knowledge and Reasoning of Artificial Intelligence