Tool is a type of Implement. Tool is related to Bed. Bed is related to Lie. Lie is related to Testimony. 
Exact is a synonym of True. 
Implement <--IsA-- Tool <--RelatedTo--> Bed <--RelatedTo--> Lie <--RelatedTo--> Testimony 
Exact <--Synonym--> True 