Take the following as truth: The Romans called it Portus Magnus (great port), which the Ibicencos adapted to Portmany.
Then the following statement: "It has been called both Portus Magnus and Portmany." is true, false, or inconclusive?