(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))
        
)