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

Re: BLD restriction

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Fri, 18 Sep 2009 21:07:05 -0400
To: Chris Welty <cawelty@gmail.com>
Cc: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Message-ID: <20090918210705.69b1f202@kiferserv>


On Thu, 17 Sep 2009 14:18:37 -0400
Chris Welty <cawelty@gmail.com> wrote:

> 
> IN 2.6.1 of BLD, second para, it says:
> 
> "RIF-BLD conditions permit only existential variables. "
> 
> Is this just vestigial?  Not sure what it is supposed to mean.  Maybe that 
> existentials can only appear in conditions?

This is redundant and may be confusing. Deleted.

michael
Received on Saturday, 19 September 2009 01:07:42 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 19 September 2009 01:07:43 GMT