And we can ask her which things she believes can fly. To
do this, we want her to find all nodes that have object
arcs coming from asserted nodes that have ability
arcs also coming out of them. This is done by putting an exclamation
mark in the path
(UM§2.5.2):
