Perhaps the most natural choice of the proposal distribution q is a conditional distribution from p. This is feasible if we restrict the proposed moves to only small changes in the current tree.
t i−x and t i+x denote the left and right context tags, and similarly for words.