next up previous
Next: Top category. Up: Formalism Previous: Grammar rules.

Lexical entries.

The lexicon is defined by the predicate lex/2. As an example, the lexical entry `sleeps' could be encoded as:
...,agr(3,sg),intrans,l(X,sleep(X)))).\end{verbatim}\end{minipage}\end{displaymath} (2)

The first argument is the terminal symbol introduced by this lexical category. The second argument is the category (a non-variable term). In cases where a lexical entry introduces a sequence of terminal symbols the first argument is also allowed to be a (non-empty) list of atoms.