Assertion list
nudge (primary) → IsA
Results from Ascent++: 1
nudge → IsA → gentle push 0.25