Trace is a type of Analyze. Analyze is a synonym of Examine. 
Pillow cannot be Alive. Pillow is related to Cover. Cover is a synonym of Continue. 
Trace --IsA--> Analyze <--Synonym--> Examine 
Alive <--NotHasProperty-- Pillow <--RelatedTo--> Cover <--Synonym--> Continue 