### 5.4.2 Lexical Constraints

In this section, we define precisely the constraints governing assignment of lexical attributes. Consider the sequence of lexicon entries obtained for from the lexicon:

let's write for the position of the one that is selected out of this sequence:

Abstractly, we can write to denote the selected entry and define it thus:

The lexical attributes assigned to are then obtained as explained in Section 5.3:

However, for practical reasons of implementation, the selection constraint cannot operate on arbitrary AVMs, but is only provided for finite domains and finite sets. This means that we cannot use the selection constraint directly on the sequence of lexicon entries to obtain . However, we only need to access its attributes, and we overcome the limitation we pointed out by pushing attribute access into the selection:

Denys Duchier
Version 1.2.0 (20010221)