Two dogs wrestle in the grass.
two dogs are sleeping in the desert
The two dogs cannot wrestle and sleep at the same time. They also cannot be in the grass or desert together as well.
exists e1 x1 x2.(n_grass(x2) & in(e1,x2) & Actor(e1,x1) & v_wrestle(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_desert(x2) & in(e1,x2) & Actor(e1,x1) & v_sleep(e1) & n_dog(x1) & card_eq_2(x1))