Documentation

iMods :: [InstanceModel] Source #

fctSfty :: InstanceModel Source #

fctSftyQD :: SimpleQDef Source #

fctSftyExpr :: PExpr Source #

fctSftyDesc :: Sentence Source #

fctSftyDeriv :: Derivation Source #

fctSftyDerivSentences1 :: [Sentence] Source #

fctSftyDerivSentences2 :: [Sentence] Source #

fctSftyDerivEqns1 :: (ExprC r, LiteralC r) => [r] Source #

fctSftyDerivEqns2 :: (ExprC r, LiteralC r) => [r] Source #

fctSftyDerivSentence1 :: [Sentence] Source #

fctSftyDerivSentence2 :: [Sentence] Source #

fctSftyDerivSentence3 :: [Sentence] Source #

fctSftyDerivSentence4 :: [Sentence] Source #

fctSftyDerivSentence5 :: [Sentence] Source #

fctSftyDerivSentence6 :: [Sentence] Source #

fctSftyDerivSentence7 :: [Sentence] Source #

fctSftyDerivSentence8 :: [Sentence] Source #

fctSftyDerivSentence9 :: [Sentence] Source #

fctSftyDerivSentence10 :: [Sentence] Source #

fctSftyDerivEllipsis :: Sentence Source #

fctSftyDerivSentence11 :: [Sentence] Source #

fctSftyDerivSentence12 :: [Sentence] Source #

fctSftyDerivSentence13 :: [Sentence] Source #

fctSftyDerivSentence14 :: [Sentence] Source #

fctSftyDerivSentence15 :: [Sentence] Source #

fctSftyDerivSentence16 :: [Sentence] Source #

fctSftyDerivSentence17 :: [Sentence] Source #

fctSftyDerivSentence18 :: [Sentence] Source #

fctSftyDerivSentence19 :: [Sentence] Source #

fctSftyDerivSentence20 :: [Sentence] Source #

fctSftyDerivEqn1 :: PExpr Source #

fctSftyDerivEqn2 :: PExpr Source #

fctSftyDerivEqn3 :: PExpr Source #

fctSftyDerivEqn4 :: PExpr Source #

fctSftyDerivEqn5 :: PExpr Source #

fctSftyDerivEqn6 :: PExpr Source #

fctSftyDerivEqn7 :: PExpr Source #

fctSftyDerivEqn8 :: PExpr Source #

fctSftyDerivEqn9 :: PExpr Source #

fctSftyDerivEqn10a :: PExpr Source #

fctSftyDerivEqn10b :: PExpr Source #

fctSftyDerivEqn10c :: PExpr Source #

fctSftyDerivEqn10d :: PExpr Source #

fctSftyDerivEqn10e :: PExpr Source #

fctSftyDerivEqn10f :: PExpr Source #

fctSftyDerivEqn11 :: PExpr Source #

fctSftyDerivEqn12 :: PExpr Source #

fctSftyDerivEqn13 :: PExpr Source #

fctSftyDerivEqn14 :: PExpr Source #

fctSftyDerivEqn15 :: PExpr Source #

fctSftyDerivEqn16 :: PExpr Source #

fctSftyDerivEqn17 :: PExpr Source #

fctSftyDerivEqn18 :: PExpr Source #

nrmShrFor :: InstanceModel Source #

nrmShrForMK :: ModelKind Expr Source #

nrmShrForQD :: SimpleQDef Source #

nrmShrFExpr :: PExpr Source #

nrmShrFDesc :: Sentence Source #

nrmShrDeriv :: Derivation Source #

nrmShrDerivSentence1 :: [Sentence] Source #

nrmShrDerivSentence2 :: [Sentence] Source #

nrmShrDerivSentence3 :: [Sentence] Source #

nrmShrDerivSentence4 :: [Sentence] Source #

nrmShrDerivSentence5 :: [Sentence] Source #

nrmShrDerivationSentences :: [Sentence] Source #

nrmShrDerivEqns :: (ExprC r, LiteralC r) => [r] Source #

nrmShrDerivEqn1 :: PExpr Source #

nrmShrDerivEqn2 :: PExpr Source #

nrmShrDerivEqn3 :: PExpr Source #

nrmShrDerivEqn4 :: PExpr Source #

nrmShrForNum :: InstanceModel Source #

nrmShrForNumRC :: RelationConcept Source #

nrmShrFNumRel :: Relation Source #

nrmShrFNumDeriv :: Derivation Source #

nrmShrFNumDesc :: Sentence Source #

nrmShrForDen :: InstanceModel Source #

nrmShrForDenRC :: RelationConcept Source #

nrmShrFDenRel :: Relation Source #

nrmShrFDenDeriv :: Derivation Source #

nrmShrFDenDesc :: Sentence Source #

intsliceFs :: InstanceModel Source #

intsliceFsRC :: RelationConcept Source #

sliceFsRel :: Relation Source #

sliceFsDesc :: Sentence Source #

intrSlcDeriv :: Derivation Source #

intrSlcDerivSentence1 :: [Sentence] Source #

intrSlcDerivSentence2 :: [Sentence] Source #

intrSlcDerivSentence3 :: [Sentence] Source #

intrSlcDerivationSentences :: [Sentence] Source #

intrSlcDerivEqns :: (ExprC r, LiteralC r) => [r] Source #

intrSlcDerivEqn :: PExpr Source #

crtSlpId :: InstanceModel Source #

crtSlpIdRC :: RelationConcept Source #

crtSlpIdRel :: Relation Source #

crtSlpIdDesc :: Sentence Source #

instModIntro :: [Sentence] Source #

instModIntro1 :: Sentence Source #

instModIntro2 :: Sentence Source #