To understand the event "It is spring.", it is important to know that Winter is over