1 2 3 4 5 6 7
definition user {} definition post { relation reader: user relation writer: user permission read = reader + writer permission write = writer }