“…The ax-processor at node 4 has received R4, R5, R2 from all its immediate predecessors, e, b, d, and, according to the query (16), it performs the following inference: INF = ~eol((ub~r(R5)) ,,y#, R4 <,"1",, (wd2=6a,LR2))) = 0, Because INF = 0, no message is sent to s, while R8, R9 ( Figure 11) are returned as requests to e, d, respectively.…”