Feature structures, Unification of feature structures