mnli premise: The first casualty is Brazil, whose fat public pension program is eating up government resources. hypothesis: The public pension program has been streamlined and is less of burden to the Brazilian government.