S Rule: S[|E TOTAL S|]
Evaluate [| E |] using cell n producing value n’
Place n’ into the memory cell.
Evaluate the rest of sequence [| S |] using the cell.
How are these represented in the semantic domain?
Note: righthand side of equation is a mathematical value!