Input (grade 11): Miami is the county seat of Miami-Dade County, the most populous county in Florida.
Output (grade 6): Miami is the county seat (and largest city) of Miami-Dade County.