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.