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