The cook with the big white hat and coat is in the big kitchen making pizza.
The lady is vacuuming the floor.
The cook is making pizza and not vacuuming the floor.
exists p1 s1 s2 s3 x1 x2 x3 x4 x5.(n_kitchen(x5) & a_big(s3) & Theme(s3,x5) & n_coat(x4) & n_hat(x3) & a_white(s2) & Theme(s2,x3) & a_big(s1) & Theme(s1,x3) & subset_of(x4,x2) & subset_of(x3,x2) & n_cook(x1) & exists e1 x6 x7.(in(x1,x5) & Theme(e1,x7) & Actor(e1,x6) & v_make(e1) & n_pizza(x7) & (x5 = x6)) & with(x1,x2))
exists e1 x1 x2.(n_floor(x2) & n_lady(x1) & Theme(e1,x2) & Actor(e1,x1) & v_vacuum(e1))