next up previous
Next: 2.9. Displaying a Network: Up: 2. BUILDING AND FINDING Previous: 2.7. EXERCISE: Asserting Propositions,

2.8. Displaying a Network: Dump

Now let's look at what you've built. One way of doing this is using dump, which can take any node or nodes as arguments.

Try to understand the information that SNePS returns. If you don't understand all of it now, be patient.

(See UM§2.10.)

William J. Rapaport 2003-09-22