Assertion: carnival miracle | /r/HasProperty | a spirit-class cruise ship
Facets:
Source sentences:
text: Carnival Miracle is a Spirit-class cruise ship operated by Carnival Cruise Line.