formulas(goals).
 exists x (drinks (x) -> all y drinks(y)).
end_of_list.
