Un tel argument est donné au prédicat de sélection d'une spécification d'ensemble d'entités. Un tel argument est aussi donné au prédicat qui teste si une entité satisfait la définition d'une spécification de domaines de valeurs.