Two dogs play in the grass.
The pets are sleeping on the couch.
You need to be awake to be able to play and you cannot be sleeping if you are awake.
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 x1 x2.(n_couch(x2) & n_pet(x1) & on(e1,x2) & Actor(e1,x1) & v_sleep(e1))