Rule is related to Do. Do is a type of Create. Create is related to Kill. Punish requires Kill. 
Key is a type of Person. Person is related to Grandfather. Grandfather is part of Family. 
Rule <--RelatedTo--> Do --IsA--> Create <--RelatedTo--> Kill <--HasPrerequisite-- Punish 
Key --IsA--> Person <--RelatedTo--> Grandfather --PartOf--> Family 