Next: 2.7. EXERCISE: Asserting Propositions,
Up: 2. BUILDING AND FINDING
Previous: 2.5. Correcting Mistakes, part
Let's start over. To do that, you can reset the network with the
SNePSUL command resetnet, which needs no arguments. For
other options, see §4.1, below, and
UM§2.8.
So,
William J. Rapaport
2003-09-22