A small black dog is shocked when a larger brown dog gives him a sniff.
One dog is sniffing the other dog.
One big dog gives one small dog a sniff, therefore one dog is sniffing the other.
exists e1 p1 s1 s2 x1.(exists e2 s3 s4 x2 x3.(Recipient(e2,x1) & Theme(e2,x3) & Actor(e2,x2) & v_give(e2) & n_sniff(x3) & n_dog(x2) & a_brown(s4) & Theme(s4,x2) & r_more(s3) & a_large(s3) & Theme(s3,x2)) & n_male(x1) & when(e1,p1) & Theme(e1,x1) & v_shock(e1) & n_dog(x1) & a_black(s2) & Theme(s2,x1) & a_small(s1) & Theme(s1,x1))
exists e1 x1 x2.(-(x2 = x1) & n_dog(x2) & Theme(e1,x2) & Actor(e1,x1) & v_sniff(e1) & n_dog(x1) & n_dog(x1) & card_eq_1(x1))