If a given input does not satisfy these hard constraints, the unification fails.
the temporal relation between referring expressions (i.e., γ mn ) is Next, we discuss how these definitions and the process of graph matching address optimization, in particular, with respect to key principles of Optimality theory for natural language interpretation.