module Drasil.GlassBR.Changes (likelyChgs, unlikelyChgs) where

--A list of likely and unlikely changes for GlassBR

import Language.Drasil hiding (variable)
import Language.Drasil.Chunk.Concept.NamedCombinators

import Data.Drasil.Concepts.Documentation (condition, goal, input_, likeChgDom,
  software, system, unlikeChgDom, value, variable)
import Data.Drasil.Concepts.Math (calculation)
import Data.Drasil.Concepts.PhysicalProperties (flexure)

import Drasil.GlassBR.Assumptions (assumpGC, assumpES, assumpSV, assumpGL,
  assumpBC, assumpRT, assumpLDFC, assumptionConstants)
import Drasil.GlassBR.Concepts (blastRisk, glaSlab, glass)
import Drasil.GlassBR.Unitals (explosion, lite)

{--LIKELY CHANGES--}

likelyChgs :: [ConceptInstance]
likelyChgs :: [ConceptInstance]
likelyChgs = [ConceptInstance
calcInternalBlastRisk, ConceptInstance
varValsOfmkE, ConceptInstance
accMoreThanSingleLite,
  ConceptInstance
accMoreBoundaryConditions, ConceptInstance
considerMoreThanFlexGlass]

calcInternalBlastRisk, varValsOfmkE, accMoreThanSingleLite, accMoreBoundaryConditions,
  considerMoreThanFlexGlass :: ConceptInstance

calcInternalBlastRisk :: ConceptInstance
calcInternalBlastRisk     = forall c.
Concept c =>
String -> Sentence -> String -> c -> ConceptInstance
cic String
"calcInternalBlastRisk"     (forall n. NamedIdea n => n -> Sentence
calcInternalBlastRiskDesc IdeaDict
blastRisk) String
"Calculate-Internal-Blast-Risk"       ConceptChunk
likeChgDom
varValsOfmkE :: ConceptInstance
varValsOfmkE              = forall c.
Concept c =>
String -> Sentence -> String -> c -> ConceptInstance
cic String
"varValsOfmkE"              Sentence
varValsOfmkEDesc                      String
"Variable-Values-of-m,k,E"            ConceptChunk
likeChgDom
accMoreThanSingleLite :: ConceptInstance
accMoreThanSingleLite     = forall c.
Concept c =>
String -> Sentence -> String -> c -> ConceptInstance
cic String
"accMoreThanSingleLite"     Sentence
accMoreThanSingleLiteDesc             String
"Accomodate-More-than-Single-Lite"    ConceptChunk
likeChgDom
accMoreBoundaryConditions :: ConceptInstance
accMoreBoundaryConditions = forall c.
Concept c =>
String -> Sentence -> String -> c -> ConceptInstance
cic String
"accMoreBoundaryConditions" Sentence
accMoreBoundaryConditionsDesc         String
"Accomodate-More-Boundary-Conditions" ConceptChunk
likeChgDom
considerMoreThanFlexGlass :: ConceptInstance
considerMoreThanFlexGlass = forall c.
Concept c =>
String -> Sentence -> String -> c -> ConceptInstance
cic String
"considerMoreThanFlexGlass" Sentence
considerMoreThanFlexGlassDesc         String
"Consider-More-than-Flexure-Glass"    ConceptChunk
likeChgDom

calcInternalBlastRiskDesc :: NamedIdea n => n -> Sentence
varValsOfmkEDesc, accMoreThanSingleLiteDesc, accMoreBoundaryConditionsDesc, considerMoreThanFlexGlassDesc :: Sentence

calcInternalBlastRiskDesc :: forall n. NamedIdea n => n -> Sentence
calcInternalBlastRiskDesc n
mainConcept = [Sentence] -> Sentence
foldlSent [forall x.
(HasShortName x, Referable x) =>
x -> Sentence -> Sentence
chgsStart ConceptInstance
assumpES (String -> Sentence
S String
"The"),
  forall n. NamedIdea n => n -> Sentence
phrase IdeaDict
system, String -> Sentence
S String
"currently only calculates for external" Sentence -> Sentence -> Sentence
+:+.
  forall n. NamedIdea n => n -> Sentence
phrase n
mainConcept, String -> Sentence
S String
"In the future,", forall n. NamedIdea n => n -> Sentence
plural ConceptChunk
calculation,
  String -> Sentence
S String
"can be added for the internal", forall n. NamedIdea n => n -> Sentence
phrase n
mainConcept]

