Input (grade 6): Oviedo is a city in Seminole County, Florida, United States.
Output (grade 4): Oviedo is a city of Florida in the United States.