Comments on [57] of Part 1

The following rule is extracted from the current version of Part 1.

[57] ignoreSect::=
	'<!['
	%'IGNORE'
	'[' 
	(
		((SkipLit | Comment | PI) - (Char* ']]>' Char*))
		| ignoreSect
		| (Char - ([<'"] | ']'))*
		| ('<!' (Char - ('-' | '['))*)
	)
	']]>'


I believe that it does not allow the examples below:

Example 1 (INCLUDE in IGNORE)

	<![IGNORE[ 
		<![INCLUDE[ 
			<!ELEMENT br EMPTY>
		]]>
	]]>


Example 2 (- as a part of a name)

	<![IGNORE[
		<!ELEMENT A-3 EMPTY>
	]]>

Example 3 (more than one markup)

	<![IGNORE[
		<!-- comment1 -->
		<!-- comment2 -->
		<!ELEMENT br EMPTY>
	]]>

Murata, Makoto
Fuji Xerox Information Systems
 
Tel: 044-812-7230   Fax: 044-812-7231
E-mail: murata@apsdc.ksp.fujixerox.co.jp