There is a restaurant and all the tables are empty.
The restaurant sits alone after hours.
Just because the restaurant tables are empty doesn't mean that it is alone after hours
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 s1 x1 x2.(n_restaurant(x1) & after(e1,x2) & n_hour(x2) & a_alone(s1) & Manner(e1,s1) & Actor(e1,x1) & v_sit(e1))