Instance is related to Room. Room is related to Housing. 
Seal is a type of Decide. Decide is related to Abstract. Abstract is related to Desire. 
Instance <--RelatedTo--> Room <--RelatedTo--> Housing 
Seal --IsA--> Decide <--RelatedTo--> Abstract <--RelatedTo--> Desire 