ssing of variable values through VariableNodes. Special logic-gate-bearing objects were created to deal with the distinction between arguments of a SchemalnstanceNode, and predecessor tokens giving a SchemanstanceNode permission to act. While this approach is in principle workable, it proved highly complex in prac