The examples

Theorems:

The basic interpretation functions (for instance, morphological paradigm functions) as ``flat'' relations, to be expressed compactly by the more general predictive lexicon theory

Theory:

The microlexicon in the DATR formalism

Derivations:

The record of an inference computation using the microlexicon and the ``Omniscient Lexicographer'' procedural perspective of Lexical Morphology; two examples are given, one of the morphosemantic interpretation and the other of the morphoprosodic interpretation.