However the sampler used for parsing was biased because it used as its proposal distribution a truncated grammar which excluded all but a handful of the unseen elementary trees.
the proposal had smaller support than the true model, voiding the MCMC convergence proofs.