Proof is a type of Produce. Demonstration is a type of Proof. you are likely to find Crime in/at/on Demonstration. 
Ring is related to Marriage. 
Produce <--IsA-- Proof <--IsA-- Demonstration <--AtLocation-- Crime 
Ring <--RelatedTo--> Marriage 