<!ENTITY % term '(%node;*,%leaf;)'>
+<!ENTITY % terms '(%term;*)'>
+
<!ELEMENT Sort EMPTY>
<!ATTLIST Sort
- position NMTOKEN #REQUIRED
- name NMTOKENS #IMPLIED
- mark NMTOKENS #IMPLIED
- meta CDATA #IMPLIED
+ position NMTOKEN #REQUIRED
+ name NMTOKEN #IMPLIED
+ mark NMTOKEN #IMPLIED
+ meta CDATA #IMPLIED
>
<!ELEMENT LRef EMPTY>
<!ATTLIST LRef
- position NMTOKEN #REQUIRED
- name NMTOKENS #IMPLIED
- mark NMTOKENS #IMPLIED
- meta CDATA #IMPLIED
+ position NMTOKEN #REQUIRED
+ offset NMTOKEN #IMPLIED
+ name NMTOKEN #IMPLIED
+ mark NMTOKEN #IMPLIED
+ meta CDATA #IMPLIED
>
<!ELEMENT GRef EMPTY>
<!ATTLIST GRef
- uri CDATA #REQUIRED
- name NMTOKENS #IMPLIED
- mark NMTOKENS #IMPLIED
- meta CDATA #IMPLIED
+ uri CDATA #REQUIRED
+ name NMTOKEN #IMPLIED
+ mark NMTOKEN #IMPLIED
+ meta CDATA #IMPLIED
>
<!ELEMENT Cast %term;>
<!ATTLIST Cast
- name NMTOKENS #IMPLIED
- arity NMTOKENS #IMPLIED
- mark NMTOKENS #IMPLIED
- meta CDATA #IMPLIED
+ arity NMTOKEN #IMPLIED
+ mark NMTOKEN #IMPLIED
+ meta CDATA #IMPLIED
>
-<!ELEMENT Appl %term;>
+<!ELEMENT Appl %terms;>
<!ATTLIST Appl
- name NMTOKENS #IMPLIED
- arity NMTOKENS #IMPLIED
- mark NMTOKENS #IMPLIED
- meta CDATA #IMPLIED
+ arity NMTOKEN #IMPLIED
+ mark NMTOKEN #IMPLIED
+ meta CDATA #IMPLIED
>
-<!ELEMENT Abst %term;>
+<!ELEMENT Abst %terms;>
<!ATTLIST Abst
name NMTOKENS #IMPLIED
- arity NMTOKENS #IMPLIED
- mark NMTOKENS #IMPLIED
+ arity NMTOKEN #IMPLIED
+ mark NMTOKEN #IMPLIED
meta CDATA #IMPLIED
>
-<!ELEMENT Abbr %term;>
+<!ELEMENT Abbr %terms;>
<!ATTLIST Abbr
name NMTOKENS #IMPLIED
- arity NMTOKENS #IMPLIED
- mark NMTOKENS #IMPLIED
+ arity NMTOKEN #IMPLIED
+ mark NMTOKEN #IMPLIED
meta CDATA #IMPLIED
>
<!ELEMENT Void EMPTY>
<!ATTLIST Void
name NMTOKENS #IMPLIED
- arity NMTOKENS #IMPLIED
- mark NMTOKENS #IMPLIED
+ arity NMTOKEN #IMPLIED
+ mark NMTOKEN #IMPLIED
meta CDATA #IMPLIED
>
<!ELEMENT ABST %term;>
<!ATTLIST ABST
- uri CDATA #REQUIRED
- name NMTOKENS #IMPLIED
- mark NMTOKENS #IMPLIED
- meta CDATA #IMPLIED
+ uri CDATA #REQUIRED
+ name NMTOKEN #IMPLIED
+ mark NMTOKEN #IMPLIED
+ meta CDATA #IMPLIED
>
<!ELEMENT ABBR %term;>
<!ATTLIST ABBR
- uri CDATA #REQUIRED
- name NMTOKENS #IMPLIED
- mark NMTOKENS #IMPLIED
- meta CDATA #IMPLIED
+ uri CDATA #REQUIRED
+ name NMTOKEN #IMPLIED
+ mark NMTOKEN #IMPLIED
+ meta CDATA #IMPLIED
>
-<!-- ROOT -->
-
<!ELEMENT ENTITY %entity;>
<!ATTLIST ENTITY
hierarchy NMTOKEN #REQUIRED
options NMTOKENS #IMPLIED
>
+
+<!-- CONVERSION CONSTRAINT SYSTEM -->
+
+<!ENTITY % ccs '(ToInfinity)'>
+
+<!ELEMENT ToInfinity EMPTY>
+<!ATTLIST ToInfinity
+ arity NMTOKEN #IMPLIED
+ mark NMTOKENS #IMPLIED
+>
+
+<!ELEMENT CCS %ccs;>
+<!ATTLIST CCS
+ uri CDATA #REQUIRED
+>