Assertion list
red line (primary) → HasSubevent
Results from Ascent++: 1
red line → HasSubevent → the td 0.25