Categorial unification grammars · Study