User:Sandro Hawke/test1

From RIF
Jump to: navigation, search

{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= }