Alarm is a type of Device. 
Spring is related to Fall. Fall is a type of Travel. Return is a type of Travel. Return is a type of Transport. 
Alarm --IsA--> Device 
Spring <--RelatedTo--> Fall --IsA--> Travel <--IsA-- Return --IsA--> Transport 