Test Case Example

From RIF
Revision as of 10:38, 28 August 2008 by StellaMitchell (Talk | contribs)

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

PositiveEntailmentTest |author=Sandro Hawke |status=Proposed |dialect=Core |desc=This is just an example |pformat=Presentation |premise=p(a->1 b->2) |cformat=Presentation |conc=p(b->2 a->1)