Gary Hallmark wrote on 03/07/2009 00:52:53: > > This one I did not fix: > It seems that the then-part of a rule can have an unrestricted > And(...). E.g. > > If ... Then And(_P(?x) Or(?x = 1 ?x = 2)) Isn't that because the restriction to atoms and frames in the conclusion is a semantic, not a syntactic one? Christian ILOG, an IBM Company 9 rue de Verdun 94253 - Gentilly cedex - FRANCE Tel. +33 1 49 08 35 00 Fax +33 1 49 08 35 10 Sauf indication contraire ci-dessus:/ Unless stated otherwise above: Compagnie IBM France Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400 Courbevoie RCS Nanterre 552 118 465 Forme Sociale : S.A.S. Capital Social : 609.751.783,30 ? SIREN/SIRET : 552 118 465 02430Received on Monday, 6 July 2009 10:27:35 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 6 July 2009 10:27:36 GMT