Test Case Example
From RIF
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)
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)
