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.
pick from the following. [-] yes. [-] no.
Question: Can we infer the following?
The Carnival Cruise Lines is a brand of Carnival Corp.
yes