Assertion list
racket (primary) → HasSubevent

Results from Ascent++: 1
racketHasSubevent large amount of topspin 0.25