Take the following as truth: The Romans called it Portus Magnus (great port), which the Ibicencos adapted to Portmany.
Then the following statement: "It was named "Portus Magnus" by the Romans, but the Ibicencos never bothered to give it a name." is true, false, or inconclusive?