Law is related to Document. 
Limb is related to Hand. Hand is related to Smooth. Float is a type of Smooth. 
Law <--RelatedTo--> Document 
Limb <--RelatedTo--> Hand <--RelatedTo--> Smooth <--IsA-- Float 