Even with a grammar in which the productions are initially uniform, a symbol X can only possibly have non-zero posterior likelihood over spans which contain a matching terminal X.
one can start with uniform rewrites and let the interaction between the data and the model structure break the initial symmetry.