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