To understand the event "The basement was flooded.", it is important to know that The basement will need to be pumped before it can be used again