Original: Marion County is a county located in the U.S. state of Florida .
Simplified: Marion County is a county in the U.S. state of Florida .