set(auto).

formula_list(usable).

-((exists x (all y r(x, y)))-> (all y (exists x r(x, y)))).

end_of_list.