;;; -*- Mode: TDL; Package: DISCO -*-


;;
;; type hierarchy
;;

:begin :type.
:include "sorts_basic".
:include "types_basic".
:include "types_head".
:include "types_mrs".
:include "types_rules_lexical".
:include "types_rules_phrasal".
:include "types_lexical".
:include "types_lexical_static".
:include "inflections".
:include "tmt".
:end :type.


;;
;; lexicon entries (instances of status lex-entry or generic-lex-entry)
;;

:begin :instance :status lex-entry.
:include "lexicon_core".
:include "lexicon_static".
:end :instance.


;;
;; Generic lexical entries
;;

:begin :instance :status generic-lex-entry.
:include "types_lexical_generic".
:end :instance.



;;
;; grammar rules and lexical rules (instances of status rule)
;;

:begin :instance :status rule.
:include "rules_phrasal".
:end :instance.

:begin :instance :status lex-rule.
:include "rules_lexical".
:include "inflr".
:end :instance.


;;
;; parse-tree labels (instances)
;;

:begin :instance.
:include "labels".
:end :instance.

;;
;; start symbols of the grammar (instances)
;;

:begin :instance.
:include "roots".
:end :instance.


;;
;; token mapping: manipulate the token lattice prior to lexical look-up
;;
:begin :instance :status token-mapping-rule.
:include "tmr.tdl".
:end :instance.

;;
;; lexical filtering: reduce the chart after lexical instantiation and the
;; application of lexical rules, right before we turn loose syntactic rules.
;;
:begin :instance :status lexical-filtering-rule.
:include "lfr.tdl".
:end :instance.