Bank is related to Establishment. Establishment is a type of Proof. 
Sink is related to Drain. Drain is related to Stop. Stop is a type of End. End is related to Result. 
Bank <--RelatedTo--> Establishment --IsA--> Proof 
Sink <--RelatedTo--> Drain <--RelatedTo--> Stop --IsA--> End <--RelatedTo--> Result 