Ordinary is related to Typical. Typical is similar to True. True is related to Prove. 
Possession is related to Owner. 
Ordinary <--RelatedTo--> Typical <--SimilarTo--> True <--RelatedTo--> Prove 
Possession <--RelatedTo--> Owner 