Stop is related to Type. Type is related to Athlete. Runner is a type of Athlete. 
Bill is related to Payment. 
Stop <--RelatedTo--> Type <--RelatedTo--> Athlete <--IsA-- Runner 
Bill <--RelatedTo--> Payment 