May is related to Shall. Shall is related to Must. Must is related to Demand. 
Aisle is a type of Area. Area is related to Nest. 
May <--RelatedTo--> Shall <--RelatedTo--> Must <--RelatedTo--> Demand 
Aisle --IsA--> Area <--RelatedTo--> Nest 