Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

#3252 Sentence Reworking (for the ssp Example, Part 4) #3974

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

#3252 Sentence Reworking (for the ssp Example, Part 4) #3974

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
f3cc6d7
#3252 Sentence Reworking (for the ssp Example, Part 2)
daijingz Sep 20, 2024
bc3c4b2
Merge branch 'main' of https://github.com/daijingz/Drasil
daijingz Oct 6, 2024
3f3cb6f
#3252 Sentence Reworking (for the ssp Example, Part 4)
daijingz Oct 7, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 9 additions & 9 deletions code/drasil-example/ssp/lib/Drasil/SSP/TMods.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -64,11 +64,11 @@ equilibriumCS = mkConstraintSet
-- makeRC "equilibriumRC" (nounPhraseSP "equilibrium") eqDesc eqRel

eqDesc :: Sentence
eqDesc = foldlSent [S "For a body in static equilibrium, the net",
pluralNP (force `and_PP` genericM) +:+. S "acting on the body will cancel out",
eqDesc = foldlSent [S "For a body in static equilibrium" `sC` S "the net",
pluralNP (force `and_PP` genericM) +:+. (S "acting" `S.onThe` S "body will cancel out"),
S "Assuming a 2D problem", sParen (refS assumpENSL) `sC` S "the", getTandS fx `S.and_`
getTandS fy, S "will be equal to" +:+. eS (exactDbl 0), S "All", plural force,
S "and their", phrase distance, S "from the chosen point of rotation",
S "and their", phrase distance, S "from the chosen point" `S.of_` S "rotation",
S "will create a net", phrase genericM, S "equal to" +:+ eS (exactDbl 0)]

--
Expand All @@ -89,17 +89,17 @@ mcShrStrgthExpr = sy effNormStress $* tan (sy fricAngle) $+ sy effCohesion

mcShrStrgthDesc :: Sentence
mcShrStrgthDesc = foldlSent [S "In this", phrase model, S "the",
getTandS shrStress, S "is proportional to the product of the",
phrase effNormStress, ch effNormStress, S "on the plane",
S "with its static", phrase friction, S "in the angular form" +:+.
getTandS shrStress `S.is` S "proportional to the product" `S.ofThe` phrase effNormStress,
ch effNormStress `S.onThe` S "plane",
S "with its static", phrase friction `S.inThe` S "angular form" +:+.
eS (tan $ sy fricAngle),
S "The", ch shrStress, S "versus", ch effNormStress,
S "relationship is not truly",
S "relationship" `S.is` S "not truly",
phrase linear `sC` S "but assuming the", phrase nrmFSubWat,
S "is strong enough, it can be approximated with a", phrase linear,
S "is strong enough" `sC` S "it can be approximated with a", phrase linear,
S "fit", sParen (refS assumpSBSBISL), S "where the", phrase effCohesion,
ch effCohesion, S "represents the", ch shrStress,
S "intercept of the fitted line"]
S "intercept" `S.ofThe` S "fitted line"]

--
------------- New Chunk -----------
Expand Down
78 changes: 39 additions & 39 deletions code/drasil-example/ssp/lib/Drasil/SSP/Unitals.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -117,22 +117,22 @@ waterHght = uqc "y_wt,i" (nounPhraseSent $ plural yCoord `S.of_` S "the water ta

xMaxExtSlip = uq (constrained' (uc' "x_slip^maxExt"
(nounPhraseSent $ S "maximum exit" +:+ phrase xCoord)
(S "the maximum potential" +:+ phrase xCoord +:+ S "for the exit point of a slip surface")
(S "the maximum potential" +:+ phrase xCoord `S.for` S "the exit point" `S.ofA` S "slip surface")
(sup (sub lX lSlip) lMaxExt) Real metre) [] (exactDbl 100)) defaultUncrt

xMaxEtrSlip = uq (constrained' (uc' "x_slip^maxEtr"
(nounPhraseSent $ S "maximum entry" +:+ phrase xCoord)
(S "the maximum potential" +:+ phrase xCoord +:+ S "for the entry point of a slip surface")
(S "the maximum potential" +:+ phrase xCoord `S.for` S "the entry point" `S.ofA` S "slip surface")
(sup (sub lX lSlip) lMaxEtr) Real metre) [] (exactDbl 20)) defaultUncrt

xMinExtSlip = uq (constrained' (uc' "x_slip^minExt"
(nounPhraseSent $ S "minimum exit" +:+ phrase xCoord)
(S "the minimum potential" +:+ phrase xCoord +:+ S "for the exit point of a slip surface")
(S "the minimum potential" +:+ phrase xCoord `S.for` S "the exit point" `S.ofA` S "slip surface")
(sup (sub lX lSlip) lMinExt) Real metre) [] (exactDbl 50)) defaultUncrt

