To understand the event "The windmill pumped water.", it is important to know that water-based windmill (1)