Original: Oviedo is a city in Seminole County, Florida, United States.
Simplified: Oviedo is a city of Florida in the United States.