W3C home > Mailing lists > Public > public-rif-wg@w3.org > November 2008

Re: [RIF] test case dialect indicators

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Thu, 20 Nov 2008 09:36:48 +0000
Message-ID: <49252FB0.1050302@hplb.hpl.hp.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:58 GMT