There are two men in orange life vests signaling to a cruise ship docking at a pier .
It is highly likely that there are mariners outside
It is highly likely that there are mariners outside
It is probably not the case that there are mariners outside
There are mariners outside