For property that is sold, it is the sales proceeds.
The sales proceeds come from properties that have not yet sold.
mnli hypothesis: The sales proceeds come from properties that have not yet sold. premise: For property that is sold, it is the sales proceeds.