Assertion list
auction (primary) → HasSubevent
Results from Ascent++: 2
auction → HasSubevent → sale 0.36
auction → HasSubevent → case 0.25