#363 Update mathml-related validation rules to reflect the ability of packages to override them.

[Lucian Smith]

We decided many years ago that it was OK for packages to allow new MathML to be used. Our validation rules need updating to reflect this.

We did this already for rule 10202, adding the following sentence to the end:

"An SBML Package may allow new MathML elements to be added to this list, and if so, the package must define required="true" on the SBML container element <sbml>."</sbml>

I think we need to do the same thing for rules 10203, 10204, 10205, 10206, 10207, and 10208. I don't think we need to change 10214. I dunno about 10220 ('only use 'units' on 'cn' elements.)--maybe someone will want to put units on vectors or something?

10205 is particularly important, since this is what the current version of 'distrib' does (extend 'csymbol').

I'll post proposed wording changes in the comments.

[Lucian Smith]

Here's a couple screenshots with the new text. Hopefully this makes it easier and not harder to tell what they are; I can repost as text if anyone wants.

[Lucian Smith]

By common consent at the 2019 HARMONY Editor's Meeting, this issue is accepted, and will appear in the new releases of l3v1 and l3v2. It has been added to http://sbml.org/Documents/Specifications/SBML_Level_3/Version_2/Core/Confirmed_issues_in_the_Level_3_Version_2_Core_Specification

[Lucian Smith]

Released!