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