63, Bole, L.(Ed.) "Natural Language Communication with Computers", Springer Verlag Berlin, Heidelberg, New York https://courses.cit.cornell.edu/ling7710/readings/bates.pdf) łuki mogą być typów: (CAT <category> <test> <action>*(TO <next state>)) (WRD <word> <test> <action>*(TO <next state>)) (MEM <list> <test> <action>*(TO <next state>)) (PUSH <state> <test> <pre-action>*<action>*(TO <next state>)) (VIR <constit-type> <test> <action>*(TO <next state>)) (JUMP <next state> <test> <action>* (POP <form> <test>)
część typów jest znana z RTN: CAT – kategoria np. rzeczownik, przymiotnik WRD – symbol terminalny PUSH – zapamiętanie stanu przed przejściem do początku innego diagramu <state> POP – odtworzenie pozycji ze stosu JUMP – przejścia bez żadnego symbolu terminalnego
Dodatkowo: MEM – tak jak WRD z wyjątkiem tego, ze symbol musi należeć do listy <list> VIR sprawdza, czy jakaś akcja przy wcześniejszej krawędzi nie umieściła nic na globalnej liście HOLD, jeśli tak – element jest usuwany z listy i wykonywane jest przejście.