Each cell in the matrix keeps track of the nonterminals that can dominate these spans.
computing the transitive closure of this matrix yields in each matrix cell the set of nonterminals that can dominate the assembled indices' spans for the specific string at hand.