Simplification_of_disjunctive_antecedents