predicates([p]).


p(X) | p(f(X)).
-p(X) | -p(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(X)))))))))))))))))))))))))).

precedence([f,p]).