Assertion list
welfare recipient (subgroup of recipient ) → ReceivesAction

Results from Ascent++: 1
welfare recipientReceivesAction bound to argue in next case 0.16