next up previous
Next: 2.23. Finding Beliefs, part Up: 2. BUILDING AND FINDING Previous: 2.21. Finding Beliefs, part

2.22. Finding Asserted Beliefs

We can also ask her what propositions she believes about who can fly, using the SNePSUL command findassert, which is just like find except that it only returns asserted nodes (UM§2.11):



William J. Rapaport 2003-09-22