Arrival is a type of Translation. Translation is a type of Transformation. 
High is related to Sky. Sky is related to Straight. Straight is a different concept from Slope. 
Arrival --IsA--> Translation --IsA--> Transformation 
High <--RelatedTo--> Sky <--RelatedTo--> Straight <--DistinctFrom--> Slope 