Like Petrov and Klein (2007), we impose that the initial symbol S has only one latent annotation.
among rules with S on the left-hand side, only those of the form With such a grammar G we can define probabilities over trees in the following way.