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