Proof is a type of Impression. Impression is related to Print. Print is related to Process. Process is related to Vote. 
Bull is a synonym of Cat. you are likely to find Cat in/at/on Alley. 
Proof --IsA--> Impression <--RelatedTo--> Print <--RelatedTo--> Process <--RelatedTo--> Vote 
Bull <--Synonym--> Cat --AtLocation--> Alley 