Advance is related to Estimate. Punish entails/necessarily involves Estimate. Punish requires Deny. Deny is related to Forbid. 
you are likely to find Rock in/at/on Mountain. Mountain is related to Very. 
Advance <--RelatedTo--> Estimate <--Entails-- Punish --HasPrerequisite--> Deny <--RelatedTo--> Forbid 
Rock --AtLocation--> Mountain <--RelatedTo--> Very 