Street is related to Row. Row is a type of Array. Bank is a type of Array. 
Define is related to Prove. Prove is a type of Print. 
Street <--RelatedTo--> Row --IsA--> Array <--IsA-- Bank 
Define <--RelatedTo--> Prove --IsA--> Print 