Set is a type of Change. 
Testify is a synonym of Prove. Prove is related to Prosecution. Prosecution is part of Trial. 
Set --IsA--> Change 
Testify <--Synonym--> Prove <--RelatedTo--> Prosecution --PartOf--> Trial 