p57pass1.xml

<!DOCTYPE doc
[
<!ELEMENT doc (a|b)*>
<!ELEMENT a EMPTY>
<!ELEMENT b EMPTY>
<!NOTATION a SYSTEM "a">
<!ATTLIST a att (a|b) #IMPLIED>
<!ATTLIST b att NOTATION (a|b) #IMPLIED>
<!NOTATION b SYSTEM "b">
]>
<doc/>