Roles role1 role3 ; Users user0 user4 ; UA ; CR ; CA ; SPEC user0 role1 ;