Two large dogs attempt to bite each other playfully.
Two large dogs are asleep on the kitchen floor.
Two large dogs must either be currently curled up and are asleep on the floor, or attempting to bite each other playfully.  A dog cannot be playful with other dogs if it is asleep.
exists e1 p1 s1 x1.(Topic(e1,p1) & Actor(e1,x1) & v_attempt(e1) & all x2 s2.((n_other(x2) & a_playfully(s2) & Theme(s2,x2)) -> exists e2.(Theme(e2,x2) & Actor(e2,x1) & v_bite(e2))) & n_dog(x1) & a_large(s1) & Theme(s1,x1) & card_eq_2(x1))
exists s1 s2 x1 x2 x3.(n_floor(x2) & of(x2,x3) & n_kitchen(x3) & on(s2,x2) & Theme(s2,x1) & a_asleep(s2) & n_dog(x1) & a_large(s1) & Theme(s1,x1) & card_eq_2(x1))