Les règles du Wagon stipulent que lorsqu'il est placé sur une fonction complétée, il peut être déplacé vers une fonction connectée inachevée non revendiquée. À ma lecture, cela signifie que la fonction vers laquelle il est déplacé n'a pas besoin d'être directement connectée à la fonction juste complétée, car cela n'est pas explicitement indiqué.
Cependant, dans les Règles Annotées, il est dit que le wagon ne peut être déplacé que vers une fonction directement connectée. Je me demande comment cette conclusion est atteinte, et si mon interprétation des règles dans la boîte est valable ?