xMinEtrSlip = uq (constrained' (uc' "x_slip^minEtr"
(nounPhraseSent $ S "minimum entry" +:+ phrase xCoord)
(S "the minimum potential" +:+ phrase xCoord +:+ S "for the entry point of a slip surface")
(S "the minimum potential" +:+ phrase xCoord `S.for` S "the entry point" `S.ofA` S "slip surface")
(sup (sub lX lSlip) lMinEtr) Real metre) [] (exactDbl 0)) defaultUncrt

yMaxSlip = uq (constrained' (uc' "y_slip^max"
Expand Down Expand Up @@ -224,14 +224,14 @@ accel, genericMass, genericF, genericA, genericM, genericV, genericW,

intNormForce = uc' "G_i" (cn "interslice normal forces")
(S "the forces per meter" `S.inThe` phrase zDir +:+
S "exerted between each pair of adjacent slices")
S "exerted between each pair" `S.of_` S "adjacent slices")
(vec cG) (Vect Real) forcePerMeterU

slipHght = uc' "y_slip,i" (nounPhraseSent $ plural yCoord +:+ S "of the slip surface")
slipHght = uc' "y_slip,i" (nounPhraseSent $ plural yCoord `S.ofThe` S "slip surface")
(S "heights of the slip surface")
(sub (vec lY) lSlip) (Vect Real) metre

slipDist = uc' "x_slip,i" (nounPhraseSent $ plural xCoord +:+ S "of the slip surface")
slipDist = uc' "x_slip,i" (nounPhraseSent $ plural xCoord `S.ofThe` S "slip surface")
(plural xCoord `S.of_` S "points on the slip surface")
(sub (vec lX) lSlip) (Vect Real) metre

Expand All @@ -248,11 +248,11 @@ zcoord = uc' "z" (nounPhraseSent $ phrase zCoord)
-- They have been removed now, but we need a reasonable notation.
critCoords = uc' "(xcs,ycs)" (cn "critical slip surface coordinates")
(S "the set" `S.of_` pluralNP (xCoord `and_PP` yCoord) +:+
S "that describe the vertices of the critical slip surface")
S "that describe the vertices" `S.ofThe` S "critical slip surface")
(Concat [sub (vec lX) lCSlip, label ",", sub (vec lY) lCSlip]) Real metre

mobilizedShear = uc' "mobilizedShear" (cn' "mobilized shear force")
(S "the shear force in the direction of potential motion") cS Real newton
(S "the shear force" `S.inThe` S "direction" `S.of_` S "potential motion") cS Real newton

resistiveShear = uc' "resistiveShear" (cn' "resistive shear force")
(S "the Mohr Coulomb frictional force that describes the limit" `S.of_`
Expand All @@ -278,12 +278,12 @@ shrResI = uc' "shrRes" (cn "resistive shear forces")

shearFNoIntsl = uc' "T_i" (cn ("mobilized shear forces " ++ wiif))
(pluralNP (the mobilizedShear) +:+ S "per meter" +:+ S wiif `S.inThe`
phrase zDir +:+ S "for each slice")
phrase zDir `S.for` S "each slice")
(vec cT) (Vect Real) forcePerMeterU

shearRNoIntsl = uc' "R_i" (cn ("resistive shear forces " ++ wiif))
(pluralNP (the resistiveShear) +:+ S "per meter" +:+ S wiif `S.inThe`
phrase zDir +:+ S "for each slice")
phrase zDir `S.for` S "each slice")
(vec cR) (Vect Real) forcePerMeterU

slcWght = uc' "W_i" (cn "weights")
Expand All @@ -293,7 +293,7 @@ slcWght = uc' "W_i" (cn "weights")

watrForce = uc' "H_i" (cn "interslice normal water forces")
(S "the normal water forces per meter" `S.inThe` phrase zDir +:+
S "exerted" `S.inThe` phrase xDir +:+ S "between each pair of adjacent slices")
S "exerted" `S.inThe` phrase xDir +:+ S "between each pair" `S.of_` S "adjacent slices")
(vec cH) (Vect Real) forcePerMeterU

intShrForce = uc' "X_i" (cn "interslice shear forces")
Expand All @@ -306,65 +306,65 @@ baseHydroForce = uc' "U_b,i" (cn "base hydrostatic forces")

surfHydroForce = uc' "U_t,i" (cn "surface hydrostatic forces")
(S "the forces per meter" `S.inThe` phrase zDir +:+ S "from water pressure acting" +:+
S "into each slice from standing water on the slope surface")
S "into each slice from standing water" `S.onThe` S "slope surface")
(sub (vec cU) lSurface) (Vect Real) forcePerMeterU

