Crystal is a type of Solid. Solid is related to Rock. Rock is a synonym of Rule. 
Joke can be Good. Good is related to Art. 
Crystal --IsA--> Solid <--RelatedTo--> Rock <--Synonym--> Rule 
Joke --HasProperty--> Good <--RelatedTo--> Art 