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