For inference, they invert the finite-state S θ like us to reconstruct a lattice of possible UR strings.
they do this not within BP but within a block Gibbs sampler that stochastically reanalyzes utterances one at a time.