Two women laugh while sitting on the floor.
There are two men sitting on the couch.
Women are not men. The floor is not the couch.
exists e1 e2 x1 x2.(n_floor(x2) & while(e1,e2) & on(e2,x2) & Actor(e2,x1) & v_sit(e2) & Actor(e1,x1) & v_laugh(e1) & n_woman(x1) & card_eq_2(x1))
exists p1 x1 x4.(n_couch(x4) & exists e1 x2 x3.((x1 = x2) & on(e1,x4) & Actor(e1,x3) & v_sit(e1) & (x2 = x3) & n_man(x2) & card_eq_2(x2)))