In this chapter, Bean and Green present some of their previous research that attempted to typify the relations between a topical guide to scriptures and the passages cited as relevant to the topics in the guide.
the set of all terminal strings of trees in the resultant tree-set will be a context-free language (CFL), and for every CFL there will be such a finite set of trees that generates it under substitution.