I want to know the answer to the following question:
What is the public high school system called in Mexico City?
All the background I'm provided with is that "The city's public high school system is the Instituto de Educación Media Superior del Distrito Federal (IEMS-DF).". Is that enough to answer the question?