Entail everything

{PositiveEntailmentTest |author=Gary Hallmark |status=Proposed |dialect=Core |purpose= |desc=Test what a rule with a true premise entails |pformat=Presentation |premise=p(1 2) f#t[a->3 b->4] forall ?x (A(?x) :- And()) |cformat=Presentation |conc=A(1) A(2) A(3) A(4) A(a) A(b) A(f) A(t) }

Last modified on 11 September 2008, at 23:34