Simplification of disjunctive antecedents | Synapse