Text: Most commercial ferries arrive at the new port of Athinios farther along the coast.
Entailment: Commercial ferries enter at the new Athinios port.
Contradiction: All ferries arrive at the Smithsonian port.