`relation reader: role` says that a role can be a ...