Re: BLD restriction

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 UTC