This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
8.1.1 Derives from Sem "Some rules have hypotheses that simply list a type, element, or attribute declaration." s/hypotheses/premises/ ? It doesn't appear to be true. "the type it is declared to derive from by restriction or extension." The rules are given in the other order.
Removed the first sentence, not adding anything. Reversed the order in the second sentence. - Jerome