Three dogs play together on the green grass.
Three dogs sleep on the couch.
Either the dogs play together or they sleep. The dogs must either be on the green grass or on the couch.
exists e1 s1 s2 x1 x2.(n_grass(x2) & a_green(s1) & Theme(s1,x2) & a_together(s2) & Manner(e1,s2) & on(e1,x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_3(x1))
exists e1 x1 x2.(n_couch(x2) & on(e1,x2) & Actor(e1,x1) & v_sleep(e1) & n_dog(x1) & card_eq_3(x1))