Assertion list
reduction (primary) → CreatedBy
Results from Ascent++: 1
reduction → CreatedBy → reducing the severance amount 0.29