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