9. The method of claim 8 , further comprising the following step if in step (b) context-matching productions are found: displaying the context-matching production with the longest consequent.
10. The system of claim 9 , wherein the central computer is configured to display a derivational trace of how a new production was created when prompted for an explanation of the new production by the user.