Rule list refinement