An empty seat at a Mexican themed restaurant.
Every seat is taken at the restaurant.
If every seat is taken, then there cannot be an empty seat.
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 x2.(n_restaurant(x2) & all x1.(n_seat(x1) -> exists e1.(at(e1,x2) & Theme(e1,x1) & v_take(e1))))