set(auto).

formula_list(usable).

-((all x (s(x) -> t(x))) -> ((exists x s(x)) -> (exists x t(x)))).

end_of_list.