- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Thu, 11 Jun 2009 09:03:34 +0100
- 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. Dave -- 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