set(auto). list(usable). x = x. p(x,x,y) = y. p(x,y,y) = x. p(x,y,x) = x. f(x) = x. p(p(A,A,B),p(f(C),D,C),C)!=B. end_of_list.