Exist is a type of Software. Breathe is a type of Exist. 
Punishment is related to Shock. Shock is related to Effect. Effect is a type of Validity. Validity is related to Reliability. 
Software <--IsA-- Exist <--IsA-- Breathe 
Punishment <--RelatedTo--> Shock <--RelatedTo--> Effect --IsA--> Validity <--RelatedTo--> Reliability 