Cargo is being loaded onto a ship.
Cargo full of vehicles is being loaded onto a ship for transport.
Just because a cargo is being loaded onto a ship does not mean that it is a cargo full of vehicles.
exists e1 x1 x2.(ne_nam_cargo(x1) & onto(e1,x2) & n_ship(x2) & Theme(e1,x1) & v_load(e1))
exists e1 s1 x1 x2 x3 x4 x5.(ne_nam_cargo(x1) & onto(e1,x4) & for(x4,x5) & n_transport(x5) & n_ship(x4) & Theme(e1,x1) & v_load(e1) & of(s1,x3) & n_vehicle(x3) & Theme(s1,x2) & a_full(s1) & (x1 = x2))