Presence is related to State. State is a type of Express. Wish is a type of Express. 
Solve entails/necessarily involves Reason. Reason is the opposite of Random. Random is a different concept from Order. Word is a type of Order. 
Presence <--RelatedTo--> State --IsA--> Express <--IsA-- Wish 
Solve --Entails--> Reason <--Antonym--> Random <--DistinctFrom--> Order <--IsA-- Word 