Two dogs are nuzzling each other nose to nose.
The animals are nose to nose.
Dogs are animals. Animals that are nuzzling nose to nose are nose to nose.
exists x1 x3.(n_nose(x3) & all x2.((-(x2 = x3) & n_nose(x2)) -> exists e1 x4.(to(e1,x4) & n_nose(x4) & Theme(e1,x2) & Actor(e1,x1) & v_nuzzle(e1))) & n_dog(x1) & card_eq_2(x1))
exists s1 x1 x2.(n_animal(x1) & to(s1,x2) & n_nose(x2) & Theme(s1,x1) & a_nose(s1))