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):

Ask Cassie:

(describe (findassert ability fly))