assign(max_weight, 60).

assign(new_constants, 1).

% pick given ratio:

assign(age_part, 1).            % by age
assign(false_part, 4).          % by "false in some interp"
assign(true_part, 1).           % by "true in all interps"

assign(max_hours, 6).

clauses(sos).

f(f(y,x),f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,u)))) = x # label(MOL_SS).

end_of_list.

clauses(goals).

% f(x,f(f(y,z),f(y,z))) = f(y,f(f(x,z),f(x,z))) # answer(A_SS).

f(x,f(y,f(x,f(z,z)))) = f(x,f(z,f(x,f(y,y)))) # answer(MOD_SS).

end_of_list.