Assertion list
mandatory spending (subgroup of spending ) → ReceivesAction

Results from Ascent++: 1
mandatory spendingReceivesAction required by social security 0.25