Two dogs sit in the shade and lick each other's face.
some dogs are fighting
Just because some dogs are fighting does not mean it is the two dogs who sit in the shade.
exists x1 x2 x5 x6 x7.(n_lick(x7) & n_shade(x6) & subset_of(x7,x5) & subset_of(x6,x5) & a_topic(x2) & n_face(x2) & of(x2,x1) & all x3.(n_other(x3) -> exists e1 x4.(Time(e1,x3) & in(e1,x5) & Actor(e1,x4) & v_sit(e1) & (x1 = x4))) & n_dog(x1) & card_eq_2(x1))
exists e1 x1.(Actor(e1,x1) & v_fight(e1) & n_dog(x1))