Re: Deriving

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I prefer option (3), allow it.  We allow vacuous redefinition of
anyType, why not of anySimpleType?

Note further that in 1.1, 3.15.1 has already changed to allow for
anyAtomicType. . .

I think we just add to that paragraph, along the lines of

  Non-restricting derivations from anySimpleType and anyAtomic type
  are also allowed, that is, derivations involving no facets.

and add a parallel exception to the para. Michael pointed to
originally, allowing for variety to be absent in cases of vacuous
restriction of anySimpleType.

ht
- -- 
 Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
                     Half-time member of W3C Team
    2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
            Fax: (44) 131 650-4587, e-mail: ht@inf.ed.ac.uk
                   URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged spam]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)

iD8DBQFFXYg8kjnJixAXWBoRAg8hAJ9Pv0adO9KYY4Oaj+emJQ4uSUvu4gCeIxx4
0qFUJhKZbKb++EVmRmuDDN0=
=gpb7
-----END PGP SIGNATURE-----