Ocala is a city of Florida in the United States .
Ocala is a city in Marion County , Florida .