Testify is a type of Inform. Tell is a type of Inform. 
Business is related to Contract. Option is a type of Contract. 
Testify --IsA--> Inform <--IsA-- Tell 
Business <--RelatedTo--> Contract <--IsA-- Option 