Premise: Fourteen guests and five crew remained ill and in isolation when the ship arrived at Port Everglades, Fla., according to a statement from Carnival Cruise Lines, a brand of Carnival Corp.
Hypothesis: The Carnival Cruise Lines is a brand of Carnival Corp.
Label: YES