Text: You might still come across both versions, but the official name of the boom town is Sant Antoni Abad (San Antonio in Castilian or Abbot St. Anthony in English).
Entailment: Both versions may be seen, though only one of them is official.
Contradiction: Only one version, the official version, is used there.