Post is related to Dead. Dead is related to Kill. Punish requires Kill. Punish entails/necessarily involves Estimate. 
you are likely to find Bee in/at/on Sky. you are likely to find Balloon in/at/on Sky. 
Post <--RelatedTo--> Dead <--RelatedTo--> Kill <--HasPrerequisite-- Punish --Entails--> Estimate 
Bee --AtLocation--> Sky <--AtLocation-- Balloon 