set(para_from).
% Turn on all the print flags
set(very_verbose).
% Set of Usable Formulas (will be converted to clauses)
formula_list(usable).
(all x (sum(x,minus(x)) = 0)).
-(all x (minus(0) = 0)).
%%%(all x (x=x)).
end_of_list.
% Set of Support
formula_list(sos).
(all y (sum(0,y) = y)).
end_of_list.