Test Case Example

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)

Last modified on 28 August 2008, at 10:38