['entailment']
Little wonder he subsequently named it Porto Santo (Holy Port).
אין פלא שהוא קרא לה לאחר מכן פורטו סנטו (נמל קדוש).
He was subsequently named Porto Santo or in other words, the Holy Port.
לאחר מכן הוא נקרא פורטו סנטו או במילים אחרות, הנמל הקדוש.