p2(X1,X2,X3), p1(f(X1,X2,X3),X3).
p2(X1,X2,X3),p1(X1,X2) -> p0(X2,X3).
q1(X2), p1(X1,X2) -> [].

precedence([f,p2,p1,p0,q1]).