Re: Enumeration component and restriction

"Michael Marchegay" <mmarcheg@optonline.net> writes:

<snip/>

> I deduce from it that a simple type definition can contain several
> enumeration components in its {facets} property, and that the facets of the
> enumeration component of the base type is added to the {facets} of the
> derived type regardless of the presence of an enumeration component (built
> from "local" <enumeration> information items, as described in 4.3.5.3).
>
> I understand the last part of the last sentence as allowing multiple
> enumeration *components*.  But it seems that in fact, it says that multiple
> <enumeration> information items are allowed; those will be used for building
> *one* enumeration component, that behaves just like other facet components
> (it is overriden by the one defined locally within a restriction step).

Yeah, the two parts of the REC are in conflict here.  I'll raise an
official issue.

The intended semantics are clear (it should be a restriction, after
all), but the prose gets pretty confused.

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@cogsci.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]

Received on Wednesday, 27 August 2003 10:11:43 UTC