To understand the event "Mark is a pilot.  Mark flies an aircraft.", it is important to know that Mark checks his aircraft before he flies it