31. The method according to claim 1 , wherein the basic documents are checklists.
31. The method according to claim 1 , wherein the basic documents are checklists. 33. The method according to claim 31 , which comprises producing transitions or proposals for transitions between states that represent successive items on a checklist.