The permutation of any sentential form of an SCFG of rank r can be produced by composing permutations of length no greater than r, by induction over the length of the derivation.
now we consider how further rules in the LCFRS derivation make use of the tuple t 0 , t 1 , .