- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Thu, 20 Nov 2008 09:36:48 +0000
- To: Stella Mitchell <cleo@us.ibm.com>
- CC: RIF WG <public-rif-wg@w3.org>
Stella Mitchell wrote: > > Ok, I have a few questions on sections 1-5. I assume this is about Core. > 5.1 Safeness (Definition) > - 1st bullet > - what is psi (at the very end of the sentence)? > - is "RIF formula phi" supposed to be "RIF condition > formula phi"? > > - 3rd & 4th bullets > - the only difference between these two bullets is the > word "implication," - what is the distinction? > > - 6th bullet > - if phi is ground, what are the ?V's? "Ground" is not > defined in BLD or Core. Thanks, fixed. Dave -- Hewlett-Packard Limited Registered Office: Cain Road, Bracknell, Berks RG12 1HN Registered No: 690597 England
Received on Thursday, 20 November 2008 09:38:09 UTC