Three small dogs, two of which are sniffing noses.
The three small dogs are friends.
Dogs are not necessarily friends just because they are sniffing noses.
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 p1 s1 x1.(n_dog(x1) & a_small(s1) & Theme(s1,x1) & card_eq_3(x1) & exists x2.((x1 = x2) & n_friend(x2)))