Assertion list
welcome (primary) → HasSubevent
Results from Ascent++: 1
welcome → HasSubevent → the next 0.16