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