Arrival is related to Coming. Coming is related to Arrive. Come is a type of Arrive. Come is a type of Happen. 
Justice is related to Idea. Idea is part of Answer. 
Arrival <--RelatedTo--> Coming <--RelatedTo--> Arrive <--IsA-- Come --IsA--> Happen 
Justice <--RelatedTo--> Idea --PartOf--> Answer 