Might is related to Must. Must is related to May. 
Approval is derived from Approve. Permission is a type of Approval. Leave is a type of Permission. Leave is related to Lose. 
Might <--RelatedTo--> Must <--RelatedTo--> May 
Approve <--DerivedFrom-- Approval <--IsA-- Permission <--IsA-- Leave <--RelatedTo--> Lose 