you are likely to find Stranger in/at/on Street. you are likely to find Bike in/at/on Street. 
Initial is a type of Letter. Letter is a type of Print. Prove is a type of Print. Prove is a synonym of Test. 
Stranger --AtLocation--> Street <--AtLocation-- Bike 
Initial --IsA--> Letter --IsA--> Print <--IsA-- Prove <--Synonym--> Test 