Assertion list
final paycheck (subgroup of paycheck ) → ReceivesAction
Results from Ascent++: 2
final paycheck → ReceivesAction → created for the employee 0.68
final paycheck → ReceivesAction → issued 0.25