Text: The Romans called it Portus Magnus (great port), which the Ibicencos adapted to Portmany.
Entailment: It has been called both Portus Magnus and Portmany.
Contradiction: It was named "Portus Magnus" by the Romans, but the Ibicencos never bothered to give it a name.