- From: Robert Miner <RobertM@dessci.com>
- Date: Wed, 12 Mar 2003 16:04:03 -0600
- To: stephane@lavirotte.com
- CC: www-math@w3.org
Hi. This is now fixed. The second assertion is correct. Thanks for the report. --Robert ------------------------------------------------------------------ Dr. Robert Miner RobertM@dessci.com MathML 2.0 Specification Co-editor 651-223-2883 Design Science, Inc. "How Science Communicates" www.dessci.com ------------------------------------------------------------------ > Hi, > > 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 > valid. > > <<< > 4.4.3.17 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. > >>>
Received on Wednesday, 12 March 2003 17:04:13 UTC