step,rule,n_before,n_after,n_removed,rationale