Failure is a type of Disorder. Error is a type of Failure. Error is the opposite of Correct. 
Introduce is a type of Inform. Tell is a type of Inform. Tell is related to Declare. 
Disorder <--IsA-- Failure <--IsA-- Error <--Antonym--> Correct 
Introduce --IsA--> Inform <--IsA-- Tell <--RelatedTo--> Declare 