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