ON THE UNIVERSALITY OF RULES AND RULE ORDERING CONSTRAINTS