%==============================================================================

set(binary_res).
set(very_verbose).

list(sos).
 p(x) | -p(y) | q(x,y).
 p(x) | -p(y) | q(x,z).
 -q(x,x).
end_of_list.

%==============================================================================
