module Drasil.Projectile.Goals (goals) where import Language.Drasil import Data.Drasil.Concepts.Documentation (goalStmtDom) import Drasil.Projectile.Concepts (projectile, target) goals :: [ConceptInstance] goals :: [ConceptInstance] goals = [ConceptInstance targetHit] targetHit :: ConceptInstance targetHit :: ConceptInstance targetHit = forall c. Concept c => String -> Sentence -> String -> c -> ConceptInstance cic String "targetHit" (String -> Sentence S String "Determine if the" Sentence -> Sentence -> Sentence +:+ forall n. NamedIdea n => n -> Sentence phrase ConceptChunk projectile Sentence -> Sentence -> Sentence +:+ String -> Sentence S String "hits the" Sentence -> Sentence -> Sentence +:+. forall n. NamedIdea n => n -> Sentence phrase ConceptChunk target) String "targetHit" ConceptChunk goalStmtDom