Type is related to Live. 
Mean is related to Kill. Punish requires Kill. Discipline is a type of Punish. 
Type <--RelatedTo--> Live 
Mean <--RelatedTo--> Kill <--HasPrerequisite-- Punish <--IsA-- Discipline 