The world's largest cruise ship was docked in the harbor and converted into a hotel and tourist attraction.
The hotel ship was once a famous battleship.
mnli hypothesis: The hotel ship was once a famous battleship. premise: The world's largest cruise ship was docked in the harbor and converted into a hotel and tourist attraction.