Recall that at each step in the loop going over the properties of various (disjunctive) lengths, the incremental algorithm adds to the description being built any property that is true of the target set and such that the current distractor set is not included in the set of objects having that property.
in the first loop over properties of length one, the algorithm will select the property , add it to the description and update the distractor set to .