Assertion: panhandle's county | /r/HasProperty | destin
Facets:
Source sentences:
text: The Emerald Coast is an unofficial name for the coastal area in the US state of Florida on the Gulf of Mexico that stretches about 100 mi (161 km) through five counties, Escambia, Santa Rosa, Okaloosa, Walton, and Bay, which include Pensacola Beach, Navarre Beach, Fort Walton Beach, Destin, and Panama City.