 ‘S is a stone’ is true because S falls under all of these precisifications of ‘stone’. ‘NS is a stone’ is false because NS doesn’t fall under any of them. And ‘BS is a stone’ is neither true nor false because BS falls under some but not all of the precisifications. And then SR3 itself turns out to be false: on every precisification of ‘stone’, there is some object in the series such that it but not its successor falls under that precisification. (This is sometimes known as a “supervaluationist” account.)