What do you mean by unification and lifting ? Convert following sentences into FOPL
Sushma likes all kinds of practical courses.
AI and DBMS are practical courses.
Any subject anyone practices is practical course.
Ruby practices PHP.
Rita practices everything that Ruby practices.
Using resolution check whether “Sushma likes PHP” is inferred or not.