Pack is a type of Package. you are likely to find Meat in/at/on Package. you are likely to find Meat in/at/on Oven. 
Expectation is a type of Context. Context is a type of Software. Bean is a type of Software. Bean is related to Food. 
Pack --IsA--> Package <--AtLocation-- Meat --AtLocation--> Oven 
Expectation --IsA--> Context --IsA--> Software <--IsA-- Bean <--RelatedTo--> Food 