Assertion list
batman (primary) → HasSubevent
Results from Ascent++: 1
batman → HasSubevent → the cancellation of batman unch… 0.20