2.            for each rule Rj in the descending order of the rules