; @origtpdbfilename ./TRS/D33/31.trs
; @xtcfilename "./TRS_Standard/Der95/31.xml"
(format TRS)
(fun |:| 2)
(fun + 2)
(fun f 1)
(fun g 2)
(fun a 0)
(rule (|:| (|:| x y) z) (|:| x (|:| y z)))
(rule (|:| (+ x y) z) (+ (|:| x z) (|:| y z)))
(rule (|:| z (+ x (f y))) (|:| (g z y) (+ x a)))