NFIRST=1, ALLENT
Liste exhaustive des types de quantificateurs utilisés dans les spécifications d'ensembles d'entités.
Une spécification d'ensembles d'entités, instance de EntitySpec, permet de construire une liste d'entités répondant à certains critères (voir page 'Spécifications d'ensembles d'entités'). On peut ainsi construire une liste qui comprend les n premières (avec NFIRST) ou toutes les entités (avec ALLENT) satisfaisant les critères.