Assertion list
certified check (subgroup of check ) → ReceivesAction
Results from Ascent++: 2
certified check → ReceivesAction → lost 0.54
certified check → ReceivesAction → taken for obligation 0.51