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.