Market is related to Sell. Sell is a type of Be. Be is related to Quote. 
Prove is related to Define. Define is a type of Specify. 
Market <--RelatedTo--> Sell --IsA--> Be <--RelatedTo--> Quote 
Prove <--RelatedTo--> Define --IsA--> Specify 