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