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