Assertion list
remainder (primary) → HasSubevent
Results from Ascent++: 2
remainder → HasSubevent → debt discount 0.25
remainder → HasSubevent → partial disclosure 0.25