Logically Succinct Basic Policy Rule Components