E_INSREP_IMPLIESFAILED

An error occurred while adding an implication.