Documentation

assumptions :: [ConceptInstance] Source #

assumpOT :: ConceptInstance Source #

assumpOD :: ConceptInstance Source #

assumpCST :: ConceptInstance Source #

assumpAD :: ConceptInstance Source #

assumpCT :: ConceptInstance Source #

assumpDI :: ConceptInstance Source #

assumpCAJI :: ConceptInstance Source #

assumpOTDesc :: [Sentence] Source #

assumpODDesc :: [Sentence] Source #

assumpCSTDesc :: [Sentence] Source #

assumpADDesc :: [Sentence] Source #

assumpCTDesc :: [Sentence] Source #

assumpDIDesc :: [Sentence] Source #

assumpCAJIDesc :: [Sentence] Source #

allObject :: Sentence -> [Sentence] Source #

thereNo :: [Sentence] -> [Sentence] Source #

implies :: Sentence -> [Sentence] Source #

assumptionsListA :: [[Sentence]] Source #