1 <?xml version="1.0" encoding="UTF-8"?>
3 <!-- DTD for persistent lambdadelta logical data -->
7 <!ENTITY % leaf '(Sort|LRef|GRef)'>
9 <!ENTITY % node '(Cast|Appl|Abst|Abbr|Void)'>
11 <!ENTITY % term '(%node;*,%leaf;)'>
13 <!ENTITY % terms '(%term;*)'>
17 position NMTOKEN #REQUIRED
25 position NMTOKEN #REQUIRED
26 offset NMTOKEN #IMPLIED
40 <!ELEMENT Cast %term;>
42 arity NMTOKEN #IMPLIED
47 <!ELEMENT Appl %terms;>
49 arity NMTOKEN #IMPLIED
54 <!ELEMENT Abst %terms;>
56 level NMTOKEN #IMPLIED
57 name NMTOKENS #IMPLIED
58 arity NMTOKEN #IMPLIED
63 <!ELEMENT Abbr %terms;>
65 name NMTOKENS #IMPLIED
66 arity NMTOKEN #IMPLIED
73 name NMTOKENS #IMPLIED
74 arity NMTOKEN #IMPLIED
79 <!-- ENVIRONMENT ENTRIES -->
81 <!ENTITY % entity '(ABST|ABBR)'>
83 <!ELEMENT ABST %term;>
86 level NMTOKEN #IMPLIED
89 meta NMTOKENS #IMPLIED
94 <!ELEMENT ABBR %term;>
99 meta NMTOKENS #IMPLIED
104 <!ELEMENT ENTITY %entity;>
106 xmlns CDATA #FIXED "http://lambdadelta.info/"
107 hierarchy NMTOKEN #REQUIRED
108 options NMTOKENS #IMPLIED
111 <!-- CONVERSION CONSTRAINT SYSTEM -->
113 <!ENTITY % cc '(ToPositive|ToOne|ToNext)'>
115 <!ENTITY % ccs '(%cc;*)'>
117 <!ELEMENT ToPositive EMPTY>
119 arity NMTOKEN #IMPLIED
120 mark NMTOKENS #IMPLIED
123 <!ELEMENT ToOne EMPTY>
125 arity NMTOKEN #IMPLIED
126 mark NMTOKENS #IMPLIED
129 <!ELEMENT ToNext EMPTY>
131 arity NMTOKEN #IMPLIED
132 prec NMTOKENS #IMPLIED
133 next NMTOKENS #IMPLIED
138 xmlns CDATA #FIXED "http://lambdadelta.info/"