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 .