<!DOCTYPE doc+
−
[+
−
<!ELEMENT doc ANY>+
−
<!--NOTE: XML doesn't specify whether this is a choice or a seq-->+
−
<!ELEMENT a (doc?)>+
−
<!ELEMENT b (doc|a)>+
−
<!ELEMENT c (+
−
doc+
−
|+
−
a+
−
|+
−
c?+
−
)>+
−
]>+
−
<doc/>+
−