Assertion list
affect (primary) → HasSubevent
Results from Ascent++: 2
affect → HasSubevent → termination of the support 0.16
affect → HasSubevent → update 0.16