Two dogs are on a white carpet with one of the dogs showing its fangs.
Two dogs are about to fight.
One dog showing its fangs does not necessarily imply two dogs are about to fight.
exists p1 x1 x5.(exists e1 s1 x2 x3 x4.(on(x1,x2) & with(x2,x3) & of(x3,x1) & Theme(e1,x5) & Actor(e1,x4) & v_show(e1) & (x1 = x4) & n_thing(x3) & card_eq_1(x3) & n_carpet(x2) & a_white(s1) & Theme(s1,x2)) & n_fang(x5) & of(x5,x1) & n_thing(x1) & n_dog(x1) & 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))