Good day,

Attempting to validate the document
http://www.ruleml.org/0.88/exa/appendix2a.ruleml

using the current XSV web interface results in the following schema error:

http://www.ruleml.org/0.88/xsd/modules/atom_module.xsd:120:2: Invalid:
non-deterministic content model for type Atom.type:
{http://www.ruleml.org/0.88/xsd}:slot/{http://www.ruleml.org/0.88/xsd}:slot

However, the self-installing Win32 installation
(ftp://ftp.cogsci.ed.ac.uk/pub/XSV/XSV28.EXE) reports no such
non-determinism.  (See below for details.)

No idea if this has anything to do with the October update.  (Similar
documents weren't being reported as non-deterministic back in August using
the XSV web interface.)  Just thought I should report it.

David

***

The basic content model in question is below, which, though complicated,
should be deterministic:

(
	( A, (B)*, ( (C)+, (B)* )? ) |
	(
	  ( 
          ( (B)+, ( (C)+, (B)* )? ) |
	    ( (C)+, (B)* )
	  ), D
	)
 )

From mike@s... Thu Jan 13 13:31:23 2005
Received: f