Cargo is being loaded onto a ship .
It is likely that a ship is loaded with cargo shortly before leaving .
It is likely that a ship is loaded with cargo shortly before leaving .
It is probably not the case that a ship is loaded with cargo shortly before leaving .
A ship is loaded with cargo shortly before leaving .