Given an ordered set of meta-rules, however, there is no guarantee that the trees they derive are linguistically appropriate and that the derivation process terminates.
to ensure termination and consistency, Prolo needs to additionally provide rule ordering schemes (expressed as automata).