Trace is a type of Detect. Trace is a type of Proceed. 
Prayer is derived from Pray. Prayer is related to Deliver. Deliver is related to Related. 
Detect <--IsA-- Trace --IsA--> Proceed 
Pray <--DerivedFrom-- Prayer <--RelatedTo--> Deliver <--RelatedTo--> Related 