Recall is a type of Take. 
Theory is related to Speculation. Speculation is derived from Speculate. Suppose is a type of Speculate. 
Recall --IsA--> Take 
Theory <--RelatedTo--> Speculation --DerivedFrom--> Speculate <--IsA-- Suppose 