Heaven is related to Angel. 
Written is related to Testimony. Testimony is related to Statement. Solution is a type of Statement. Solution is derived from Solve. 
Heaven <--RelatedTo--> Angel 
Written <--RelatedTo--> Testimony <--RelatedTo--> Statement <--IsA-- Solution --DerivedFrom--> Solve 