Sex can be Good. People can be Good. People can be Curious. 
Math is related to Proof. Proof is a type of Explanation. Interpretation is a type of Explanation. Interpretation is related to Dance. 
Sex --HasProperty--> Good <--HasProperty-- People --HasProperty--> Curious 
Math <--RelatedTo--> Proof --IsA--> Explanation <--IsA-- Interpretation <--RelatedTo--> Dance 