Likewise, for fixed Θ f , for any given x we can compute the expected fraction of locally functional relations R that are locally unambiguous for x.
we repeat until convergence: In both steps above, the sums are taken over only those x or R for which D R(x,•) is non-empty.