<!ELEMENT Abst %terms;>
<!ATTLIST Abst
- name NMTOKENS #IMPLIED
+ level NMTOKEN #IMPLIED
+ name NMTOKENS #IMPLIED
arity NMTOKEN #IMPLIED
mark NMTOKEN #IMPLIED
meta CDATA #IMPLIED
<!ELEMENT ABST %term;>
<!ATTLIST ABST
- uri CDATA #REQUIRED
- name NMTOKEN #IMPLIED
- mark NMTOKEN #IMPLIED
- meta CDATA #IMPLIED
+ uri CDATA #REQUIRED
+ level NMTOKEN #IMPLIED
+ name NMTOKEN #IMPLIED
+ mark NMTOKEN #IMPLIED
+ meta CDATA #IMPLIED
>
<!ELEMENT ABBR %term;>
<!-- CONVERSION CONSTRAINT SYSTEM -->
-<!ENTITY % ccs '(ToInfinity)'>
+<!ENTITY % cc '(ToPositive|ToOne|ToNext)'>
+
+<!ENTITY % ccs '(%cc;*)'>
-<!ELEMENT ToInfinity EMPTY>
-<!ATTLIST ToInfinity
+<!ELEMENT ToPositive EMPTY>
+<!ATTLIST ToPositive
arity NMTOKEN #IMPLIED
mark NMTOKENS #IMPLIED
>
+<!ELEMENT ToOne EMPTY>
+<!ATTLIST ToOne
+ arity NMTOKEN #IMPLIED
+ mark NMTOKENS #IMPLIED
+>
+
+<!ELEMENT ToNext EMPTY>
+<!ATTLIST ToNext
+ arity NMTOKEN #IMPLIED
+ prec NMTOKENS #IMPLIED
+ next NMTOKENS #IMPLIED
+>
+
<!ELEMENT CCS %ccs;>
<!ATTLIST CCS
uri CDATA #REQUIRED