; @origtpdbfilename ./TRS/higher-order/AProVE_HO/termMonTypes.trs
; @xtcfilename "./TRS_Standard/Applicative_05/termMonTypes.xml"
(format TRS)
(fun ap 2)
(fun f 0)
(fun g 0)
(fun s 0)
(fun |0| 0)
(rule (ap f x) x)
(rule (ap (ap (ap g x) y) (ap s z)) (ap (ap (ap g x) y) (ap (ap x y) |0|)))