you are likely to find Hat in/at/on Shelf. you are likely to find Can in/at/on Shelf. 
Prosecution is part of Trial. Prosecution is related to Prove. Prove is a type of Be. 
Hat --AtLocation--> Shelf <--AtLocation-- Can 
Trial <--PartOf-- Prosecution <--RelatedTo--> Prove --IsA--> Be 