BLD restriction

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?

-Chris

-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty

Received on Thursday, 17 September 2009 18:19:19 UTC