Establish is a synonym of Prove. Prove is a synonym of Test. Test is related to Fail. 
Horizon is a type of Line. 
Establish <--Synonym--> Prove <--Synonym--> Test <--RelatedTo--> Fail 
Horizon --IsA--> Line 