; @origtpdbfilename ./TRS/SchneiderKamp/trs/kabasci06.trs
; @xtcfilename "./TRS_Standard/AProVE_07/kabasci06.xml"
(format TRS)
(fun app 2)
(fun map 0)
(fun nil 0)
(fun cons 0)
(fun minus 0)
(fun |0| 0)
(fun s 0)
(fun p 0)
(fun div 0)
(fun id 0)
(rule (app (app map f) nil) nil)
(rule (app (app map f) (app (app cons x) xs)) (app (app cons (app f x)) (app (app map f) xs)))
(rule (app (app minus x) |0|) x)
(rule (app (app minus (app s x)) (app s y)) (app (app minus (app p (app s x))) (app p (app s y))))
(rule (app p (app s x)) x)
(rule (app (app div |0|) (app s y)) |0|)
(rule (app (app div (app s x)) (app s y)) (app s (app (app div (app (app minus x) (app id y))) (app s y))))
(rule (app id x) x)
(rule (app id x) (app s (app s (app s x))))
(rule (app id (app p x)) (app id (app s (app id x))))