varValsOfmkEDesc :: Sentence
varValsOfmkEDesc = [Sentence] -> Sentence
foldlSent [forall r.
(HasUID r, HasRefAddress r, HasShortName r) =>
r -> Sentence
refS ConceptInstance
assumpSV Sentence -> Sentence -> Sentence
`sC` forall x.
(HasShortName x, Referable x) =>
x -> Sentence -> Sentence
chgsStart ConceptInstance
assumpLDFC (String -> Sentence
S String
"Currently, the"),
  forall n. NamedIdea n => n -> Sentence
plural IdeaDict
value, String -> Sentence
S String
"for", SepType -> FoldType -> [Sentence] -> Sentence
foldlList SepType
Comma FoldType
List (forall a b. (a -> b) -> [a] -> [b]
map forall c. (HasUID c, HasSymbol c) => c -> Sentence
ch (forall a. Int -> [a] -> [a]
take Int
3 [ConstQDef]
assumptionConstants)),
  String -> Sentence
S String
"are assumed to be the same for all" Sentence -> Sentence -> Sentence
+:+. forall n. NamedIdea n => n -> Sentence
phrase IdeaDict
glass,
  String -> Sentence
S String
"In the future, these", forall n. NamedIdea n => n -> Sentence
plural IdeaDict
value, String -> Sentence
S String
"can be changed to",
  forall n. NounPhrase n => n -> Sentence
pluralNP (forall c d. (NamedIdea c, NamedIdea d) => c -> d -> NP
combineNINI IdeaDict
variable IdeaDict
input_)]

accMoreThanSingleLiteDesc :: Sentence
accMoreThanSingleLiteDesc = [Sentence] -> Sentence
foldlSent [forall x.
(HasShortName x, Referable x) =>
x -> Sentence -> Sentence
chgsStart ConceptInstance
assumpGL (String -> Sentence
S String
"The"), forall n. NamedIdea n => n -> Sentence
phrase IdeaDict
software,
  String -> Sentence
S String
"may be changed to accommodate more than a single", forall n. NamedIdea n => n -> Sentence
phrase ConceptChunk
lite]

accMoreBoundaryConditionsDesc :: Sentence
accMoreBoundaryConditionsDesc = [Sentence] -> Sentence
foldlSent [forall x.
(HasShortName x, Referable x) =>
x -> Sentence -> Sentence
chgsStart ConceptInstance
assumpBC (String -> Sentence
S String
"The"), forall n. NamedIdea n => n -> Sentence
phrase IdeaDict
software,
  String -> Sentence
S String
"may be changed to accommodate more boundary", forall n. NamedIdea n => n -> Sentence
plural IdeaDict
condition,
  String -> Sentence
S String
"than 4-sided support"]

considerMoreThanFlexGlassDesc :: Sentence
considerMoreThanFlexGlassDesc = [Sentence] -> Sentence
foldlSent [forall x.
(HasShortName x, Referable x) =>
x -> Sentence -> Sentence
chgsStart ConceptInstance
assumpRT (String -> Sentence
S String
"The"), forall n. NamedIdea n => n -> Sentence
phrase IdeaDict
software,
  String -> Sentence
S String
"may be changed to consider more than just", forall n. NamedIdea n => n -> Sentence
phrase ConceptChunk
flexure,
  String -> Sentence
S String
"of the glass"]

{--UNLIKELY CHANGES--}

unlikelyChgs :: [ConceptInstance]
unlikelyChgs :: [ConceptInstance]
unlikelyChgs = [ConceptInstance
predictWithstandOfCertDeg, ConceptInstance
accAlteredGlass]

predictWithstandOfCertDeg, accAlteredGlass :: ConceptInstance

predictWithstandOfCertDeg :: ConceptInstance
predictWithstandOfCertDeg = forall c.
Concept c =>
String -> Sentence -> String -> c -> ConceptInstance
cic String
"predictWithstandOfCertDeg" Sentence
predictWithstandOfCertDegDesc String
"Predict-Withstanding-of-Certain-Degree"  ConceptChunk
unlikeChgDom
accAlteredGlass :: ConceptInstance
accAlteredGlass           = forall c.
Concept c =>
String -> Sentence -> String -> c -> ConceptInstance
cic String
"accAlteredGlass"           Sentence
accAlteredGlassDesc           String
"Accommodate-Altered-Glass"               ConceptChunk
unlikeChgDom

predictWithstandOfCertDegDesc, accAlteredGlassDesc :: Sentence

predictWithstandOfCertDegDesc :: Sentence
predictWithstandOfCertDegDesc = [Sentence] -> Sentence
foldlSent [forall n. NounPhrase n => n -> Sentence
atStartNP (IdeaDict
goal forall c d. (NamedIdea c, NamedIdea d) => c -> d -> NP
`the_ofThe` IdeaDict
system),
  String -> Sentence
S String
"is to predict whether the", forall n. NamedIdea n => n -> Sentence
phrase IdeaDict
glaSlab, String -> Sentence
S String
"under consideration can",
  String -> Sentence
S String
"withstand an", forall n. NamedIdea n => n -> Sentence
phrase ConceptChunk
explosion, String -> Sentence
S String
"of a certain degree"]

accAlteredGlassDesc :: Sentence
accAlteredGlassDesc = [Sentence] -> Sentence
foldlSent [forall r.
(HasUID r, HasRefAddress r, HasShortName r) =>
r -> Sentence
refS ConceptInstance
assumpGC, String -> Sentence
S String
"requires that the", forall n. NamedIdea n => n -> Sentence
phrase IdeaDict
glass Sentence -> Sentence -> Sentence
+:+.
  String -> Sentence
S String
"is not altered in any way", String -> Sentence
S String
"Therefore, this cannot be used on altered",
  forall n. NamedIdea n => n -> Sentence
phrase IdeaDict
glass]