Lexicon

We consider a function $\Feature{lex}$ mapping a full form of a word to the corresponding set of lexicon entries, or rather, without loss of generality, we assume that $\Feature{lex}$ returns a sequence rather than a set, which allows us to identify lexicon entries by position in this sequence:

$\Feature{lex}(s)=\TUP{e\in\setof{Lexicon}\mid\Feature{word}(e)=s}$

We will have to pick one entry in this sequence. For this purpose we introduce $\Feature{entryindex}(w)$ to denote the position of the selected entry in the sequence obtained from the lexicon.