L'analyse comporte deux étapes.
La première est l'analyse syntaxique proprement dite.
Elle est réalisée par les règles décrites ci-dessus.
Une fois que le frame est construit, il faut encore effectuer les liaisons longue distance.
Pour cela, le prédicat make_far_links/2 parcourt le frame et construit la liste de ces liaisons.
Ensuite les liaisons vers le haut et vers le bas sont unifiées deux par deux.
On se reportera au code Prolog pour les détails de l'implémentation.