Arrive is a type of Succeed. Succeed entails/necessarily involves Try. Try is a synonym of Go. Go is related to Lay. 
War can be Dangerous. 
Arrive --IsA--> Succeed --Entails--> Try <--Synonym--> Go <--RelatedTo--> Lay 
War --HasProperty--> Dangerous 