A couple having a conversation over drinks.
The couple have not yet ordered any food or drinks.
The couple can either order the drinks or they have not ordered any drinks.
exists e1 x1 x2 x3 x4.(a_topic(x1) & over(e1,x4) & n_drink(x4) & Theme(e1,x3) & Actor(e1,x2) & v_have(e1) & n_conversation(x3) & (x1 = x2) & n_couple(x1))
exists x1.(n_couple(x1) & -all x2.((n_food(x2) | n_drink(x2)) -> exists e1 s1.(a_yet(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_order(e1))))