; @origtpdbfilename ./TRS/higher-order/AotoYam/023.trs
; @xtcfilename "./TRS_Standard/AotoYamada_05/023.xml"
(format TRS)
(fun app 2)
(fun id 0)
(fun plus 0)
(fun |0| 0)
(fun s 0)
(rule (app id x) x)
(rule (app plus |0|) id)
(rule (app (app plus (app s x)) y) (app s (app (app plus x) y)))