Two large dogs attempt to bite each other playfully.
The dogs are plotting to murder the cat.
The dogs cannot be plotting to murder the cat if they are busy biting each other playfully. Believe me, the cat is counting on this.
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 e1 x1 x2 x3.(n_cat(x2) & n_dog(x1) & to(e1,x3) & n_murder(x3) & Theme(e1,x2) & Actor(e1,x1) & v_plot(e1))