Original: Vernon is a city in Washington County, Florida, United States.
Simplified: Vernon is a city of Florida in the United States.