A brown and black dog on a leash is sniffed by a black and white dog.
One dogs starts humping the other dog.
Sniffing the other dog does not imply humping the other dog.
exists e1 s1 s2 s3 s4 x1 x2 x3.(Actor(e1,x3) & n_dog(x3) & a_white(s4) & Theme(s4,x3) & a_black(s3) & Theme(s3,x3) & Theme(e1,x1) & v_sniff(e1) & on(x1,x2) & n_leash(x2) & n_dog(x1) & a_black(s2) & Theme(s2,x1) & a_brown(s1) & Theme(s1,x1))
exists e1 p1 x1 x2.(-(x2 = x1) & n_dog(x2) & exists e2.(Theme(e2,x2) & Actor(e2,x1) & v_hump(e2)) & n_dog(x1) & n_dog(x1) & Topic(e1,p1) & Actor(e1,x1) & v_start(e1) & card_eq_1(x1))