Extend is a type of Straighten. 
Ally is a type of State. State is a synonym of Express. Express is related to Mail. 
Straighten <--IsA-- Extend 
Ally --IsA--> State <--Synonym--> Express <--RelatedTo--> Mail 