MathML Test suite questions


I had a look at the MathML content testsuite. I've got a problem with
the "testsuite/Content/ArithmeticAlgebraLogic/forall/forall2" sample.

In REC, should we understand: "an optional condition and an optional
assertion" or "an optional condition and a required assertion" ? If the
second statement is the right one, the forall2 sample should not be

<<< Universal quantifier (forall)

The forall element represents the universal quantifier of logic. It must
be used in conjunction with one or more bound variables, an optional
condition element, and an assertion, which should take the form of an
apply element. In MathML 1.0, the reln element was also permitted here:
this usage is now deprecated.

Stéphane LAVIROTTE                    
Maître de Conférences                 web:
IUFM de Nice                          tél: +33 (0) 4 93 53 75 67
I3S (CNRS / Univerité de Nice)        tél: +33 (0) 4 92 96 51 72

Received on Friday, 17 January 2003 07:36:58 UTC