Premise: The progressive matching formula was to phase down as income increased.

Hypothesis: As income increased, the formula was to be phased out.
Relation: entailment