what does this test case entail?

I added a test case at 
http://www.w3.org/2005/rules/wiki/Entail_everything_Test_Case but am not 
sure I know what it entails in BLD.  Also, Christian, PRD says that a 
variable in a Forall ranges over all the Consts in WM (i.e. all the 
Consts in WM are "candidate bindings").  To be consistent with BLD, it 
can only range over the Consts that occur in an "individual position", a 
term which may need some clarification in BLD and should be introduced 
in PRD.
-- 


Oracle <http://www.oracle.com>
Gary Hallmark | Architect | +1.503.525.8043
Oracle Server Technologies
1211 SW 5th Avenue, Suite 800
Portland, OR 97204