- [ ] Example 25: Irreducible rule - [ ] Example 26: 2 assets 2 action - [ ] Example 27: 4 atomic rules - [ ] Example 28: Compact policy - [ ] Example 29: Shared property expansion