Warning:
This wiki has been archived and is now read-only.
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)