Branch is related to Rest. 
Conclusion is a type of Assumption. Conclusion is a synonym of Decision. Decision is related to Choose. Choose is related to Menu. 
Branch <--RelatedTo--> Rest 
Assumption <--IsA-- Conclusion <--Synonym--> Decision <--RelatedTo--> Choose <--RelatedTo--> Menu 