A hostess in a restaurant, wearing a uniform and a black hat is cleaning one of the tables.
A hostess is currently sleeping
The hostess cannot be cleaning on of the tables and sleeping at the same time.
exists e1 e2 s1 x1 x2 x3 x4 x5 x6 x7 x8.(n_table(x6) & rel(e2,x7) & in(x7,x8) & n_restaurant(x8) & n_hostess(x7) & Theme(e2,x5) & Actor(e2,e1) & v_clean(e2) & of(x5,x6) & n_thing(x5) & card_eq_1(x5) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & subset_of(x4,x2) & n_hat(x4) & a_black(s1) & Theme(s1,x4) & subset_of(x3,x2) & n_uniform(x3) & n_thing(x1))
exists e1 s1 x1.(a_currently(s1) & Manner(e1,s1) & Actor(e1,x1) & v_sleep(e1) & n_hostess(x1))