next up previous
Next: 6.8. EXERCISES: Defining Paths Up: 6. PATH-BASED INFERENCE (UM§2.5.2). Previous: 6.6. Finding Information using

6.7. Finding Asserted Information

This find gave the same response as before, because paths are not expanded recursively in current versions of SNePS. To get a unit relation expanded, it must appear as a unit path in the find. So, an alternative way to ask our question is to

Note the different--but related--information returned by 6.6 and 6.7.

William J. Rapaport 2003-09-22