All people are flying in the military plane
The soldiers are driving a humvee.
Flying is not driving.  A plane is not a humvee.
exists s1 x2.(n_plane(x2) & a_military(s1) & Theme(s1,x2) & all x1.(n_people(x1) -> exists e1.(in(e1,x2) & Actor(e1,x1) & v_fly(e1))))
exists e1 x1 x2.(n_soldier(x1) & Theme(e1,x2) & Actor(e1,x1) & v_drive(e1) & n_humvee(x2))