Retired is derived from Retire. Retire is a type of Recall. Recall is related to Memory. 
Law is related to State. 
Retired --DerivedFrom--> Retire --IsA--> Recall <--RelatedTo--> Memory 
Law <--RelatedTo--> State 