Sorry... but how do I define that "all" piece. I've got relations defined like this:

relation admin: user
    relation creator: user
    relation analyst: user

It's clear to me that these represent the presence of a tuple, but's it's not clear to me how to capture the idea of all users