34
Derived type
<datatype name='healthyBodytemp'
        source='bodytemp'>
   <maxInclusive value='99.5'/>
  </datatype>
n The healthyBodytemp type definition is
defined by closing down the permitted range of
bodytemp.  We say it 'inherits' the other facets
of bodytemp, so the 'effective type definition'
of healthyBodytemp  is