Drasil.SWHS.Assumptions
assumptions :: [ConceptInstance] Source #
assumpTEO :: ConceptInstance Source #
assumpHTCC :: ConceptInstance Source #
assumpCWTAT :: ConceptInstance Source #
assumpTPCAV :: ConceptInstance Source #
assumpDWPCoV :: ConceptInstance Source #
assumpSHECoV :: ConceptInstance Source #
assumpLCCCW :: ConceptInstance Source #
assumpTHCCoT :: ConceptInstance Source #
assumpTHCCoL :: ConceptInstance Source #
assumpLCCWP :: ConceptInstance Source #
assumpCTNOD :: ConceptInstance Source #
assumpSITWP :: ConceptInstance Source #
assumpPIS :: ConceptInstance Source #
assumpWAL :: ConceptInstance Source #
assumpPIT :: ConceptInstance Source #
assumpNIHGBWP :: ConceptInstance Source #
assumpVCMPN :: ConceptInstance Source #
assumpNGSP :: ConceptInstance Source #
assumpAPT :: ConceptInstance Source #
assumpVCN :: ConceptInstance Source #
assumpS1 :: Sentence Source #
assumpS2 :: Sentence Source #
assumpS3 :: Sentence Source #
assumpS4 :: Sentence Source #
assumpS5 :: Sentence Source #
assumpS6 :: Sentence Source #
assumpS7 :: Sentence Source #
assumpS8 :: Sentence Source #
assumpS9 :: Sentence Source #
assumpS10 :: Sentence Source #
assumpS11 :: Sentence Source #
assumpS12 :: Sentence Source #
assumpS13 :: Sentence Source #
assumpS15 :: Sentence Source #
assumpS16 :: Sentence Source #
assumpS17 :: Sentence Source #
assumpS18 :: Sentence Source #
assumpS19 :: Sentence Source #
assumpS20 :: Sentence Source #
assumpS14 :: Sentence -> Sentence Source #