2. The method of claim 1 , further comprising the step of displaying a derivational trace of how a new production was created when prompted for an explanation of the new production by the user.
2. The method of claim 1 , further comprising the step of displaying a derivational trace of how a new production was created when prompted for an explanation of the new production by the user. 3. The method of claim 2 , further comprising the step of allowing the user to correct the new production and moving the corrected production to the logical head of the production list.