| prov:value
| - For the instructions in a given level of I stack 20, there is an entry, or pointer, in at least one of the columns 96, 98, 100 of stack 92, which points to, or identifies, the address, level and whether odd or even, of the next instruction to be read out of I stack 20.
|