Premise: When the foreclosed property is sold, any difference between the sales proceeds and the book value (i.e.

Hypothesis: A foreclosed property can be sold.
Relation: entailment