Habanera Lexicon Entry
- Standard Structure
- A super-entry is a tree of entries
- A super-entry has a unique key in the dictionary
- The structure of an entry is defined by a set of type definitions
- Coherence checks
- An entry is always syntactically well-formed object
- Coherence: within a dictionary, within the LKB
- Consistency: conform to the entry schema
- Compilation
- A tree of entries is compiled as a set of elementary entries
- A compiled entry can be type-checked
- Runtime dictionaries require compilation of entries and
construction of indexes