r(X) -> (p(f(X))==p(X)).
r(f(X)).
p(f(f(f(a)))) -> [].
p(f(a)).

precedence([r,p]).