To understand the event "Bill filed his taxes.", it is important to know that IRS is the internal revenue service