Premise: The Romans called it Portus Magnus (great port), which the Ibicencos adapted to Portmany.

Hypothesis: It has been called both Portus Magnus and Portmany.
Relation: entailment