Assertion list
jump (primary) → HasA
Results from Ascent++: 1
jump → HasA → a result of recent events 0.16