Two men in jackets walking their dogs who are fighting.
the men are thieves
Men wearing jackets and fighting each other does not implies they are thieves.
exists e1 e2 x1 x2 x3 x4 x5.(a_topic(x1) & in(x1,x2) & Theme(e2,x4) & Actor(e2,x3) & v_walk(e2) & Actor(e1,x5) & v_fight(e1) & (x4 = x5) & n_dog(x4) & of(x4,x1) & n_thing(x1) & (x2 = x3) & n_jacket(x2) & n_man(x1) & card_eq_2(x1))
exists p1 x1.(n_man(x1) & exists x2.((x1 = x2) & n_thief(x2)))