Input (grade 8): Vernon is a city in Washington County, Florida, United States.
Output (grade 5): Vernon is a city of Florida in the United States.