To understand the event "Mark is a pilot.  Mark flies an aircraft.", it is important to know that Mark has a flying permit