There is a restaurant and all the tables are empty.
The tables are all full.
Tables cannot be empty and full at the same time. One is speaking of a restaurant while the other doesn't refer to a restaurant.
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 s2 x1.(n_table(x1) & a_all(s2) & Manner(s1,s2) & Theme(s1,x1) & a_full(s1))