Un tel argument est donné au prédicat de sélection d'une spécification d'ensemble d'entités, ou à une de ses fonction de construction, ou encore à sa fonction qui renvoie le cardinal de la liste d'entites à construire.