; @origtpdbfilename ./TRS/D33/17.trs
; @xtcfilename "./TRS_Standard/Der95/17.xml"
(format TRS)
(fun . 2)
(fun |1| 0)
(fun i 1)
(rule (. |1| x) x)
(rule (. x |1|) x)
(rule (. (i x) x) |1|)
(rule (. x (i x)) |1|)
(rule (i |1|) |1|)
(rule (i (i x)) x)
(rule (. (i y) (. y z)) z)
(rule (. y (. (i y) z)) z)
(rule (. (. x y) z) (. x (. y z)))
(rule (i (. x y)) (. (i y) (i x)))