When a simple type is created by deriving from another simple type, any facet checks specified on the base are inherited by the derived child and combined with locally specified ones as additional restrictions. These are narrowings unless unions of types are used. (which is a separate implementation issue)