To understand the event "Fred voted.", it is important to know that Fred is a citizen