I am sure the grounds crew was told to leave the sprinklers on and adjust the mower blades up.
At full speed, mower blades spin at 216 miles an hour.
Now everything had been obliterated by the passing mower blades.
The lawn is likely to need mowing before the mower blades have been sharpened.
Pieces broken off by a mower blade often take root and the plant is spread about.
This is also referred to as an all-purpose mower blade.
Methods for keeping mower blades in good working condition include:
Rotary mower blades must be sharpened or replaced during the growing season.
Setting the appropriate mowing height will provide better results and can protect the mower blades.
Set the mower blade to cut the grass short, at least one inch high or so.