<p>Consider the following pair of expressions:</p><p style="margin-left:36pt;">lives_in(X, a_town, works_in(X,a_university))</p><p style="margin-left:36pt;">lives_in(karen, Y, works_in(X, Z))</p><p>Try to unify this pair of expressions; then either show the mostgeneral unifier or explain why they will