Joint is a type of Separate. Joint is a type of Cigarette. 
Workplace is related to Court. Court is related to Object. Object is similar to Instance. 
Separate <--IsA-- Joint --IsA--> Cigarette 
Workplace <--RelatedTo--> Court <--RelatedTo--> Object <--SimilarTo--> Instance 