Two men exchange hello's while a truck waits for them to move.
Two men refuse to move for a truck.
Two men can exchange greetings and do not have to refuse to move for a truck.
(x)
exists e1 p1 x1.(Topic(e1,p1) & Actor(e1,x1) & v_refuse(e1) & exists e2 x2.(for(e2,x2) & n_truck(x2) & Actor(e2,x1) & v_move(e2)) & n_man(x1) & card_eq_2(x1))