--- /dev/null
+<?xml version="1.0" encoding="UTF-8"?>
+
+<!-- DTD for persistent lambda-delta logical data -->
+
+<!-- TERMS -->
+
+<!ENTITY % leaf '(Sort|LRef|GRef)'>
+
+<!ENTITY % node '(Cast|Appl|Abst|Abbr|Void)'>
+
+<!ENTITY % term '(%node;*,%leaf;)'>
+
+<!ELEMENT Sort EMPTY>
+<!ATTLIST Sort
+ position NMTOKEN #REQUIRED
+ name CDATA #IMPLIED
+>
+
+<!ELEMENT LRef EMPTY>
+<!ATTLIST LRef
+ position NMTOKEN #REQUIRED
+ name CDATA #IMPLIED
+>
+
+<!ELEMENT GRef EMPTY>
+<!ATTLIST GRef
+ uri CDATA #REQUIRED
+ name CDATA #IMPLIED
+>
+
+<!ELEMENT Cast %term;>
+<!ATTLIST Cast
+ name CDATA #IMPLIED
+>
+
+<!ELEMENT Appl %term;>
+<!ATTLIST Appl
+ name CDATA #IMPLIED
+>
+
+<!ELEMENT Abst %term;>
+<!ATTLIST Abst
+ name CDATA #IMPLIED
+>
+
+<!ELEMENT Abbr %term;>
+<!ATTLIST Abbr
+ name CDATA #IMPLIED
+>
+
+<!ELEMENT Void EMPTY>
+<!ATTLIST Void
+ name CDATA #IMPLIED
+>
+
+<!-- ENVIRONMENT ENTRIES -->
+
+<!ENTITY % entry '(ABST|ABBR|VOID)'>
+
+<!ELEMENT ABST %term;>
+<!ATTLIST ABST
+ uri CDATA #REQUIRED
+ name CDATA #IMPLIED
+>
+
+<!ELEMENT ABBR %term;>
+<!ATTLIST ABBR
+ uri CDATA #REQUIRED
+ name CDATA #IMPLIED
+>
+
+<!ELEMENT VOID EMPTY>
+<!ATTLIST VOID
+ uri CDATA #REQUIRED
+ name CDATA #IMPLIED
+>
+
+<!-- ROOT -->
+
+<!ELEMENT ENTRY %entry;>
+<!ATTLIST ENTRY
+ hierarchy NMTOKEN #REQUIRED
+ options NMTOKENS #IMPLIED
+>