Text: They chose the flatlands around the Rio Cobra and, in 1538, established Villa de la Vega, whose name was later changed to St. Jago de la Vega.
Entailment: Villa de la Vega is the old name for St. Jago de la Vega.
Contradiction: Villa de la Vega was established in the year 1962.