The limits of unification
Robert J. P. Ingria · 1990
Current complex-feature based grammars use a single procedure---unification---for a multitude of purposes, among them, enforcing formal agreement between purely syntactic features. This paper presents evidence from several natural languages that unification---variable-matching combined with variable substitution---is the wrong mechanism for effecting agreement. The view of grammar developed here is one in which unification is used for semantic interpretation, while purely formal agreement involves only a check for non-distinctness---i.e. variable-matching without variable substitution.