1step,rule,n_before,n_after,n_removed,rationale2none,no filtering applied,2,2,0,inputs are 2 propositions and 2 design parameters; nothing excluded3
main