; @xtcfilename "./TRS_Standard/Zantema_15/ex06.xml"
(format TRS)
(fun b 1)
(fun B 1)
(fun c 1)
(fun d 1)
(fun D 1)
(fun a 1)
(fun P 1)
(fun Q 1)
(fun e 1)
(rule (b (B x)) (B (b x)))
(rule (b (c (d x))) (B (c (D x))))
(rule (D (d x)) (d (D x)))
(rule (a (P x)) (a (b (b x))))
(rule (B (P x)) (P (b x)))
(rule (b (c (d x))) (P (c (Q x))))
(rule (Q (D x)) (d (Q x)))
(rule (Q (e x)) (d (d (e x))))