An edge contains a English non-terminal (NT) symbol (NP, VP, etc), border words for LM combination, pointers to child edges, and a score.
consider first a single edge set from [i,k], eg, all the NP edges.