In other words, the substring E[i..j] denotes the production r with probability P (r, i..j|E).
the probability of a semantic derivation D is defined as follows: we assume that each production is independent of all others, and is conditioned only on the string to which it is aligned.