Assertion: port | /r/HasProperty | florida
Facets:
value: with approximately five million revenue passengers
type: OTHER
Source sentences:
text: With approximately five million revenue passengers expected in Fiscal Year 2018, the Port is the world's second busiest cruise port and Florida's third largest by operating revenue.
text: The busiest cruise home port in the world is the Port of Miami, Florida, closely followed behind by Port Everglades, Florida and the Port of San Juan, Puerto Rico.