Warning:
This wiki has been archived and is now read-only.
User:Sandro Hawke/test1
From RIF
{PositiveEntailmentTest2 |Title=Modus Ponens |Feature Group=Core |Related Issue= |Spec Ref= |Purpose=Demonstrate a very, very simple rule |Description=Really this is just here to demo/test the test-case-management software |Status=unready |Syntax=Presentation Syntax |Premise=q :- p. p. |Conclusion=q. |Contributor=Sandro Hawke |Bugs= |SeeAlso= }