1step,rule,n_before,n_after,n_removed,rationale21,none (all propositions retained),2,2,0,no filtering needed; both propositions assessed3
main