npm - @likecoin/epubcheck-ts - Versions diffs - 0.2.3 → 0.2.4 - Mend

@likecoin/epubcheck-ts 0.2.3 → 0.2.4

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (66) hide show

package/README.md +8 -8
package/bin/epubcheck.js +4 -4
package/bin/epubcheck.ts +4 -4
package/dist/index.cjs +265 -14
package/dist/index.cjs.map +1 -1
package/dist/index.d.cts +1 -0
package/dist/index.d.ts +1 -0
package/dist/index.js +265 -14
package/dist/index.js.map +1 -1
package/package.json +2 -2
package/schemas/applications.rng +0 -429
package/schemas/aria.rng +0 -3355
package/schemas/block.rng +0 -488
package/schemas/common.rng +0 -1076
package/schemas/container.rng +0 -24
package/schemas/core-scripting.rng +0 -950
package/schemas/data.rng +0 -161
package/schemas/datatypes.rng +0 -401
package/schemas/embed.rng +0 -980
package/schemas/epub-mathml3-inc.rng +0 -161
package/schemas/epub-nav-30.rnc +0 -44
package/schemas/epub-nav-30.rng +0 -19985
package/schemas/epub-nav-30.sch +0 -87
package/schemas/epub-prefix-attr.rng +0 -17
package/schemas/epub-shared-inc.rng +0 -29
package/schemas/epub-ssml-attrs.rng +0 -17
package/schemas/epub-svg-30.rnc +0 -17
package/schemas/epub-svg-30.rng +0 -19903
package/schemas/epub-svg-30.sch +0 -7
package/schemas/epub-svg-forgiving-inc.rng +0 -315
package/schemas/epub-switch.rng +0 -121
package/schemas/epub-trigger.rng +0 -90
package/schemas/epub-type-attr.rng +0 -12
package/schemas/epub-xhtml-30.rnc +0 -6
package/schemas/epub-xhtml-30.rng +0 -19882
package/schemas/epub-xhtml-30.sch +0 -409
package/schemas/epub-xhtml-inc.rng +0 -151
package/schemas/epub-xhtml-integration.rng +0 -565
package/schemas/epub-xhtml-svg-mathml.rng +0 -17
package/schemas/form-datatypes.rng +0 -54
package/schemas/mathml3-common.rng +0 -336
package/schemas/mathml3-content.rng +0 -1552
package/schemas/mathml3-inc.rng +0 -30
package/schemas/mathml3-presentation.rng +0 -2341
package/schemas/mathml3-strict-content.rng +0 -205
package/schemas/media.rng +0 -374
package/schemas/meta.rng +0 -754
package/schemas/microdata.rng +0 -192
package/schemas/ncx.rng +0 -308
package/schemas/ocf-container-30.rnc +0 -37
package/schemas/ocf-container-30.rng +0 -568
package/schemas/opf.rng +0 -15
package/schemas/opf20.rng +0 -513
package/schemas/package-30.rnc +0 -133
package/schemas/package-30.rng +0 -1153
package/schemas/package-30.sch +0 -444
package/schemas/phrase.rng +0 -746
package/schemas/rdfa.rng +0 -552
package/schemas/revision.rng +0 -106
package/schemas/ruby.rng +0 -141
package/schemas/sectional.rng +0 -278
package/schemas/structural.rng +0 -298
package/schemas/tables.rng +0 -420
package/schemas/web-components.rng +0 -184
package/schemas/web-forms.rng +0 -975
package/schemas/web-forms2.rng +0 -1236

package/schemas/mathml3-content.rng DELETED Viewed

