; @origtpdbfilename TRS//AProVE_10/challenge_fab.trs
; @xtcfilename "./TRS_Standard/AProVE_10/challenge_fab.xml"
(format TRS)
(fun and 2)
(fun tt 0)
(fun is_nat 1)
(fun |0| 0)
(fun s 1)
(fun is_natlist 1)
(fun nil 0)
(fun cons 2)
(fun from 1)
(fun fromCond 2)
(rule (and tt tt) tt)
(rule (is_nat |0|) tt)
(rule (is_nat (s x)) (is_nat x))
(rule (is_natlist nil) tt)
(rule (is_natlist (cons x xs)) (and (is_nat x) (is_natlist xs)))
(rule (from x) (fromCond (is_natlist x) x))
(rule (fromCond tt (cons x xs)) (from (cons (s x) (cons x xs))))