['entailment']
The Romans called it Portus Magnus (great port), which the Ibicencos adapted to Portmany.
הרומאים קראו לו פורטוס מגנוס (נמל גדול), שהאיביצנקוס התאימו לפורטמני.
It has been called both Portus Magnus and Portmany.
הוא נקרא גם פורטוס מגנוס וגם פורטמני.