Following up by posting a summary of the decisions we made during Thursday's Council meeting regarding anyElement: 1. The @include attribute on anyElement will be renamed @require, which better summarizes its function. 2. A new attribute will be added to schemaSpec which will list the default name/namespace exceptions for RelaxNG schemas. Suggested name is defaultExceptionNS. I'm not 100% certain on that, because I'd like to allow single name exclusions as well, like teix:egXML (i.e. the egXML element itself, which can have an @xml:id). Maybe just @defaultExclusions? 3. Specify how #2 interacts with @require and @except on anyElement. If @require is present on anyElement, all default exceptions apply in the generated RNG, and no additional exceptions should be specified on the anyElement. But if a namespace in the default exclusion list is in @require, it will not be excluded. If @except is present on anyElement, its content overrides the default exclusions.