Mix is a type of Mixture. Butter is a type of Mixture. Butter is related to Solid. Glass can be Solid. 
Correct is a synonym of Just. Just is related to Law. Law is related to Broken. 
Mix --IsA--> Mixture <--IsA-- Butter <--RelatedTo--> Solid <--HasProperty-- Glass 
Correct <--Synonym--> Just <--RelatedTo--> Law <--RelatedTo--> Broken 