At line 8 the decoder it-erates the main loop, until τ is complete and is returned at line 9.
the score of the interaction between r and the context structure attached to X r,τ can be computed exactly, while the score of the structures attached to other r nonterminals (i.e.