Input (grade 12): Doral is a city located in north-central Miami-Dade County, Florida, United States.
Output (grade 8): Doral is a city in north Miami-Dade County, Florida, United States.