Assertion list
debt collector (subgroup of collector ) → ReceivesAction
Results from Ascent++: 1
debt collector → ReceivesAction → prohibited 0.59