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

set(auto2).
set(very_verbose).

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

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