Two men exchange hello's while a truck waits for them to move.
A truck drives around two men.
One who waits cannot be one who drives at the same time.
(x)
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_drive(e1) & n_man(x2) & card_eq_2(x2) & r_around(x2) & n_truck(x1))