Next: , Previous: Dutch, Up: Principles list


7.2.15 Entries principle

This principle can be applied on any dimension, but it is usually used on the lex dimension only.

The purpose of the Entries principle is to ensure that for each node, precisely one lexical entry is selected.

If you do not use this principle, and there are two lexical lexical entries for a word in the input which do not make a difference for the analysis, the XDK solver does not select one of the two. If you do use it, it does select one, i.e. it enumerates all possible lexical entries for a word in the input.

Here is the definition of the Entries constraint functor:

%% Copyright 2001-2008
%% by Ralph Debusmann <rade@ps.uni-sb.de> (Saarland University) and
%%    Denys Duchier <duchier@ps.uni-sb.de> (LIFO, Orleans) and
%%    Jorge Marques Pelizzoni <jpeliz@icmc.usp.br> (ICMC, Sao Paulo) and
%%    Jochen Setz <info@jochensetz.de> (Saarland University)
%%
functor
export
   Constraint
define
   proc {Constraint Nodes G Principle FD FS Select}
      EntryIndexDs = {Map Nodes
		      fun {$ Node} Node.entryIndex end}
   in
      {FD.distribute ff EntryIndexDs}
   end
end