totNrmForce = uc' "N_i" (cn "normal forces")
(S "the total reactive forces per meter" `S.inThe` phrase zDir +:+
S "for each slice of a soil surface subject to a body resting on it")
S "for each slice" `S.ofA` S "soil surface subject to a body resting on it")
(vec cN) (Vect Real) forcePerMeterU

nrmFSubWat = uc' "N'_i" (cn "effective normal forces")
(S "the forces per meter" `S.inThe` phrase zDir +:+ S "for each slice of a soil surface" `sC`
(S "the forces per meter" `S.inThe` phrase zDir `S.for` S "each slice" `S.ofA` S "soil surface" `sC`
S "subtracting pore water reactive force from total reactive force")
(vec (prime $ variable "N")) (Vect Real) forcePerMeterU

surfLoad = uc' "Q_i" (cn "external forces")
(S "the forces per meter" `S.inThe` phrase zDir +:+
S "acting into the surface from the midpoint of each slice")
S "acting into the surface from the midpoint" `S.of_` S "each slice")
(vec cQ) (Vect Real) forcePerMeterU

baseAngle = uc' "alpha_i" (cn "base angles")
(S "the angles between the base of each slice and the horizontal")
(S "the angles between the base" `S.of_` S "each slice and the horizontal")
(vec lAlpha) (Vect Real) degree

surfAngle = uc' "beta_i" (cn "surface angles")
(S "the angles between the surface of each slice and the horizontal")
(S "the angles between the surface" `S.of_` S "each slice and the horizontal")
(vec lBeta) (Vect Real) degree

impLoadAngle = uc' "omega_i" (cn "imposed load angles")
(S "the angles between the external force acting into the surface of each slice and the vertical")
(S "the angles between the external force acting into the surface" `S.of_` S "each slice and the vertical")
(vec lOmega) (Vect Real) degree

baseWthX = uc' "b_i" (cn "base width of slices")
(S "the width of each slice" `S.inThe` phrase xDir)
(S "the width" `S.of_` S "each slice" `S.inThe` phrase xDir)
(vec lB) (Vect Real) metre

baseLngth = uc' "l_b,i" (cn "total base lengths of slices")
(S "the lengths of each slice in the direction parallel to the slope of the base")
(sub (vec cL) lB) (Vect Real) metre

surfLngth = uc' "l_s,i" (cn "surface lengths of slices")
(S "the lengths of each slice in the direction parallel to the slope of the surface")
(S "the lengths" `S.of_` S "each slice" `S.inThe` S "direction parallel" `S.toThe` S "slope" `S.ofThe` S "surface")
(sub (vec cL) lS) (Vect Real) metre

midpntHght = uc' "h_i" (nounPhraseSent $ phrase yDir +:+ S "heights of slices")
(S "the heights" `S.inThe` phrase yDir +:+ S "from the base of each slice" `S.toThe`
S "slope surface, at the" +:+ phrase xDir +:+ S "midpoint of the slice")
midpntHght = uc' "h_i" (nounPhraseSent $ phrase yDir +:+ S "heights" `S.of_` S "slices")
(S "the heights" `S.inThe` phrase yDir +:+ S "from the base" `S.of_` S "each slice" `S.toThe`
S "slope surface" `sC` S "at the" +:+ phrase xDir +:+ S "midpoint" `S.ofThe` S "slice")
(vec lH) (Vect Real) metre

porePressure = uc' "u" (cn "pore pressure")
(S "the pressure that comes from water within the soil") lU Real pascal

shrStress = uc' "tau_i" (cn "shear strength")
(S "the strength of a material against shear failure") (sup lTau (label "f")) Real pascal
(S "the strength" `S.ofA` S "material against shear failure") (sup lTau (label "f")) Real pascal

sliceHght = uc' "h_z,i" (cn "heights of interslice normal forces")
(pluralNP (height `inThePS` yDir) `S.the_ofThe` S "interslice normal forces on each slice")
(subZ (vec lH)) Real metre

sliceHghtW = uc' "h_z,w,i" (cn "heights of the water table")
(S "the heights" `S.inThe` phrase yDir +:+ S "from the base of each slice to the water table")
(S "the heights" `S.inThe` phrase yDir +:+ S "from the base" `S.of_` S "each slice" `S.toThe` S "water table")
(sub (vec lH) lHeights) Real metre

nrmShearNum = uc' "C_num,i" (cn "proportionality constant numerator")
Expand All @@ -377,36 +377,36 @@ nrmShearDen = uc' "C_den,i" (cn "proportionality constant denominator")
"interslice normal to shear force proportionality constant")
(sub (vec cC) lDen) (Vect Real) newton

