), it also holds that, in the LCFRS derivation tree, each node has as its children rules which expand the set of nonterminals appearing in the parent's r.h.s.
the LCFRS tree constitutes a valid derivation.