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.

Please elaborate the reason if the unify or not