There is a restaurant and all the tables are empty.
The restaurant is full of guests.
If tables are empty, there would be no guests. Guests usually sit at tables in restaurants.
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 s1 x1 x2.(n_restaurant(x1) & of(s1,x2) & n_guest(x2) & Theme(s1,x1) & a_full(s1))