Premise: So far, the federal government has used excess funds to reduce debt held by the public, paying down $223 billion in fiscal year 2000 alone.

Hypothesis: Federal government debt was reduced $223 billion in 2000.
Relation: entailment