Q416. Which process makes different logical expression looks identical?
✅ Correct Answer: B) Unification
Explanation: Lifted inference rules require finding substitutions that make different logical expression looks identical. This process is called unification.