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