Assertion list
scale (primary) → HasSubevent
Results from Ascent++: 1
scale → HasSubevent → complex behavior 0.25