Higher-Order Colored Unification: A Linguistic Application · Study