There is a restaurant and all the tables are empty.
The restaurant is packed with diners.
A restaurant's tables would not be empty if it was packed with diners.
exists p1 x1 x4.(n_table(x4) & all x3.((x3 = x4) -> exists s1.(Theme(s1,x3) & a_empty(s1))) & exists x2.((x1 = x2) & n_restaurant(x2)))
exists e1 x1 x2.(n_restaurant(x1) & with(e1,x2) & n_diner(x2) & Theme(e1,x1) & v_pack(e1))