Question: question 3 consider the following pair of expressions livesinx athabascatown...
Consider the following pair of expressions:
lives_in(X, athabasca_town, works_in(X, athabasca_university))
lives_in(karen, Y, works_in(X, Z))
Try to unify this pair of expressions; then either show the most general unifier or explain why they will not unify.