With T being the seed matrix, we define where T (i) is defined recursively as: Under Condition 4.1, one can show that given an LCFRS derivation tree t over the input string, each node in t must appear in the transitive closure matrix T + .
for each node in t representing nonterminal A spanning endpoints {( 1 , 2 ), ( 3 , 4 ), .