1 2 3 4 5 6 7 8 9
definition user {} definition document { relation reader: user | user:* relation writer: user permission read = reader + writer permission write = writer }