The format is  roleName: TypeName, Where either part of the name may be empty, but not both. As they are not objects, we do not underline the participant names,