Assertion list
thread (primary) → HasSubevent
Results from Ascent++: 2
thread → HasSubevent → balanced weave 0.29
thread → HasSubevent → another 0.25