mnli premise: For example, President Clinton's 2000 Retirement Savings Accounts (RSAs) proposal would have provided government matching on voluntary hypothesis: Government matching on voluntary was proposed in President Clinton's 2000 Retirement Savings Account proposal.