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

2.11. Displaying a Node: Describe, part 3

Since assert returns a node, it can be the argument of describe. This way, you can see what you're building while you're building it.

This is one way of telling Cassie that Dumbo can fly. (For more information on dump and describe, see UM§2.10.)

William J. Rapaport 2003-09-22