Assertion: region's city | /r/CapableOf | replace tenochtitlan
Facets:
Source sentences:
text: The Aztecs were also known as the Tenochca (from which the name for their capital city, Tenochtitlan, was derived) or the Mexica (the origin of the name of the city that would replace Tenochtitlan, as well as the name for the entire country).