Diners sit at tables in a crowded restaurant lit in blue.
Diners are running from the restaurant.
The diners either sit or are running but they cannot do both activities at the same time.
exists e1 s1 x1 x2 x3 x4 x5.(in(e1,x5) & n_blue(x5) & in(e1,x3) & n_lit(x3) & of(x3,x4) & n_restaurant(x4) & a_crowded(s1) & Theme(s1,x3) & at(e1,x2) & n_table(x2) & Actor(e1,x1) & v_sit(e1) & n_diner(x1))
exists e1 x1 x2.(n_restaurant(x2) & from(e1,x2) & Actor(e1,x1) & v_run(e1) & n_diner(x1))