4.1. SNePSUL Variables as Pointers

Sometimes, you need to refer to an already-built node, but you don't know what identifier SNePS has given it. To handle cases like this, you can create a pointer to the node when you build it that has a mnemonic name (a SNePSUL variable) that you give it, so that you'll remember what it is. This can be done by using the infix `=' operator, as shown in the following examples (UM§2.9). First, reset the network and undefine all user-defined relations (UM§2.8); this is done by giving resetnet the argument t. So,

evaluate:

(resetnet t)