step,rule,n_before,n_after,n_removed,rationale
0,none: all assertions assessed,6,6,0,No assertion excluded; every assertion cites a provided source