ExampleRules.hs

module ExampleRules where  
import Data.List
import ARC/Syntax2
import ARC/FrontEnd
import ARC/ExampleSentences
 
type RuleName = String
data Rule = Rule {rulename :: RuleName, 
  premises :: [Sent], 
  conclusion :: Sent}
  deriving (Show, Eq)
type RuleList = [Rule] 
 
junk = Rule {rulename  = "junk",  premises = readSs ["all x x", "all y y"] , conclusion = readS "all x y"}  
 
anti =   Rule {rulename  = "anti",  premises = readSs ["all x y"] , conclusion = readS "all non-y non-x"}
barbara = Rule {rulename  = "barbara",  premises = readSs ["all x y", "all y z"] , conclusion = readS "all x z"} 
some1 = Rule {rulename  = "some1",  premises = readSs ["some x y"], conclusion = readS "some x x"}
some2 = Rule {rulename  = "some2",  premises = readSs ["some x y"], conclusion = readS "some y x"}
darii =  Rule {rulename  = "darii",  premises = readSs ["all y z", "some x y"],  conclusion = readS "some x z"}
zero =  Rule {rulename  = "zero",  premises = readSs ["all x non-x"], conclusion =readS "all x y"}
one =  Rule {rulename  = "one",  premises = readSs ["all non-x x"], conclusion =readS "all y x"}
axiom =  Rule {rulename  = "axiom",  premises = [], conclusion =readS "all x x"}
exFalso = Rule {rulename  = "X",   premises = readSs ["some x y", "all x non-y"], 
     conclusion = Sent Contradiction (CNasTerm x)  (CNasTerm y) }
sdagger = [anti,barbara,some1, some2, darii,zero,axiom,exFalso]

antiARC = Rule {rulename  = "anti",  premises = [Sent All Ter1 Ter2], conclusion = (Sent All (TermMaker r (TermNP All Ter2)) (TermMaker r (TermNP All Ter1)))}
barbaraARC  = Rule {rulename  = "barbara",  premises = [Sent All Ter1 Ter2, Sent All Ter2 Ter3],   conclusion =(Sent All Ter1 Ter3)}
downARC = Rule {rulename  = "down",  premises = [Sent All Ter1 Ter2, Sent All Ter3 (TermMaker r (TermNP All Ter2)) ], conclusion = (Sent All Ter3 (TermMaker r (TermNP All Ter1)))}
axiomARC   = Rule {rulename  = "axiomARC",  premises = [], conclusion = (Sent All Ter1 Ter1)}