Text: Immediately, the name of the place was officially changed to Portinatx del Rey (of the king).
Entailment: The name had changed to Portinatx del Rey with great haste.
Contradiction: The place soon dropped "del Rey" from its name and went back to being called just Portinatx.