Lifting the Limitations in a Rule-based Policy Language