I will try and look at the recursive application of irregulars. The rest will have to be left to Ben. I don't think it'll be difficult to speed up the lrfsm calculation - right now it would do a lot of recomputation in the situation you describe. There are some notes in main/rules.lsp. Ann