Three small dogs, two of which are sniffing noses.
The three small dogs are together sniffing each other.
small dogs sniffing noses implies three small dogs sniffing each other
exists e1 s1 x1 x2 x3 x4.(Theme(e1,x4) & Actor(e1,x3) & v_sniff(e1) & n_nose(x4) & of(x3,x2) & n_thing(x3) & card_eq_2(x3) & a_topic(x1) & (x1 = x2) & n_dog(x1) & a_small(s1) & Theme(s1,x1) & card_eq_3(x1))
exists s1 x1.(n_dog(x1) & a_small(s1) & Theme(s1,x1) & card_eq_3(x1) & all x2.(n_other(x2) -> exists e1 s2.(a_together(s2) & Manner(e1,s2) & Theme(e1,x2) & Actor(e1,x1) & v_sniff(e1))))