next up previous
Next: 2.6. Resetting a Network Up: 2. BUILDING AND FINDING Previous: 2.4. Asserting Propositions

2.5. Correcting Mistakes, part 2

Suppose you accidentally typed `ephalunt' instead of `elephant'. You can erase the mistakenly-asserted node with the SNePSUL command erase, which takes a node as an argument (UM§2.8): erase m2. To practice with this, we'll do the following:

Since this will be the second node you will have asserted, SNePS will call it `M2'.

SNePS should have simply returned node M1, since we had already built it, and, by the Uniqueness Principle, SNePS does not build or assert nodes more than once (UM§3.1.2). Thus, instead of building another representation of the proposition that Clyde is an elephant, Cassie showed us that she already believed that.

William J. Rapaport 2003-09-22