fixed property of constraining facets

Hello

For all constraining facets except enumeration and pattern it is stated
in section 4.3 of
XML Schema 2
(http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/datatypes.html#rf-fa
cets):

  "If {fixed} is true, then types for which the current type is the 
   {base type definition} cannot specify a value for <facet> other than
{value}."

But I filed to find a statement that the fixed="true" property of a
facet is inherited 
by a type derived via restriction or extension. 
Assume 
- type T1 set has fixed="true" for <facet> with some {value}, 
- T2 is derived from T1 by restriction or extension, specifying <facet>
with the same {value}, 
then T3 derived from T2 via restriction may specify that <facet> with a
different {value}. 

Is that intended? 

Best regards
Uli

Received on Monday, 14 March 2005 18:13:21 UTC