There is a restaurant and all the tables are empty.
The restaurant is closed.
Not all restaurants with their tables empty are closed
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.(n_restaurant(x1) & Theme(e1,x1) & v_close(e1))