Belly is a type of Inside. Inside is related to Drink. Person does not want (to) Drink. 
Execute is a type of Punish. Punish requires Deny. 
Belly --IsA--> Inside <--RelatedTo--> Drink <--NotDesires-- Person 
Execute --IsA--> Punish --HasPrerequisite--> Deny 