Two dogs play in the grass.
Two animals are sleeping inside.
You cannot be sleeping and playing at the same time it can be one or the other.
exists x1 x2 x3.(n_grass(x3) & a_topic(x1) & in(x1,x3) & n_play(x1) & of(x1,x2) & n_dog(x2) & card_eq_2(x1))
exists e1 s1 x1.(a_inside(s1) & Manner(e1,s1) & Actor(e1,x1) & v_sleep(e1) & n_animal(x1) & card_eq_2(x1))