; @origtpdbfilename fossacs2011.trs
; @xtcfilename "./TRS_Standard/Mixed_TRS/fossacs.xml"
(format TRS)
(fun f 1)
(fun node 2)
(fun s 1)
(fun addchild 2)
(fun select 1)
(fun cons 2)
(rule (f (node (s n) xs)) (f (addchild (select xs) (node n xs))))
(rule (select (cons ap xs)) ap)
(rule (select (cons ap xs)) (select xs))
(rule (addchild (node y ys) (node n xs)) (node y (cons (node n xs) ys)))