<!DOCTYPE doc [
<!ELEMENT doc ((a, b)| (a, c))>
<!ELEMENT a EMPTY>
<!ELEMENT b (#PCDATA)>
<!ELEMENT c (#PCDATA)>
]>
<doc><a/><c> doc is non-deterministic </c></doc>