can you give a concrete example of what you're trying to express? my sense is that it may be possible with either preconditions or permissions defined in terms of intersection or negation, but it isn't clear from what you've written.