Two blond dogs sniff one another.
Two dogs are greeting each other.
Just because the dogs are sniffing each other, does not mean they are greeting each other.
exists e1 s1 s2 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_sniff(e1) & n_thing(x2) & card_eq_1(x2) & a_another(s2) & Theme(s2,x2) & n_dog(x1) & a_blond(s1) & Theme(s1,x1) & card_eq_2(x1))
exists x1.(all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_greet(e1))) & n_dog(x1) & card_eq_2(x1))