Assertion: passenger | /r/CapableOf | leave the vessel
Facets:
value: at ports
type: LOCATION
value: permanently
type: MANNER
Source sentences:
text: In accordance with this law, cruise lines that operate foreign-flagged vessels are fined $778 for each passenger who boarded such a vessel in one U.S. port and left the vessel at another port.
text: Foreign-flagged cruise ships may carry passengers between ports in the Hawaiian Islands as long as no passenger permanently leaves the vessel at ports other than the origination port and the vessel makes at least one call at a foreign port.