Par contre, pour certaines structures, il y a une
manière naturelle d'énumérer les symboles du
langage: c'est le cas des exemples qui
suivent.
La commande énumère chaque instance de règle qu'il
suffit de retirer au modèle pour satisfaire la
formule CTL.
On peut énumérer une liste d'éléments
archéologiques permettant de comparer les
Temporalités et par conséquent d'essayer d'évaluer
l'importance de ruptures pouvant représenter de
réels Hiatus Chronologiques, à la différence
d'autres qui peuvent refléter une différence
fonctionnelle.