Volume is related to Measurement. Measurement is related to Proof. Punish requires Proof. 
Abandon is a type of Leave. Leave is a type of Single. Single is related to Number. 
Volume <--RelatedTo--> Measurement <--RelatedTo--> Proof <--HasPrerequisite-- Punish 
Abandon --IsA--> Leave --IsA--> Single <--RelatedTo--> Number 