ROLES r0 r1 r2 r3 r4 r5 ; USERS u0 u1 u2 u3 u4 u5 ; UA ; CR ; CA ; SPEC r2;