Next: Top category.
Previous: Grammar rules.
The lexicon is defined by the predicate lex/2. As an
example, the lexical entry `sleeps' could be encoded as:
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.