traveling up at one end of an axiom link, continue down at the other end; traveling down at an (input) daughter of an input division link, perform the functional application of the result of traveling down at the mother to the result of traveling up at the other (output) daughter; traveling down at the left (respectively, right) daughter of an input product link, take the first (respectively, second) projection of the result of traveling down at the mother; traveling down at the (input) daughter of an output division link, return the associated index; traveling down at a root, return the associated lexical semantics.
for our example we obtain (26a), which is logically equivalent to (26b).