An empty seat at a Mexican themed restaurant.
A restaurant is not full.
the restaurant is not full meaning there is a lot of empty seats.
exists e1 s1 s2 x1 x2.(a_topic(x1) & at(x1,x2) & n_restaurant(x2) & Theme(e1,x2) & v_theme(e1) & a_mexican(s2) & Theme(s2,x2) & n_seat(x1) & a_empty(s1) & Theme(s1,x1))
exists x1.(-exists s1.(Theme(s1,x1) & a_full(s1)) & n_restaurant(x1))