Related Systems: chap lessonsLearned listOfLists normalForm problemMonitor pseX setantaAgent supposeSuppose suppositionalReasoner