Section 4.3.4.1.2 - type attribute on nary-set.class members

Section 4.3.4.1.2 includes the following text:

'The above rule applies to all symbols in the listed classes. In the 
case of *nary-set.class* the choice of Content Dictionary to use depends 
on the |type| attribute on the symbol, defaulting to set1 
<http://www.openmath.org/cd/set1.xhtml>, but multiset1 
<http://www.openmath.org/cd/multiset1.xhtml> should be used if 
|type|="multiset"'.

However, according to Appendix A...

*nary-set.class*  =union  <http://www.w3.org/TR/MathML/appendixa.html#parsing_union>  |intersect  <http://www.w3.org/TR/MathML/appendixa.html#parsing_intersect>  |cartesianproduct  <http://www.w3.org/TR/MathML/appendixa.html#parsing_cartesianproduct>
*union*  =*element*  |union|  {CommonAtt  <http://www.w3.org/TR/MathML/appendixa.html#parsing_CommonAtt>,DefEncAtt  <http://www.w3.org/TR/MathML/appendixa.html#parsing_DefEncAtt>, empty}
*intersect*  =*element*  |intersect|  {CommonAtt  <http://www.w3.org/TR/MathML/appendixa.html#parsing_CommonAtt>,DefEncAtt  <http://www.w3.org/TR/MathML/appendixa.html#parsing_DefEncAtt>, empty}
*cartesianproduct*  =*element*  |cartesianproduct|  {CommonAtt  <http://www.w3.org/TR/MathML/appendixa.html#parsing_CommonAtt>,DefEncAtt  <http://www.w3.org/TR/MathML/appendixa.html#parsing_DefEncAtt>, empty}
*DefEncAtt*  =*attribute*  |encoding|  {xsd:string}?,
             *attribute*  |definitionURL|  {xsd:anyURI}?
*CommonAtt*  =*attribute*  |id|  {xsd:ID}?,
             *attribute*  |xref|  {text}?,
             *attribute*  |class|  {xsd:NMTOKENS}?,
             *attribute*  |style|  {xsd:string}?,
             *attribute*  |href|  {xsd:anyURI}?,
             CommonDeprecatedAtt  <http://www.w3.org/TR/MathML/appendixa.html#parsing_CommonDeprecatedAtt>,
             NonMathMLAtt  <http://www.w3.org/TR/MathML/appendixa.html#parsing_NonMathMLAtt>*
*CommonDeprecatedAtt*  =*attribute*  |other|  {text}?
*NonMathMLAtt*  =*attribute*  |(* - (local:*|m:*)|) {xsd:string}

... it is not legal for any member of nary-set.class to have a type="multiset" attribute.

It therefore is pointless and confusing to include the text about what to do if the type="multiset" is present, if it is never legal for it to be present.

Best wishes,
Andrew

Received on Monday, 26 March 2012 20:26:11 UTC