Liberty is related to Choice. Choice is related to Decide. 
Procedure is related to Method. Solution is a type of Method. Solution is related to Chemical. Chemical is related to Experiment. 
Liberty <--RelatedTo--> Choice <--RelatedTo--> Decide 
Procedure <--RelatedTo--> Method <--IsA-- Solution <--RelatedTo--> Chemical <--RelatedTo--> Experiment 