Key legal question
Whether the cantonal judgment was contradictory or violated dispositive principle by stating the pensions were conditional while ordering unconditional payment.
Extracted holding
No contradiction existed; the reasoning made clear that the benefits were owed only subject to the stated conditions, which remained available as defenses.
Extracted reasoning
The scope of res judicata is determined by the whole judgment, not the dispositive alone. The reasons clarified the conditional nature of the obligation.