Assertion list
falcon (primary) → UsedFor
Results from Ascent++: 1
falcon → UsedFor → hunting 0.51