Premise: Greater Mexico City . Starting 2016 , On January 29 , Mexico City proper ceased to be called the Federal District ( Spanish : `` Distrito Federal '' or D.F. ) and is now in transition to become the country 's 32nd federal entity called officially `` City of Mexico '' ( Spanish : `` Ciudad de Mexico '' or CDMX ) , giving it a level of autonomy comparable to that of a state . Lake Texcoco ( Lago de Texcoco ) was a natural lake within the Anáhuac or Valley of Mexico . Mexico City . The Greater Mexico City has a gross domestic product ( GDP ) of US$ 411 billion in 2011 , making Mexico City urban agglomeration one of the economically largest metropolitan areas in the world .
Hypothesis: Mexico City is located in Mexico.
Label: ENTAILMENT