<!ELEMENT DOC - -  (TITLE, BODY)    >
<!ELEMENT TITLE  - -  (#PCDATA)        >
<!ELEMENT BODY   - -  (HEAD | P | DEF )*       >
<!ELEMENT HEAD      - -  (#PCDATA)        >
<!ATTLIST HEAD
   ID     ID     #IMPLIED
>
<!ELEMENT P      - -  (#PCDATA)        >
<!ATTLIST P
   ID     ID     #IMPLIED
>
<!ELEMENT DEF     - -  (DT, DD?)+       >
<!ATTLIST DEF
   ID     ID     #IMPLIED
>
<!ELEMENT DT     - -  (#PCDATA)        >
<!ATTLIST DT
   ID     ID     #IMPLIED
>
<!ELEMENT DD     - -  (#PCDATA)        >
<!ATTLIST DD
   ID     ID     #IMPLIED
>