Premise: Mexico City . It is located in the Valley of Mexico ( Valle de México ) , a large valley in the high plateaus at the center of Mexico , at an altitude of 2240 m . The city was originally built on an island of Lake Texcoco by the Aztecs in 1325 as Tenochtitlan , which was almost completely destroyed in the 1521 siege of Tenochtitlan , and subsequently redesigned and rebuilt in accordance with the Spanish urban standards . The Valley of Mexico ( Valle de México Tepētzallāntli Mēxihco ) is a highlands plateau in central Mexico roughly coterminous with the present-day Distrito Federal ( now Mexico City since year 2017 ) and the eastern half of the State of Mexico .
Hypothesis: Mexico City is located in Mexico.
Label: ENTAILMENT