Every sub-choreography and call-choreography representation has to specify all the participants involved in it
In every sub-choreography representation there should be specified all the participants involved in it and also the participants involved in all the nested sub-choreographies, if present