Two workers stand at an entrance.
The workers are swimming in the pool.
The workers are swimming in the pool but two are standing at the entrance
exists e1 x1 x2.(at(e1,x2) & n_entrance(x2) & Actor(e1,x1) & v_stand(e1) & n_worker(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_pool(x2) & n_worker(x1) & in(e1,x2) & Actor(e1,x1) & v_swim(e1))