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

use findassert:

(find object- (findassert isa animal))

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