Question: What is the public high school system called in Mexico City?
Sentence: The city's public high school system is the Instituto de Educación Media Superior del Distrito Federal (IEMS-DF).
Answer in sentence: yes