Assertion list
vulture (primary) → AtLocation
Results from Ascent++: 1
vulture → AtLocation → neemuch 0.25