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
6df43c338e49477c769c36e7f7d249af2563db7f