fx = uc' "fx" (nounPhraseSent $ phrase xCoord +:+ S "of the force")
fx = uc' "fx" (nounPhraseSent $ phrase xCoord `S.ofThe` S "force")
(S "the force acting" `S.inThe` phrase xDir) (subX cF) Real newton

fy = uc' "fy" (nounPhraseSent $ phrase yCoord +:+ S "of the force")
fy = uc' "fy" (nounPhraseSent $ phrase yCoord `S.ofThe` S "force")
(S "the force acting" `S.inThe` phrase yDir) (subY cF) Real newton

fn = uc' "F_n" (cn "total normal force") (S "component of a force in the normal direction")
fn = uc' "F_n" (cn "total normal force") (S "component" `S.ofA` S "force" `S.inThe` S "normal direction")
(sub cF (label "n")) Real newton

ft = uc' "F_t" (cn "tangential force") (S "component of a force in the tangential direction")
ft = uc' "F_t" (cn "tangential force") (S "component" `S.ofA` S "force" `S.inThe` S "tangential direction")
(sub cF (label "t")) Real newton

nrmForceSum = uc' "F_x^G" (cn "sums of the interslice normal forces")
(S "the sums of the normal forces acting on each pair of adjacent interslice boundaries")
(S "the sums" `S.ofThe` S "normal forces acting on each pair" `S.of_` S "adjacent interslice boundaries")
(sup (subX (vec cF)) lNorm) Real newton

watForceSum = uc' "F_x^H" (cn "sums of the interslice normal water forces")
(S "the sums of the normal water forces acting on each pair of adjacent interslice boundaries")
(S "the sums" `S.ofThe` S "normal water forces acting on each pair" `S.of_` S "adjacent interslice boundaries")
(sup (subX (vec cF)) lNormWat) Real newton

sliceHghtRight = uc' "h^R" (cn "heights of the right side of slices")
(S "the heights of the right side of each slice, assuming slice surfaces have negative slope")
(S "the heights" `S.ofThe` S "right side" `S.of_` S "each slice" `sC` S "assuming slice surfaces have negative slope")
(sup (vec lH) lRight) (Vect Real) metre

sliceHghtLeft = uc' "h^L" (cn "heights of the left side of slices")
(S "the heights of the left side of each slice, assuming slice surfaces have negative slope")
(S "the heights" `S.ofThe` S "left side" `S.of_` S "each slice" `sC` S "assuming slice surfaces have negative slope")
(sup (vec lH) lLeft) (Vect Real) metre

totNormStress = uc' "sigma" (cn' "total normal stress")
(S "the total force per area acting on the soil mass") lSigma Real pascal
(S "the total force per area acting" `S.onThe` S "soil mass") lSigma Real pascal

tangStress = uc' "tau" (cn' "tangential stress")
(S "the shear force per unit area") lTau Real pascal
Expand All @@ -423,15 +423,15 @@ effNormStress = uc' "sigmaN'" (nounPhraseSP "effective normal stress")
(prime $ sub lSigma cN) Real pascal

dryVol = uc' "V_dry" (cn "volumes of dry soil")
(S "the amount of space occupied by dry soil for each slice")
(S "the amount" `S.of_` S "space occupied by dry soil" `S.for` S "each slice")
(sub (vec cV) lDry) Real m_3

satVol = uc' "V_sat" (cn "volumes of saturated soil")
(S "the amount of space occupied by saturated soil for each slice")
(S "the amount" `S.of_` S "space occupied by saturated soil" `S.for` S "each slice")
(sub (vec cV) lSat) Real m_3

rotForce = uc' "F_rot" (cn "force causing rotation")
(S "a force in the direction of rotation") (sub cF lRot) Real newton
(S "a force" `S.inThe` S "direction" `S.of_` S "rotation") (sub cF lRot) Real newton

momntArm = uc' "r" (cn' "length of the moment arm")
(S "the distance between a force causing rotation and the axis of rotation")
Expand Down Expand Up @@ -460,7 +460,7 @@ normToShear = dqd' (dcc "lambda" (nounPhraseSP "proportionality constant")
scalFunc = dqd' (dccWDS "f_i"
(nounPhraseSP "interslice normal to shear force ratio variation function")
(S "a function" `S.of_` phraseNP (distance `inThe` xDir) +:+
S "that describes the variation of the interslice normal to shear ratio"))
S "that describes the variation" `S.ofThe` S "interslice normal to shear ratio"))
(const (vec lF)) Real Nothing

-- As we're going to subtract from this, can't type it 'Natural'.
Expand Down