Mine entails/necessarily involves Dig. Mine is a type of Exploit. 
Solid is related to Butter. Butter can be Soft. 
Dig <--Entails-- Mine --IsA--> Exploit 
Solid <--RelatedTo--> Butter --HasProperty--> Soft 