relax-ng-comment message

Subject: [relax-ng-comment] Definition of mixed pattern?

From: pwilson@gorge.net (Peter Wilson)
To: relax-ng-comment@lists.oasis-open.org
Date: Sun, 09 Dec 2001 09:30:07 -0800

In a DTD a mixed pattern is usually defined by something like:

<!ELEMENT body (#PCDATA | font)*>

The 1.0 specification (4.13) defines:

<mixed>    <ref name="font"/> </mixed>
as equivalent to:
<interleave>  <ref name="font"/>  <text> </interleave>

Hoever, this does not allow instances like
    <body>Some text<font/>some other text</body>

Surely mixed should be defined as something like:

<zeroOrMore>
    <choice>
        <text>
        <ref name="font"/>
    </choice>
</zeroOrMore>