Text: Even assuming, for example, that the Congress and the President adhere to the oftenstated goal of saving the Social Security surpluses, our longterm model shows a world by 2030 in which these three programs alone would require almost threequarters of total federal revenue.
Entailment: Our long-term model suggests that more than half of total federal revenue would be consumed by these programs.
Contradiction: Our revenue model is a short-term projection of program expenditures through late 2017.