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