Colleague is related to Peer. Peer is related to Friend. Companion is a type of Friend. 
Hall is related to Town. 
Colleague <--RelatedTo--> Peer <--RelatedTo--> Friend <--IsA-- Companion 
Hall <--RelatedTo--> Town 