mnli premise: The Romans called it Portus Magnus (great port), which the Ibicencos adapted to Portmany. hypothesis: It was named "Portus Magnus" by the Romans, but the Ibicencos never bothered to give it a name.