Original: Public education in the city of Spirit Lake is provided by the Spirit Lake Community School District.
Simplified: Spirit Lake is a city of Iowa in the United States.