Text: Little wonder he subsequently named it Porto Santo (Holy Port).
Entailment: He was subsequently named Porto Santo or in other words, the Holy Port.
Contradiction: Little wonder he recently named it Circus Island.