Two men are conversing with one another.
Two people are talking to each other.
When two people are conversing, they are doing the action of talking. Thus, the two people are talking to each other.
exists e1 s1 x1 x2.(with(e1,x2) & n_thing(x2) & card_eq_1(x2) & a_another(s1) & Theme(s1,x2) & Actor(e1,x1) & v_converse(e1) & n_man(x1) & card_eq_2(x1))
exists e1 x1.(all x2.(n_other(x2) -> to(e1,x2)) & Actor(e1,x1) & v_talk(e1) & n_people(x1) & card_eq_2(x1))