There is a restaurant and all the tables are empty.
The restaurant is not busy.
tables are empty so the restaurant is not busy
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 x1.(n_restaurant(x1) & -exists s1.(Theme(s1,x1) & a_busy(s1)))