set(auto). list(usable). x = x. p(p(x,x,y),p(f(z),u,z),z)=y. p(B,B,A) != A | p(A,B,B) != A | p(A,B,A) != A | f(A) != A. end_of_list.