- From: Christian De Sainte Marie <csma@fr.ibm.com>
- Date: Wed, 10 Jun 2009 11:03:53 +0200
- To: Gary Hallmark <gary.hallmark@oracle.com>
- Cc: RIF <public-rif-wg@w3.org>
Received on Wednesday, 10 June 2009 09:05:39 UTC
********* NOTICE ********** My new email address at IBM is: csma@fr.ibm.com My ILOG email address will not be forwarded after June 8 ***************************** Gary Hallmark <gary.hallmark@oracle.com> wrote on 09/06/2009 22:54:27: > > R1: if not(P(?x) and ?x=1) then Q(1) > > I claim R1 is safe because ?x is bounded and used only "inside the not". No, R1 is not safe either, I think; because x can be bound to anything (any x!=1 satisfies the condition, independent of P). 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 02430
Received on Wednesday, 10 June 2009 09:05:39 UTC