Ability to Scale-Up

There are no inherent limitations to this approach related to the use of the specialized techniques developed here. The recursive descent approach, in general, suffers from combinatorial explosion; however, this approach minimizes this effect in the ways just described. To further limit the problems associated with recursive descent, the following steps might be taken:

1. for large input texts, break into paragraph-sized chunks, with the output constraints of the one being fed into the input constraints of the other
2. macro operators (see Future Research) should significantly increase efficiency for large inputs

The dependency analysis performed on the initial rule set prior to the initial soundness and island processing is linear in nature; each precondition and output effect is examined once, with all the cross-referencing done concurrently using hashtables. The optimizing step is also linear with respect to the number of rules.