. . . "X is a symbol of the original grammar which labels an edge out of p." .