Removing duplicates of the partial rules and adding other base cases