Entail everything

From RIF
Revision as of 23:34, 11 September 2008 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

{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) }