Assertion list
puzzle (primary) → HasSubevent
Results from Ascent++: 1
puzzle → HasSubevent → the next 0.53