@@ -1,1552 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<grammar xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes">
-  <!--
-        This is the Mathematical Markup Language (MathML) 3.0, an XML
-        application for describing mathematical notation and capturing
-        both its structure and content.
-        With additional changes for integration into the validator.nu
-        service.
-        Copyright 1998-2010 W3C (MIT, ERCIM, Keio)
-        Copyright 2012 Mozilla Foundation
-        Copyright 2014-2019 W3C (MIT, ERCIM, Keio, Beihang)
-        Use and distribution of this code are permitted under the terms
-        W3C Software Notice and License
-        http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231
-  -->
-  <include href="mathml3-strict-content.rng">
-    <define name="cn.content">
-      <zeroOrMore>
-        <choice>
-          <text/>
-          <ref name="mglyph"/>
-          <ref name="sep"/>
-          <ref name="PresentationExpression"/>
-        </choice>
-      </zeroOrMore>
-    </define>
-    <define name="cn.attributes">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <optional>
-        <attribute name="type"/>
-      </optional>
-      <optional>
-        <ref name="math-base"/>
-      </optional>
-    </define>
-    <define name="ci.attributes">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <optional>
-        <ref name="ci.type"/>
-      </optional>
-    </define>
-    <define name="ci.type">
-      <attribute name="type"/>
-    </define>
-    <define name="ci.content">
-      <zeroOrMore>
-        <choice>
-          <text/>
-          <ref name="mglyph"/>
-          <ref name="PresentationExpression"/>
-        </choice>
-      </zeroOrMore>
-    </define>
-    <define name="csymbol.attributes">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <optional>
-        <attribute name="type"/>
-      </optional>
-      <optional>
-        <ref name="cd"/>
-      </optional>
-    </define>
-    <define name="csymbol.content">
-      <zeroOrMore>
-        <choice>
-          <text/>
-          <ref name="mglyph"/>
-          <ref name="PresentationExpression"/>
-        </choice>
-      </zeroOrMore>
-    </define>
-    <define name="bvar">
-      <element name="bvar">
-        <ref name="CommonAtt"/>
-        <interleave>
-          <choice>
-            <ref name="ci"/>
-            <ref name="semantics-ci"/>
-          </choice>
-          <optional>
-            <ref name="degree"/>
-          </optional>
-        </interleave>
-      </element>
-    </define>
-    <define name="cbytes.attributes">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-    </define>
-    <define name="cs.attributes">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-    </define>
-    <define name="apply.content">
-      <choice>
-        <oneOrMore>
-          <ref name="ContExp"/>
-        </oneOrMore>
-        <group>
-          <ref name="ContExp"/>
-          <ref name="BvarQ"/>
-          <zeroOrMore>
-            <ref name="Qualifier"/>
-          </zeroOrMore>
-          <zeroOrMore>
-            <ref name="ContExp"/>
-          </zeroOrMore>
-        </group>
-      </choice>
-    </define>
-    <define name="bind.content">
-      <ref name="apply.content"/>
-    </define>
-  </include>
-  <!-- changed pattern name to math-base to avoid name conflict - mike -->
-  <define name="math-base">
-    <attribute name="base"/>
-  </define>
-  <define name="sep">
-    <element name="sep">
-      <empty/>
-    </element>
-  </define>
-  <define name="PresentationExpression" combine="choice">
-    <notAllowed/>
-  </define>
-  <define name="DomainQ">
-    <zeroOrMore>
-      <choice>
-        <ref name="domainofapplication"/>
-        <ref name="condition"/>
-        <ref name="interval"/>
-        <group>
-          <ref name="lowlimit"/>
-          <optional>
-            <ref name="uplimit"/>
-          </optional>
-        </group>
-      </choice>
-    </zeroOrMore>
-  </define>
-  <define name="domainofapplication">
-    <element name="domainofapplication">
-      <ref name="ContExp"/>
-    </element>
-  </define>
-  <define name="condition">
-    <element name="condition">
-      <ref name="ContExp"/>
-    </element>
-  </define>
-  <define name="uplimit">
-    <element name="uplimit">
-      <ref name="ContExp"/>
-    </element>
-  </define>
-  <define name="lowlimit">
-    <element name="lowlimit">
-      <ref name="ContExp"/>
-    </element>
-  </define>
-  <define name="Qualifier">
-    <choice>
-      <ref name="DomainQ"/>
-      <ref name="degree"/>
-      <ref name="momentabout"/>
-      <ref name="logbase"/>
-    </choice>
-  </define>
-  <define name="degree">
-    <element name="degree">
-      <ref name="ContExp"/>
-    </element>
-  </define>
-  <define name="momentabout">
-    <element name="momentabout">
-      <ref name="ContExp"/>
-    </element>
-  </define>
-  <define name="logbase">
-    <element name="logbase">
-      <ref name="ContExp"/>
-    </element>
-  </define>
-  <define name="type">
-    <attribute name="type"/>
-  </define>
-  <define name="order">
-    <attribute name="order">
-      <choice>
-        <value>numeric</value>
-        <value>lexicographic</value>
-      </choice>
-    </attribute>
-  </define>
-  <define name="closure">
-    <attribute name="closure"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="piecewise"/>
-  </define>
-  <define name="piecewise">
-    <element name="piecewise">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <interleave>
-        <zeroOrMore>
-          <ref name="piece"/>
-        </zeroOrMore>
-        <optional>
-          <ref name="otherwise"/>
-        </optional>
-      </interleave>
-    </element>
-  </define>
-  <define name="piece">
-    <element name="piece">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <ref name="ContExp"/>
-      <ref name="ContExp"/>
-    </element>
-  </define>
-  <define name="otherwise">
-    <element name="otherwise">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <ref name="ContExp"/>
-    </element>
-  </define>
-  <define name="DeprecatedContExp">
-    <choice>
-      <ref name="reln"/>
-      <ref name="fn"/>
-      <ref name="declare"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="DeprecatedContExp"/>
-  </define>
-  <define name="reln">
-    <element name="reln">
-      <zeroOrMore>
-        <ref name="ContExp"/>
-      </zeroOrMore>
-    </element>
-  </define>
-  <define name="fn">
-    <element name="fn">
-      <ref name="ContExp"/>
-    </element>
-  </define>
-  <define name="declare">
-    <element name="declare">
-      <optional>
-        <attribute name="type">
-          <data type="string"/>
-        </attribute>
-      </optional>
-      <optional>
-        <attribute name="scope">
-          <data type="string"/>
-        </attribute>
-      </optional>
-      <optional>
-        <attribute name="nargs">
-          <data type="nonNegativeInteger"/>
-        </attribute>
-      </optional>
-      <optional>
-        <attribute name="occurrence">
-          <choice>
-            <value>prefix</value>
-            <value>infix</value>
-            <value>function-model</value>
-          </choice>
-        </attribute>
-      </optional>
-      <ref name="DefEncAtt"/>
-      <oneOrMore>
-        <ref name="ContExp"/>
-      </oneOrMore>
-    </element>
-  </define>
-  <define name="interval.class">
-    <ref name="interval"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="interval.class"/>
-  </define>
-  <define name="interval">
-    <element name="interval">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <optional>
-        <ref name="closure"/>
-      </optional>
-      <ref name="ContExp"/>
-      <ref name="ContExp"/>
-    </element>
-  </define>
-  <define name="unary-functional.class">
-    <choice>
-      <ref name="inverse"/>
-      <ref name="ident"/>
-      <ref name="domain"/>
-      <ref name="codomain"/>
-      <ref name="math-image"/>
-      <ref name="ln"/>
-      <ref name="log"/>
-      <ref name="moment"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="unary-functional.class"/>
-  </define>
-  <define name="inverse">
-    <element name="inverse">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="ident">
-    <element name="ident">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="domain">
-    <element name="domain">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="codomain">
-    <element name="codomain">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <!-- changed pattern name to math-image to avoid name conflict - mike -->
-  <define name="math-image">
-    <element name="image">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="ln">
-    <element name="ln">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="log">
-    <element name="log">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="moment">
-    <element name="moment">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="lambda.class">
-    <ref name="lambda"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="lambda.class"/>
-  </define>
-  <define name="lambda">
-    <element name="lambda">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <ref name="BvarQ"/>
-      <ref name="DomainQ"/>
-      <ref name="ContExp"/>
-    </element>
-  </define>
-  <define name="nary-functional.class">
-    <ref name="compose"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="nary-functional.class"/>
-  </define>
-  <define name="compose">
-    <element name="compose">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="binary-arith.class">
-    <choice>
-      <ref name="quotient"/>
-      <ref name="divide"/>
-      <ref name="minus"/>
-      <ref name="power"/>
-      <ref name="rem"/>
-      <ref name="root"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="binary-arith.class"/>
-  </define>
-  <define name="quotient">
-    <element name="quotient">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="divide">
-    <element name="divide">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="minus">
-    <element name="minus">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="power">
-    <element name="power">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="rem">
-    <element name="rem">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="root">
-    <element name="root">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="unary-arith.class">
-    <choice>
-      <ref name="factorial"/>
-      <ref name="minus"/>
-      <ref name="root"/>
-      <ref name="abs"/>
-      <ref name="conjugate"/>
-      <ref name="arg"/>
-      <ref name="real"/>
-      <ref name="imaginary"/>
-      <ref name="floor"/>
-      <ref name="ceiling"/>
-      <ref name="exp"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="unary-arith.class"/>
-  </define>
-  <define name="factorial">
-    <element name="factorial">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="abs">
-    <element name="abs">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="conjugate">
-    <element name="conjugate">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arg">
-    <element name="arg">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="real">
-    <element name="real">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="imaginary">
-    <element name="imaginary">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="floor">
-    <element name="floor">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="ceiling">
-    <element name="ceiling">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="exp">
-    <element name="exp">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="nary-minmax.class">
-    <choice>
-      <ref name="max"/>
-      <ref name="min"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="nary-minmax.class"/>
-  </define>
-  <define name="max">
-    <element name="max">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="min">
-    <element name="min">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="nary-arith.class">
-    <choice>
-      <ref name="plus"/>
-      <ref name="times"/>
-      <ref name="gcd"/>
-      <ref name="lcm"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="nary-arith.class"/>
-  </define>
-  <define name="plus">
-    <element name="plus">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="times">
-    <element name="times">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="gcd">
-    <element name="gcd">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="lcm">
-    <element name="lcm">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="nary-logical.class">
-    <choice>
-      <ref name="and"/>
-      <ref name="or"/>
-      <ref name="xor"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="nary-logical.class"/>
-  </define>
-  <define name="and">
-    <element name="and">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="or">
-    <element name="or">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="xor">
-    <element name="xor">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="unary-logical.class">
-    <ref name="not"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="unary-logical.class"/>
-  </define>
-  <define name="not">
-    <element name="not">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="binary-logical.class">
-    <choice>
-      <ref name="implies"/>
-      <ref name="equivalent"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="binary-logical.class"/>
-  </define>
-  <define name="implies">
-    <element name="implies">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="equivalent">
-    <element name="equivalent">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="quantifier.class">
-    <choice>
-      <ref name="forall"/>
-      <ref name="exists"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="quantifier.class"/>
-  </define>
-  <define name="forall">
-    <element name="forall">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="exists">
-    <element name="exists">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="nary-reln.class">
-    <choice>
-      <ref name="eq"/>
-      <ref name="gt"/>
-      <ref name="lt"/>
-      <ref name="geq"/>
-      <ref name="leq"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="nary-reln.class"/>
-  </define>
-  <define name="eq">
-    <element name="eq">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="gt">
-    <element name="gt">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="lt">
-    <element name="lt">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="geq">
-    <element name="geq">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="leq">
-    <element name="leq">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="binary-reln.class">
-    <choice>
-      <ref name="neq"/>
-      <ref name="approx"/>
-      <ref name="factorof"/>
-      <ref name="tendsto"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="binary-reln.class"/>
-  </define>
-  <define name="neq">
-    <element name="neq">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="approx">
-    <element name="approx">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="factorof">
-    <element name="factorof">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="tendsto">
-    <element name="tendsto">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <optional>
-        <ref name="type"/>
-      </optional>
-      <empty/>
-    </element>
-  </define>
-  <define name="int.class">
-    <ref name="int"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="int.class"/>
-  </define>
-  <define name="int">
-    <element name="int">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="Differential-Operator.class">
-    <ref name="diff"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="Differential-Operator.class"/>
-  </define>
-  <define name="diff">
-    <element name="diff">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="partialdiff.class">
-    <ref name="partialdiff"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="partialdiff.class"/>
-  </define>
-  <define name="partialdiff">
-    <element name="partialdiff">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="unary-veccalc.class">
-    <choice>
-      <ref name="divergence"/>
-      <ref name="grad"/>
-      <ref name="curl"/>
-      <ref name="laplacian"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="unary-veccalc.class"/>
-  </define>
-  <define name="divergence">
-    <element name="divergence">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="grad">
-    <element name="grad">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="curl">
-    <element name="curl">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="laplacian">
-    <element name="laplacian">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="nary-setlist-constructor.class">
-    <choice>
-      <ref name="math-set"/>
-      <ref name="list"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="nary-setlist-constructor.class"/>
-  </define>
-  <!-- changed pattern name to math-set to avoid name conflict - mike -->
-  <define name="math-set">
-    <element name="set">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <optional>
-        <ref name="type"/>
-      </optional>
-      <zeroOrMore>
-        <ref name="BvarQ"/>
-      </zeroOrMore>
-      <zeroOrMore>
-        <ref name="DomainQ"/>
-      </zeroOrMore>
-      <zeroOrMore>
-        <ref name="ContExp"/>
-      </zeroOrMore>
-    </element>
-  </define>
-  <define name="list">
-    <element name="list">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <optional>
-        <ref name="order"/>
-      </optional>
-      <zeroOrMore>
-        <ref name="BvarQ"/>
-      </zeroOrMore>
-      <zeroOrMore>
-        <ref name="DomainQ"/>
-      </zeroOrMore>
-      <zeroOrMore>
-        <ref name="ContExp"/>
-      </zeroOrMore>
-    </element>
-  </define>
-  <define name="nary-set.class">
-    <choice>
-      <ref name="union"/>
-      <ref name="intersect"/>
-      <ref name="cartesianproduct"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="nary-set.class"/>
-  </define>
-  <define name="union">
-    <element name="union">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="intersect">
-    <element name="intersect">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="cartesianproduct">
-    <element name="cartesianproduct">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="binary-set.class">
-    <choice>
-      <ref name="in"/>
-      <ref name="notin"/>
-      <ref name="notsubset"/>
-      <ref name="notprsubset"/>
-      <ref name="setdiff"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="binary-set.class"/>
-  </define>
-  <define name="in">
-    <element name="in">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="notin">
-    <element name="notin">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="notsubset">
-    <element name="notsubset">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="notprsubset">
-    <element name="notprsubset">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="setdiff">
-    <element name="setdiff">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="nary-set-reln.class">
-    <choice>
-      <ref name="subset"/>
-      <ref name="prsubset"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="nary-set-reln.class"/>
-  </define>
-  <define name="subset">
-    <element name="subset">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="prsubset">
-    <element name="prsubset">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="unary-set.class">
-    <ref name="card"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="unary-set.class"/>
-  </define>
-  <define name="card">
-    <element name="card">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="sum.class">
-    <ref name="sum"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="sum.class"/>
-  </define>
-  <define name="sum">
-    <element name="sum">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="product.class">
-    <ref name="product"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="product.class"/>
-  </define>
-  <define name="product">
-    <element name="product">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="limit.class">
-    <ref name="limit"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="limit.class"/>
-  </define>
-  <define name="limit">
-    <element name="limit">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="unary-elementary.class">
-    <choice>
-      <ref name="sin"/>
-      <ref name="cos"/>
-      <ref name="tan"/>
-      <ref name="sec"/>
-      <ref name="csc"/>
-      <ref name="cot"/>
-      <ref name="sinh"/>
-      <ref name="cosh"/>
-      <ref name="tanh"/>
-      <ref name="sech"/>
-      <ref name="csch"/>
-      <ref name="coth"/>
-      <ref name="arcsin"/>
-      <ref name="arccos"/>
-      <ref name="arctan"/>
-      <ref name="arccosh"/>
-      <ref name="arccot"/>
-      <ref name="arccoth"/>
-      <ref name="arccsc"/>
-      <ref name="arccsch"/>
-      <ref name="arcsec"/>
-      <ref name="arcsech"/>
-      <ref name="arcsinh"/>
-      <ref name="arctanh"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="unary-elementary.class"/>
-  </define>
-  <define name="sin">
-    <element name="sin">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="cos">
-    <element name="cos">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="tan">
-    <element name="tan">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="sec">
-    <element name="sec">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="csc">
-    <element name="csc">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="cot">
-    <element name="cot">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="sinh">
-    <element name="sinh">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="cosh">
-    <element name="cosh">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="tanh">
-    <element name="tanh">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="sech">
-    <element name="sech">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="csch">
-    <element name="csch">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="coth">
-    <element name="coth">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arcsin">
-    <element name="arcsin">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arccos">
-    <element name="arccos">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arctan">
-    <element name="arctan">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arccosh">
-    <element name="arccosh">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arccot">
-    <element name="arccot">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arccoth">
-    <element name="arccoth">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arccsc">
-    <element name="arccsc">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arccsch">
-    <element name="arccsch">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arcsec">
-    <element name="arcsec">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arcsech">
-    <element name="arcsech">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arcsinh">
-    <element name="arcsinh">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="arctanh">
-    <element name="arctanh">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="nary-stats.class">
-    <choice>
-      <ref name="mean"/>
-      <ref name="sdev"/>
-      <ref name="variance"/>
-      <ref name="median"/>
-      <ref name="mode"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="nary-stats.class"/>
-  </define>
-  <define name="mean">
-    <element name="mean">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="sdev">
-    <element name="sdev">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="variance">
-    <element name="variance">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="median">
-    <element name="median">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="mode">
-    <element name="mode">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="nary-constructor.class">
-    <choice>
-      <ref name="vector"/>
-      <ref name="matrix"/>
-      <ref name="matrixrow"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="nary-constructor.class"/>
-  </define>
-  <define name="vector">
-    <element name="vector">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <ref name="BvarQ"/>
-      <ref name="DomainQ"/>
-      <zeroOrMore>
-        <ref name="ContExp"/>
-      </zeroOrMore>
-    </element>
-  </define>
-  <define name="matrix">
-    <element name="matrix">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <ref name="BvarQ"/>
-      <ref name="DomainQ"/>
-      <zeroOrMore>
-        <ref name="ContExp"/>
-      </zeroOrMore>
-    </element>
-  </define>
-  <define name="matrixrow">
-    <element name="matrixrow">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <ref name="BvarQ"/>
-      <ref name="DomainQ"/>
-      <zeroOrMore>
-        <ref name="ContExp"/>
-      </zeroOrMore>
-    </element>
-  </define>
-  <define name="unary-linalg.class">
-    <choice>
-      <ref name="determinant"/>
-      <ref name="transpose"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="unary-linalg.class"/>
-  </define>
-  <define name="determinant">
-    <element name="determinant">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="transpose">
-    <element name="transpose">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="nary-linalg.class">
-    <ref name="selector"/>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="nary-linalg.class"/>
-  </define>
-  <define name="selector">
-    <element name="selector">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="binary-linalg.class">
-    <choice>
-      <ref name="vectorproduct"/>
-      <ref name="scalarproduct"/>
-      <ref name="outerproduct"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="binary-linalg.class"/>
-  </define>
-  <define name="vectorproduct">
-    <element name="vectorproduct">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="scalarproduct">
-    <element name="scalarproduct">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="outerproduct">
-    <element name="outerproduct">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="constant-set.class">
-    <choice>
-      <ref name="integers"/>
-      <ref name="reals"/>
-      <ref name="rationals"/>
-      <ref name="naturalnumbers"/>
-      <ref name="complexes"/>
-      <ref name="primes"/>
-      <ref name="emptyset"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="constant-set.class"/>
-  </define>
-  <define name="integers">
-    <element name="integers">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="reals">
-    <element name="reals">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="rationals">
-    <element name="rationals">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="naturalnumbers">
-    <element name="naturalnumbers">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="complexes">
-    <element name="complexes">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="primes">
-    <element name="primes">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="emptyset">
-    <element name="emptyset">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="constant-arith.class">
-    <choice>
-      <ref name="exponentiale"/>
-      <ref name="imaginaryi"/>
-      <ref name="notanumber"/>
-      <ref name="true"/>
-      <ref name="false"/>
-      <ref name="pi"/>
-      <ref name="eulergamma"/>
-      <ref name="infinity"/>
-    </choice>
-  </define>
-  <define name="ContExp" combine="choice">
-    <ref name="constant-arith.class"/>
-  </define>
-  <define name="exponentiale">
-    <element name="exponentiale">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="imaginaryi">
-    <element name="imaginaryi">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="notanumber">
-    <element name="notanumber">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="true">
-    <element name="true">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="false">
-    <element name="false">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="pi">
-    <element name="pi">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="eulergamma">
-    <element name="eulergamma">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-  <define name="infinity">
-    <element name="infinity">
-      <ref name="CommonAtt"/>
-      <ref name="DefEncAtt"/>
-      <empty/>
-    </element>
-  </define>
-</grammar>