Paul Libbrecht wrote: > My OM3 voice says +1 for the proposal below. > I still miss "where is the translation". what do you mean here? Under 2. I am specifying the translation.
Michael > > paul > > >> So can we get a consensus here? We have a telcon this afternoon, where >> we can probably decide this. So if I interpret what I have seen, your >> preference would be: >> >> 1. relation symbols are binary!!!! >> >> 2. we still have pragmatic MathML of the form >> <apply><eq/>a b c</apply> >> but that will be translated to >> <apply> >> <csymbol cd="logic1">and</csymbol> >> <apply><csymbol cd="relation1">eq</csmbol>a b</csmbol></apply> >> <apply><csymbol cd="relation1">eq</csmbol>b c</csmbol></apply> >> </apply> >> in the content to strict translation. >> >> Michael >>> James Davenport >>> Hebron & Medlock Professor of Information Technology >>> Formerly RAE Coordinator and Undergraduate Director of Studies, CS Dept >>> Lecturer on CM30070, 30078, 50209, 50123, 50199 >>> Chairman, Powerful Computing WP, University of Bath >>> OpenMath Content Dictionary Editor >>> IMU Committee on Electronic Information and Communication >>> >>> _______________________________________________ >>> Om3 mailing list >>> [email protected] >>> http://openmath.org/mailman/listinfo/om3 >>> >> >> -- >> ---------------------------------------------------------------------- >> Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 >> Professor of Computer Science Campus Ring 12, >> School of Engineering & Science D-28759 Bremen, Germany >> Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140 >> [EMAIL PROTECTED] http://kwarc.info/kohlhase >> skype: m.kohlhase * International University Bremen until Feb. 2007 >> ---------------------------------------------------------------------- >> > -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor of Computer Science Campus Ring 12, School of Engineering & Science D-28759 Bremen, Germany Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140 [EMAIL PROTECTED] http://kwarc.info/kohlhase skype: m.kohlhase * International University Bremen until Feb. 2007 ---------------------------------------------------------------------- _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
