(VAR x y z )
(RULES 
        ap(f, x) -> x
        ap(ap(ap(g, x), y), ap(s, z)) -> ap(ap(ap(g, x), y), ap(ap(x, y), 0))
        
)