Two large dogs attempt to bite each other playfully.
Two tiny puppies are growling at each other.
Large dogs are adult dogs and tinny puppies are new born babies.
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 s1 x1.(all x2.(n_other(x2) -> at(e1,x2)) & Actor(e1,x1) & v_growl(e1) & n_puppy(x1) & a_tiny(s1) & Theme(s1,x1) & card_eq_2(x1))