Inconsistncy between Methdololgy and tool/generated schema
I've allocated this bug report to the tool but the choice is arbitrary. It can also be assigned to the methodology. The bug refers to a contradiction between the rules for schema mapping of extensions as described in section 4.6 of the methodology document and what the tool does in reality.
Section 4.6 states: