W3C home > Mailing lists > Public > public-rif-wg@w3.org > June 2009

Re: [Core](PRD] safeness

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Thu, 11 Jun 2009 09:03:34 +0100
Message-ID: <4A30BA56.1000901@hplb.hpl.hp.com>
To: Christian De Sainte Marie <csma@fr.ibm.com>
CC: RIF <public-rif-wg@w3.org>
Christian De Sainte Marie wrote:

> You are right, the definition is not explicit enough on this aspect (in 
> an earlier version, there was a note about whether we should remind 
> readers that existentially quantified variables did not exist outside 
> their existential formula, but I removed it without action, when Dave 
> seemed to imply that it was clear enough).

Don't blame me :-)

Actually I think that note would be helpful, though hardly critical.

Hewlett-Packard Limited
Registered Office: Cain Road, Bracknell, Berks RG12 1HN
Registered No: 690597 England
Received on Thursday, 11 June 2009 08:04:27 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:58 UTC