Testify is a type of Inform. Testify is a type of Declare. Declare is a type of Authorize. 
Gate is a type of Supply. Supply is a synonym of Provide. 
Inform <--IsA-- Testify --IsA--> Declare --IsA--> Authorize 
Gate --IsA--> Supply <--Synonym--> Provide 