Two dogs paying attention to each other.
Two dogs are about to fight.
Two dogs paying attention to each other doesn't necessarily indicate they are about to fight.
exists e1 x1 x2.(all x3.(n_other(x3) -> to(e1,x3)) & Theme(e1,x2) & Actor(e1,x1) & v_pay(e1) & n_attention(x2) & n_dog(x1) & card_eq_2(x1))
exists p1 s1 x1.(Topic(s1,p1) & Actor(s1,x1) & a_about(s1) & exists e1.(Actor(e1,x1) & v_fight(e1)) & n_dog(x1) & card_eq_2(x1))