Conversion of benign and malignant annotations to logical axioms, for consistency testing.