I don't see a joke in this.
Dad Jokes
Description
This is a community for sharing those cheesy “dad” jokes that invoke an eye roll or chuckle.
Rules
- Clean jokes only please. If you cannot tell this joke to a 5-year-old and they can understand, you probably shouldn’t post it here. Please post edgier jokes to: !unclejokes@lemmy.world
- Adult topics with which to be cautious or avoided: drugs, sex, death, racism.
- Must post text, image (e.g., meme), or direct link. Do not post external links that cannot be viewed directly from the community (e.g., link to joke website, Facebook, Instagram, etc.)
- Follow Lemmy.World Code of Conduct
A mill grinds grain, a windmill is just a mill powered by wind. It's not technically correct to call a wind turbine or wind-powered pump a windmill, but that's how it's commonly used. So this comment chain is a pedantic correction leading into the ground water pun.
It's a solid pun, but does require the background of pedantic Internet discussions
Right I got that meaning on the face of it, but it's not funny. It's also not a pun.
Windmills were commonly used to ground grain.
Is that the pun?
yes.

The pun is that 'ground' can be a noun meaning 'soil, earth' as in playground or underground, or the past simple and past participle of 'grind' as in ground coffee or ground meat.