Le schéma ci-dessous explicite les étapes de validation des règles qui sont utilisées pour les choix de l'exécutable lors des ouvertures OU pour valider toutes les autres B.D de pour chaque séquence qui fait l'objet d'une BD particulière.
Le document initial explicite les règles utilisées sous les formes littérales et de "functors composés" du langage PROLOG.
Exemple : Modélisation des Enchères de Bridge_v1_DiffusionExterne_2013.docx