Assertion: florida county | /r/HasProperty | fl
Facets:
Source sentences:
text: The largest earthquake on record for Florida occurred on 08/04/1946, with a depth of 51.2 miles and a magnitude of 7.9 on the Richter scale in Miami Dade County, FL.