A readable version is as below:
Comment ::= '<!--' (Char* - (Char* '--' Char*) - (Char* '-')) '-->'
This is idential to
Comment ::= '<!--' ((Char - '-') | ('-' (Char - '-')))* '-->'
Again, I did the comparison with Grail.
Makoto
Fuji Xerox Information Systems
Tel: +81-44-812-7230 Fax: +81-44-812-7231
E-mail: murata@apsdc.ksp.fujixerox.co.jp