Premise: reductions needed to restore solvency.

Hypothesis: Solvency required reductions to be restored.
Relation: entailment