Two dogs are playing together with their mouths open.
Two cats sleeping.
There are either two dogs or two cats. They either are sleeping or playing together, but not both.
exists e1 s1 s2 x1 x2 x3.(with(e1,x2) & Theme(s2,x3) & a_open(s2) & (x2 = x3) & n_mouth(x2) & of(x2,x1) & n_thing(x1) & a_together(s1) & Manner(e1,s1) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 x1.(Actor(e1,x1) & v_sleep(e1) & n_cat(x1) & card_eq_2(x1))