Workers are in the kitchen while a man sits at a table.
People are in the kitchen.
Workers are people.
exists p1 p2 x1 x2.(n_kitchen(x2) & exists e1 x3 x4.(at(e1,x4) & n_table(x4) & Actor(e1,x3) & v_sit(e1) & n_man(x3)) & while(p1,p2) & in(x1,x2) & n_worker(x1))
exists p1 x1 x2.(n_kitchen(x2) & in(x1,x2) & n_people(x1))