Lexical Attributes

The formal model posited a function $\Feature{entry}$ to map a node to a lexical entry. Here, we shall seek to eliminate the use of $\Feature{entry}$ and use lexical attribute functions that operate directly on the node rather than on the entry which it is assigned:

$\begin{array}{r@{\quad\equiv\quad}l} \Feature{word}(w)&\Feature{word}(\Feature{entry}(w))\\ \Feature{cat}(w)&\Feature{cat}(\Feature{entry}(w))\\ \Feature{agr}(w)&\Feature{agr}(\Feature{entry}(w))\\ \Feature{comps}(w)&\Feature{comps}(\Feature{entry}(w)) \end{array}$

In the constraint model, $\Feature{cat}(w)$ is a variable denoting the category of the lexical entry assigned to node (similarly for the other attributes).