Proof is a type of Impression. Image is a type of Impression. Image is a synonym of Counterpart. 
Bedroom is related to Alarm. 
Proof --IsA--> Impression <--IsA-- Image <--Synonym--> Counterpart 
Bedroom <--RelatedTo--> Alarm 