module Language.Drasil.Chunk.Concept.NamedCombinators (
the, theGen,
a_, a_Gen,
and_, and_PS, and_PP, and_TGen, and_Gen,
andIts, andThe,
of_, of_NINP, of_PSNPNI, of_PS, ofA, ofAPS, ofThe, ofThePS,
the_ofThe, the_ofThePS, onThe, onThePS, onThePP,
inThe, inThePS, inThePP, isThe, toThe,
for, forTGen,
in_, in_PS, inA,
is, with,
compoundNC, compoundNCPP, compoundNCGen,
compoundNCPS, compoundNCPSPP, compoundNCGenP,
combineNINP, combineNPNI, combineNINI) where
import Language.Drasil.Chunk.NamedIdea ( NamedChunk, ncUID )
import Language.Drasil.Classes ( Idea, NamedIdea(..) )
import Language.Drasil.Development.Sentence ( phrase, plural )
import Language.Drasil.NounPhrase
( NP,
CapitalizationRule(CapWords, Replace, CapFirst),
NounPhrase(phraseNP, pluralNP),
nounPhrase'',
compoundPhrase,
compoundPhrase'',
compoundPhrase''' )
import Language.Drasil.Sentence ( Sentence(S), (+:+) )
import Language.Drasil.UID ( (+++!) )
import qualified Language.Drasil.NounPhrase as D
( NounPhrase(pluralNP, phraseNP) )
import Control.Lens ((^.))
import qualified Language.Drasil.Sentence.Combinators as S (and_, andIts, andThe, of_, ofA,
ofThe, the_ofThe, onThe, for, inThe, in_, is, toThe, isThe)
and_ :: (NamedIdea c, NamedIdea d) => c -> d -> NP
and_ :: c -> d -> NP
and_ t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.and_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.and_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
and_PS :: (NamedIdea c, NamedIdea d) => c -> d -> NP
and_PS :: c -> d -> NP
and_PS t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.and_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.and_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
and_PP :: (NamedIdea c, NamedIdea d) => c -> d -> NP
and_PP :: c -> d -> NP
and_PP t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.and_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.and_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
and_Gen :: (c -> Sentence) -> (d -> Sentence) -> c -> d -> NP
and_Gen :: (c -> Sentence) -> (d -> Sentence) -> c -> d -> NP
and_Gen f1 :: c -> Sentence
f1 f2 :: d -> Sentence
f2 t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
f1 c
t1 Sentence -> Sentence -> Sentence
`S.and_` d -> Sentence
f2 d
t2)
(c -> Sentence
f1 c
t1 Sentence -> Sentence -> Sentence
`S.and_` d -> Sentence
f2 d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
and_TGen :: (NamedIdea c, NamedIdea d) =>
(c -> Sentence) -> (d -> Sentence) -> c -> d -> NP
and_TGen :: (c -> Sentence) -> (d -> Sentence) -> c -> d -> NP
and_TGen f1 :: c -> Sentence
f1 f2 :: d -> Sentence
f2 t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.and_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.and_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
(Sentence -> CapitalizationRule
Replace (c -> Sentence
f1 c
t1 Sentence -> Sentence -> Sentence
`S.and_` d -> Sentence
f2 d
t2))
andIts :: (NamedIdea c, NamedIdea d) => c -> d -> NP
andIts :: c -> d -> NP
andIts t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.andIts` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.andIts` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
andThe :: (NamedIdea c, NamedIdea d) => c -> d -> NP
andThe :: c -> d -> NP
andThe t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.andThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.andThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
with :: (NamedIdea c, NamedIdea d) => c -> d -> NP
with :: c -> d -> NP
with t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
+:+ String -> Sentence
S "with" Sentence -> Sentence -> Sentence
+:+ d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
+:+ String -> Sentence
S "with" Sentence -> Sentence -> Sentence
+:+ d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
of_ :: (NamedIdea c, NamedIdea d) => c -> d -> NP
of_ :: c -> d -> NP
of_ t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.of_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.of_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
of_NINP :: (NamedIdea c, NounPhrase d) => c -> d -> NP
of_NINP :: c -> d -> NP
of_NINP t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.of_` d -> Sentence
forall n. NounPhrase n => n -> Sentence
phraseNP d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.of_` d -> Sentence
forall n. NounPhrase n => n -> Sentence
pluralNP d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
of_PSNPNI :: (NounPhrase c, NamedIdea d) => c -> d -> NP
of_PSNPNI :: c -> d -> NP
of_PSNPNI t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. NounPhrase n => n -> Sentence
phraseNP c
t1 Sentence -> Sentence -> Sentence
`S.of_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. NounPhrase n => n -> Sentence
pluralNP c
t1 Sentence -> Sentence -> Sentence
`S.of_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
of_PS :: (NamedIdea c, NamedIdea d) => c -> d -> NP
of_PS :: c -> d -> NP
of_PS t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.of_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.of_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
ofA :: (NamedIdea c, NamedIdea d) => c -> d -> NP
ofA :: c -> d -> NP
ofA t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.ofA` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.ofA` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
ofAPS :: (NamedIdea c, NamedIdea d) => c -> d -> NP
ofAPS :: c -> d -> NP
ofAPS t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.ofA` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.ofA` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
ofThe :: (NamedIdea c, NamedIdea d) => c -> d -> NP
ofThe :: c -> d -> NP
ofThe t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.ofThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.ofThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
ofThePS :: (NamedIdea c, NamedIdea d) => c -> d -> NP
ofThePS :: c -> d -> NP
ofThePS t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.ofThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.ofThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
the_ofThe :: (NamedIdea c, NamedIdea d) => c -> d -> NP
the_ofThe :: c -> d -> NP
the_ofThe t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.the_ofThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.the_ofThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
the_ofThePS :: (NamedIdea c, NamedIdea d) => c -> d -> NP
the_ofThePS :: c -> d -> NP
the_ofThePS t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.the_ofThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.the_ofThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
onThe :: (NamedIdea c, NamedIdea d) => c -> d -> NP
onThe :: c -> d -> NP
onThe t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.onThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.onThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
onThePS :: (NamedIdea c, NamedIdea d) => c -> d -> NP
onThePS :: c -> d -> NP
onThePS t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.onThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.onThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
onThePP :: (NamedIdea c, NamedIdea d) => c -> d -> NP
onThePP :: c -> d -> NP
onThePP t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.onThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.onThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
inThe :: (NamedIdea c, NamedIdea d) => c -> d -> NP
inThe :: c -> d -> NP
inThe t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.inThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.inThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
inThePS :: (NamedIdea c, NamedIdea d) => c -> d -> NP
inThePS :: c -> d -> NP
inThePS t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.inThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.inThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
inThePP :: (NamedIdea c, NamedIdea d) => c -> d -> NP
inThePP :: c -> d -> NP
inThePP t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.inThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.inThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
isThe :: (NamedIdea c, NamedIdea d) => c -> d -> NP
isThe :: c -> d -> NP
isThe t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.isThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.isThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
toThe :: (NamedIdea c, NamedIdea d) => c -> d -> NP
toThe :: c -> d -> NP
toThe t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.toThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.toThe` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
for :: (NamedIdea c, NamedIdea d) => c -> d -> NP
for :: c -> d -> NP
for t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.for` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.for` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
forTGen :: (NamedIdea c, Idea d) => (c -> Sentence) -> (d -> Sentence) -> c -> d -> NP
forTGen :: (c -> Sentence) -> (d -> Sentence) -> c -> d -> NP
forTGen f1 :: c -> Sentence
f1 f2 :: d -> Sentence
f2 t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.for` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.for` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
CapitalizationRule
CapFirst
(Sentence -> CapitalizationRule
Replace (c -> Sentence
f1 c
t1 Sentence -> Sentence -> Sentence
`S.for` d -> Sentence
f2 d
t2))
in_ :: (NamedIdea c, NamedIdea d) => c -> d -> NP
in_ :: c -> d -> NP
in_ t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.in_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.in_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
in_PS :: (NamedIdea c, NamedIdea d) => c -> d -> NP
in_PS :: c -> d -> NP
in_PS t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.in_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t1 Sentence -> Sentence -> Sentence
`S.in_` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
inA :: (NamedIdea c, NamedIdea d) => c -> d -> NP
inA :: c -> d -> NP
inA t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
+:+ String -> Sentence
S "in a" Sentence -> Sentence -> Sentence
+:+ d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
+:+ String -> Sentence
S "in a" Sentence -> Sentence -> Sentence
+:+ d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
is :: (NamedIdea c, NamedIdea d) => c -> d -> NP
is :: c -> d -> NP
is t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase''
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.is` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2)
(c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
`S.is` d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2)
CapitalizationRule
CapFirst
CapitalizationRule
CapWords
the :: (NamedIdea t) => t -> NP
the :: t -> NP
the t :: t
t = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase'' (String -> Sentence
S "the" Sentence -> Sentence -> Sentence
+:+ t -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase t
t) (String -> Sentence
S "the" Sentence -> Sentence -> Sentence
+:+ t -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural t
t) CapitalizationRule
CapFirst CapitalizationRule
CapWords
theGen :: (t -> Sentence) -> t -> NP
theGen :: (t -> Sentence) -> t -> NP
theGen f :: t -> Sentence
f t :: t
t = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase'' (String -> Sentence
S "the" Sentence -> Sentence -> Sentence
+:+ t -> Sentence
f t
t) (String -> Sentence
S "the" Sentence -> Sentence -> Sentence
+:+ t -> Sentence
f t
t) CapitalizationRule
CapFirst CapitalizationRule
CapWords
a_ :: (NamedIdea c) => c -> NP
a_ :: c -> NP
a_ t :: c
t = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase'' (String -> Sentence
S "a" Sentence -> Sentence -> Sentence
+:+ c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t) (String -> Sentence
S "a" Sentence -> Sentence -> Sentence
+:+ c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t) CapitalizationRule
CapFirst CapitalizationRule
CapWords
a_Gen :: (c -> Sentence) -> c -> NP
a_Gen :: (c -> Sentence) -> c -> NP
a_Gen f :: c -> Sentence
f t :: c
t = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase'' (String -> Sentence
S "a" Sentence -> Sentence -> Sentence
+:+ c -> Sentence
f c
t) (String -> Sentence
S "a" Sentence -> Sentence -> Sentence
+:+ c -> Sentence
f c
t) CapitalizationRule
CapFirst CapitalizationRule
CapWords
compoundNC :: (NamedIdea a, NamedIdea b) => a -> b -> NamedChunk
compoundNC :: a -> b -> NamedChunk
compoundNC t1 :: a
t1 t2 :: b
t2 = UID -> NP -> NamedChunk
ncUID
(a
t1 a -> b -> UID
forall a b. (HasUID a, HasUID b) => a -> b -> UID
+++! b
t2) (NP -> NP -> NP
forall a b. (NounPhrase a, NounPhrase b) => a -> b -> NP
compoundPhrase (a
t1 a -> Getting NP a NP -> NP
forall s a. s -> Getting a s a -> a
^. Getting NP a NP
forall c. NamedIdea c => Lens' c NP
term) (b
t2 b -> Getting NP b NP -> NP
forall s a. s -> Getting a s a -> a
^. Getting NP b NP
forall c. NamedIdea c => Lens' c NP
term))
compoundNCPP :: (NamedIdea a, NamedIdea b) => a -> b -> NamedChunk
compoundNCPP :: a -> b -> NamedChunk
compoundNCPP t1 :: a
t1 t2 :: b
t2 = UID -> NP -> NamedChunk
ncUID
(a
t1 a -> b -> UID
forall a b. (HasUID a, HasUID b) => a -> b -> UID
+++! b
t2) ((NP -> Sentence) -> (NP -> Sentence) -> NP -> NP -> NP
compoundPhrase'' NP -> Sentence
forall n. NounPhrase n => n -> Sentence
D.pluralNP NP -> Sentence
forall n. NounPhrase n => n -> Sentence
D.pluralNP (a
t1 a -> Getting NP a NP -> NP
forall s a. s -> Getting a s a -> a
^. Getting NP a NP
forall c. NamedIdea c => Lens' c NP
term) (b
t2 b -> Getting NP b NP -> NP
forall s a. s -> Getting a s a -> a
^. Getting NP b NP
forall c. NamedIdea c => Lens' c NP
term))
compoundNCGen :: (NamedIdea a, NamedIdea b) =>
(NP -> Sentence) -> (NP -> Sentence) -> a -> b -> NamedChunk
compoundNCGen :: (NP -> Sentence) -> (NP -> Sentence) -> a -> b -> NamedChunk
compoundNCGen f1 :: NP -> Sentence
f1 f2 :: NP -> Sentence
f2 t1 :: a
t1 t2 :: b
t2 = UID -> NP -> NamedChunk
ncUID
(a
t1 a -> b -> UID
forall a b. (HasUID a, HasUID b) => a -> b -> UID
+++! b
t2)
((NP -> Sentence) -> (NP -> Sentence) -> NP -> NP -> NP
compoundPhrase'' NP -> Sentence
f1 NP -> Sentence
f2 (a
t1 a -> Getting NP a NP -> NP
forall s a. s -> Getting a s a -> a
^. Getting NP a NP
forall c. NamedIdea c => Lens' c NP
term) (b
t2 b -> Getting NP b NP -> NP
forall s a. s -> Getting a s a -> a
^. Getting NP b NP
forall c. NamedIdea c => Lens' c NP
term))
compoundNCPS :: NamedChunk -> NamedChunk -> NamedChunk
compoundNCPS :: NamedChunk -> NamedChunk -> NamedChunk
compoundNCPS = (NP -> Sentence)
-> (NP -> Sentence) -> NamedChunk -> NamedChunk -> NamedChunk
forall a b.
(NamedIdea a, NamedIdea b) =>
(NP -> Sentence) -> (NP -> Sentence) -> a -> b -> NamedChunk
compoundNCGen NP -> Sentence
forall n. NounPhrase n => n -> Sentence
D.pluralNP NP -> Sentence
forall n. NounPhrase n => n -> Sentence
D.phraseNP
compoundNCGenP :: (NamedIdea a, NamedIdea b) => (NP -> Sentence) -> a -> b -> NamedChunk
compoundNCGenP :: (NP -> Sentence) -> a -> b -> NamedChunk
compoundNCGenP f1 :: NP -> Sentence
f1 t1 :: a
t1 t2 :: b
t2 = UID -> NP -> NamedChunk
ncUID
(a
t1 a -> b -> UID
forall a b. (HasUID a, HasUID b) => a -> b -> UID
+++! b
t2) ((NP -> Sentence) -> NP -> NP -> NP
compoundPhrase''' NP -> Sentence
f1 (a
t1 a -> Getting NP a NP -> NP
forall s a. s -> Getting a s a -> a
^. Getting NP a NP
forall c. NamedIdea c => Lens' c NP
term) (b
t2 b -> Getting NP b NP -> NP
forall s a. s -> Getting a s a -> a
^. Getting NP b NP
forall c. NamedIdea c => Lens' c NP
term))
compoundNCPSPP :: NamedChunk -> NamedChunk -> NamedChunk
compoundNCPSPP :: NamedChunk -> NamedChunk -> NamedChunk
compoundNCPSPP = (NP -> Sentence) -> NamedChunk -> NamedChunk -> NamedChunk
forall a b.
(NamedIdea a, NamedIdea b) =>
(NP -> Sentence) -> a -> b -> NamedChunk
compoundNCGenP NP -> Sentence
forall n. NounPhrase n => n -> Sentence
D.pluralNP
combineNINP :: (NamedIdea c) => c -> NP -> NP
combineNINP :: c -> NP -> NP
combineNINP t1 :: c
t1 t2 :: NP
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase'' (c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
+:+ NP -> Sentence
forall n. NounPhrase n => n -> Sentence
phraseNP NP
t2) (c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
+:+ NP -> Sentence
forall n. NounPhrase n => n -> Sentence
pluralNP NP
t2) CapitalizationRule
CapFirst CapitalizationRule
CapWords
combineNPNI :: (NamedIdea c) => NP -> c -> NP
combineNPNI :: NP -> c -> NP
combineNPNI t1 :: NP
t1 t2 :: c
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase'' (NP -> Sentence
forall n. NounPhrase n => n -> Sentence
phraseNP NP
t1 Sentence -> Sentence -> Sentence
+:+ c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t2) (NP -> Sentence
forall n. NounPhrase n => n -> Sentence
phraseNP NP
t1 Sentence -> Sentence -> Sentence
+:+ c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural c
t2) CapitalizationRule
CapFirst CapitalizationRule
CapWords
combineNINI :: (NamedIdea c, NamedIdea d) => c -> d -> NP
combineNINI :: c -> d -> NP
combineNINI t1 :: c
t1 t2 :: d
t2 = Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase'' (c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
+:+ d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase d
t2) (c -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase c
t1 Sentence -> Sentence -> Sentence
+:+ d -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
plural d
t2) CapitalizationRule
CapFirst CapitalizationRule
CapWords