Safe Haskell	Safe
Language	Haskell98

ACE.Types.Syntax

Description

Types for the syntax tree.

Synopsis

data Specification = Specification !SentenceCoord !(Maybe Specification)
data SentenceCoord = SentenceCoord !SentenceCoord_1 !(Maybe SentenceCoord)
data SentenceCoord_1 = SentenceCoord_1 !SentenceCoord_2 !(Maybe SentenceCoord_1)
data SentenceCoord_2 = SentenceCoord_2 !SentenceCoord_3 !(Maybe SentenceCoord_2)
data SentenceCoord_3 = SentenceCoord_3 !TopicalizedSentence !(Maybe SentenceCoord_3)
data TopicalizedSentence
- = TopicalizedSentenceExistential !ExistentialTopic !(Maybe SentenceCoord)
- | TopicalizedSentenceUniversal !UniversalTopic !SentenceCoord
- | TopicalizedSentenceComposite !CompositeSentence
data UniversalTopic = UniversalTopic !UniversalGlobalQuantor !N'
data CompositeSentence
- = CompositeSentenceCond !ConditionalSentence
- | CompositeSentenceNeg !NegatedSentence
- | CompositeSentence !Sentence
data ConditionalSentence = ConditionalSentence !SentenceCoord !SentenceCoord
data NegatedSentence = NegatedSentence !SentenceCoord
data Sentence = Sentence !NPCoord !VPCoord
data ExistentialTopic = ExistentialTopic !ExistentialGlobalQuantor !NPCoord
data NPCoord
- = NPCoordDistributed !DistributiveMarker !UnmarkedNPCoord
- | NPCoordUnmarked !UnmarkedNPCoord
data UnmarkedNPCoord = UnmarkedNPCoord !NP !(Maybe UnmarkedNPCoord)
data N' = N' !(Maybe AdjectiveCoord) !N !(Maybe ApposCoord) !(Maybe NPCoord) !(Maybe RelativeClauseCoord)
data NP
- = NP !Specifier !N'
- | NPPro !Pronoun
- | NPProper !ProperName
- | NPVar !Variable
data N = N !Text
data PP = PP !Preposition !NPCoord
data Preposition = Preposition !Text
data ApposCoord = ApposCoord !Apposition !(Maybe ApposCoord)
data Apposition
- = AppositionVar !Variable
- | AppositionQuote !Quotation
data Quotation = Quotation !Text
data Variable = Variable !Text
data RelativeClauseCoord = RelativeClauseCoord !RelativeClause !(Maybe (Coord, RelativeClauseCoord))
data PossessiveNPCoord
- = PossessiveNPCoordGen !GenitiveNPCoord
- | PossessiveNPCoordPronoun !PossessivePronounCoord
data GenitiveNPCoord
- = GenitiveNPCoord !GenitiveSpecifier !GenitiveN' !GenitiveTail
- | GenitiveNPCoordName !ProperName !GenitiveTail
data ProperName = ProperName !Text
data PossessivePronounCoord = PossessivePronounCoord !PossessivePronoun !(Maybe PossessivePronounCoord)
data GenitiveTail
- = GenitiveTailSaxonTail !SaxonGenitiveTail
- | GenitiveTailCoordtail !GenitiveCoordTail
data GenitiveCoordTail = GenitiveCoordTail !GenitiveNPCoord
data SaxonGenitiveTail = SaxonGenitiveTail !SaxonGenitiveMarker !(Maybe (GenitiveN', SaxonGenitiveTail))
data RelativeClause
- = RelativeClauseThat !VPCoord
- | RelativeClauseNP !NPCoord !VPCoord
- | RelativeClauseThatNPVP !NPCoord !VPCoord
- | RelativeClauseNPVP !NPCoord !NPCoord !VPCoord
- | RelativeClausePP !PP !NPCoord !VPCoord
data VPCoord
- = VPCoord' !VP !Coord !VPCoord
- | VPCoordVP !VP
data GenitiveSpecifier
- = GenitiveSpecifierD !Determiner
- | GenitiveSpecifierPPC !PossessivePronounCoord
- | GenitiveSpecifierN !Integer
data GenitiveN' = GenitiveN' !(Maybe AdjectiveCoord) !N !(Maybe ApposCoord)
data VP
- = VP !V'
- | VPNeg !Copula !V'
data V' = V' !(Maybe AdverbCoord) !ComplV ![VModifier]
data AdverbCoord = AdverbCoord !Adverb !(Maybe AdverbCoord)
data ComplV
- = ComplVIV !IntransitiveV
- | ComplVPI !PhrasalIntransitiveV !PhrasalParticle
- | ComplVTV !TransitiveV !Compl
- | ComplVPV !PhrasalTransitiveV !PhrasalParticle !Compl
- | ComplVPV' !PhrasalTransitiveV !Compl !PhrasalParticle
- | ComplVDisV !DistransitiveV !Compl !Compl
- | ComplVPDV !PhrasalDistransitiveV !Compl !PhrasalParticle !Compl
- | ComplVCopula !Copula !CopulaCompl
data PhrasalTransitiveV = PhrasalTransitiveV !Text
data PhrasalDistransitiveV = PhrasalDistransitiveV !Text
data CopulaCompl
- = CopulaComplAPC !APCoord
- | CopulaComplNPC !NPCoord
- | CopulaComplPP !PP
data APCoord
- = APCoordAnd !APgrad !APCoord
- | APCoord !APgrad
data APgrad
- = APgradAPThan !AP !NPCoord
- | APgradAP !AP
data AP
- = APIntrans !IntransitiveAdjective
- | APTrans !TransitiveAdjective !PP
data TransitiveAdjective = TransitiveAdjective !Text
data Compl
- = ComplNP !NPCoord
- | ComplPP !PP
data PhrasalIntransitiveV = PhrasalIntransitiveV !Text
data PhrasalParticle = PhrasalParticle !Text
data IntransitiveV = IntransitiveV !Text
data TransitiveV = TransitiveV !Text
data DistransitiveV = DistransitiveV !Text
data IntransitiveAdjective = IntransitiveAdjective !Text
data VModifier
- = VModifierVC !AdverbCoord
- | VModifierPP !PP
- | VModifierAVPP !AdverbialPP
data AdverbialPP = AdverbialPP !Preposition !AdverbCoord
data Adverb = Adverb !Text
data Specifier
- = SpecifyDeterminer !Determiner
- | SpecifyPossessive !PossessiveNPCoord
- | SpecifyNumberP !NumberP
data AdjectiveCoord = AdjectiveCoord !IntransitiveAdjective !(Maybe AdjectiveCoord)
data NumberP = NumberP !(Maybe GeneralizedQuantor) !Integer
data ExistentialGlobalQuantor = ExistentialGlobalQuantor !Copula
data ExistentialGlobalQuestionQuantor = ExistentialGlobalQuestionQuantor !Copula
data Aux
- = Do
- | Does
data Coord
- = And
- | Or
data Copula
- = Is
- | Are
data Determiner
- = The
- | A
- | An
- | Some
- | No
- | EveryEach
- | All
- | NotEvery
- | NotEach
- | NotAll
- | Which
data DistributiveGlobalQuantor = ForEachOf
data DistributiveMarker = EachOf
data GeneralizedQuantor
- = AtMost
- | AtLeast
- | MoreThan
- | LessThan
- | NotMoreThan
- | NotLessThan
data PossessivePronoun
- = His
- | Her
- | HisHer
- | Its
- | Their
- | HisHerOwn
- | ItsOwn
- | TheirOwn
- | Whose
data Pronoun
- = It
- | He
- | She
- | HeShe
- | Him
- | HerP
- | HimHer
- | They
- | Them
- | Itself
- | Himself
- | Herself
- | HimselfHerself
- | Themselves
- | Someone
- | Somebody
- | Something
- | NoOne
- | Nobody
- | NoThing
- | Everyone
- | Everybody
- | Everything
- | NotEveryone
- | NotEverybody
- | NotEverything
- | What
- | Who
- | Whom
- | WhichP
data SaxonGenitiveMarker
- = Apostrophe
- | ApostropheS
data UniversalGlobalQuantor
- = ForEvery
- | ForEach
- | ForAll

Documentation

data Specification #

Specifications consist of a sentence coordination followed by a period and optionally one ore more subsequent specifications.

Constructors

Specification !SentenceCoord !(Maybe Specification)

Instances

Eq Specification #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Specification -> Specification -> Bool # (/=) :: Specification -> Specification -> Bool #
Show Specification #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Specification -> ShowS # show :: Specification -> String # showList :: [Specification] -> ShowS #
ToMarkup Specification #
Instance details Defined in ACE.Html Methods toMarkup :: Specification -> Markup # preEscapedToMarkup :: Specification -> Markup #
Pretty Specification #
Instance details Defined in ACE.Pretty Methods pretty :: Specification -> Builder #

data SentenceCoord #

Sentences can be coordinated by and and or. And refers to the logical conjunction, while or de-notes the logical disjunction. The logical conjunction has a higher precedence than the disjunction.

Both connectors are right-associative. The expression

A or B and C or D

is therefore ordered like

A ∨ ((B ∧ C) ∨ D)

To enable more combinations, we have introduced comma-and and comma-or. These expressions reverse the order of precedence. To achieve the order

A ∨ (B ∧ (C ∨ D))

we can write

A, or B, and C or D

A sentence coordination in general consists of a sentence coordination of a lower level (thus ensuring right-associativity) optionally followed by the respective connector and a sentence coordination of the same level.

Constructors

SentenceCoord !SentenceCoord_1 !(Maybe SentenceCoord)

Instances

Eq SentenceCoord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: SentenceCoord -> SentenceCoord -> Bool # (/=) :: SentenceCoord -> SentenceCoord -> Bool #
Show SentenceCoord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> SentenceCoord -> ShowS # show :: SentenceCoord -> String # showList :: [SentenceCoord] -> ShowS #
ToMarkup SentenceCoord #
Instance details Defined in ACE.Html Methods toMarkup :: SentenceCoord -> Markup # preEscapedToMarkup :: SentenceCoord -> Markup #
Pretty SentenceCoord #
Instance details Defined in ACE.Pretty Methods pretty :: SentenceCoord -> Builder #

data SentenceCoord_1 #

Constructors

SentenceCoord_1 !SentenceCoord_2 !(Maybe SentenceCoord_1)

Instances

Eq SentenceCoord_1 #
Instance details Defined in ACE.Types.Syntax Methods (==) :: SentenceCoord_1 -> SentenceCoord_1 -> Bool # (/=) :: SentenceCoord_1 -> SentenceCoord_1 -> Bool #
Show SentenceCoord_1 #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> SentenceCoord_1 -> ShowS # show :: SentenceCoord_1 -> String # showList :: [SentenceCoord_1] -> ShowS #
ToMarkup SentenceCoord_1 #
Instance details Defined in ACE.Html Methods toMarkup :: SentenceCoord_1 -> Markup # preEscapedToMarkup :: SentenceCoord_1 -> Markup #
Pretty SentenceCoord_1 #
Instance details Defined in ACE.Pretty Methods pretty :: SentenceCoord_1 -> Builder #

data SentenceCoord_2 #

Constructors

SentenceCoord_2 !SentenceCoord_3 !(Maybe SentenceCoord_2)

Instances

Eq SentenceCoord_2 #
Instance details Defined in ACE.Types.Syntax Methods (==) :: SentenceCoord_2 -> SentenceCoord_2 -> Bool # (/=) :: SentenceCoord_2 -> SentenceCoord_2 -> Bool #
Show SentenceCoord_2 #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> SentenceCoord_2 -> ShowS # show :: SentenceCoord_2 -> String # showList :: [SentenceCoord_2] -> ShowS #
ToMarkup SentenceCoord_2 #
Instance details Defined in ACE.Html Methods toMarkup :: SentenceCoord_2 -> Markup # preEscapedToMarkup :: SentenceCoord_2 -> Markup #
Pretty SentenceCoord_2 #
Instance details Defined in ACE.Pretty Methods pretty :: SentenceCoord_2 -> Builder #

data SentenceCoord_3 #

Constructors

SentenceCoord_3 !TopicalizedSentence !(Maybe SentenceCoord_3)

Instances

Eq SentenceCoord_3 #
Instance details Defined in ACE.Types.Syntax Methods (==) :: SentenceCoord_3 -> SentenceCoord_3 -> Bool # (/=) :: SentenceCoord_3 -> SentenceCoord_3 -> Bool #
Show SentenceCoord_3 #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> SentenceCoord_3 -> ShowS # show :: SentenceCoord_3 -> String # showList :: [SentenceCoord_3] -> ShowS #
ToMarkup SentenceCoord_3 #
Instance details Defined in ACE.Html Methods toMarkup :: SentenceCoord_3 -> Markup # preEscapedToMarkup :: SentenceCoord_3 -> Markup #
Pretty SentenceCoord_3 #
Instance details Defined in ACE.Pretty Methods pretty :: SentenceCoord_3 -> Builder #

data TopicalizedSentence #

A topicalized sentence can start with an existential topic or a universal topic. It needs, however, not be topicalized at all but can just be an ordinary composite sentence.

Constructors

TopicalizedSentenceExistential !ExistentialTopic !(Maybe SentenceCoord)	Example: "There is a card such that the code of the card is valid."
TopicalizedSentenceUniversal !UniversalTopic !SentenceCoord	Example: "For every code there is a card such that the code belongs to it."
TopicalizedSentenceComposite !CompositeSentence	Example: "Homer is a man."

Instances

Eq TopicalizedSentence #
Instance details Defined in ACE.Types.Syntax Methods (==) :: TopicalizedSentence -> TopicalizedSentence -> Bool # (/=) :: TopicalizedSentence -> TopicalizedSentence -> Bool #
Show TopicalizedSentence #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> TopicalizedSentence -> ShowS # show :: TopicalizedSentence -> String # showList :: [TopicalizedSentence] -> ShowS #
ToMarkup TopicalizedSentence #
Instance details Defined in ACE.Html Methods toMarkup :: TopicalizedSentence -> Markup # preEscapedToMarkup :: TopicalizedSentence -> Markup #
Pretty TopicalizedSentence #
Instance details Defined in ACE.Pretty Methods pretty :: TopicalizedSentence -> Builder #

data UniversalTopic #

Constructors

UniversalTopic !UniversalGlobalQuantor !N'

Instances

Eq UniversalTopic #
Instance details Defined in ACE.Types.Syntax Methods (==) :: UniversalTopic -> UniversalTopic -> Bool # (/=) :: UniversalTopic -> UniversalTopic -> Bool #
Show UniversalTopic #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> UniversalTopic -> ShowS # show :: UniversalTopic -> String # showList :: [UniversalTopic] -> ShowS #
ToMarkup UniversalTopic #
Instance details Defined in ACE.Html Methods toMarkup :: UniversalTopic -> Markup # preEscapedToMarkup :: UniversalTopic -> Markup #
Pretty UniversalTopic #
Instance details Defined in ACE.Pretty Methods pretty :: UniversalTopic -> Builder #

data CompositeSentence #

Constructors

CompositeSentenceCond !ConditionalSentence
CompositeSentenceNeg !NegatedSentence
CompositeSentence !Sentence

Instances

Eq CompositeSentence #
Instance details Defined in ACE.Types.Syntax Methods (==) :: CompositeSentence -> CompositeSentence -> Bool # (/=) :: CompositeSentence -> CompositeSentence -> Bool #
Show CompositeSentence #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> CompositeSentence -> ShowS # show :: CompositeSentence -> String # showList :: [CompositeSentence] -> ShowS #
ToMarkup CompositeSentence #
Instance details Defined in ACE.Html Methods toMarkup :: CompositeSentence -> Markup # preEscapedToMarkup :: CompositeSentence -> Markup #
Pretty CompositeSentence #
Instance details Defined in ACE.Pretty Methods pretty :: CompositeSentence -> Builder #

data ConditionalSentence #

Constructors

ConditionalSentence !SentenceCoord !SentenceCoord

Instances

Eq ConditionalSentence #
Instance details Defined in ACE.Types.Syntax Methods (==) :: ConditionalSentence -> ConditionalSentence -> Bool # (/=) :: ConditionalSentence -> ConditionalSentence -> Bool #
Show ConditionalSentence #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> ConditionalSentence -> ShowS # show :: ConditionalSentence -> String # showList :: [ConditionalSentence] -> ShowS #
ToMarkup ConditionalSentence #
Instance details Defined in ACE.Html Methods toMarkup :: ConditionalSentence -> Markup # preEscapedToMarkup :: ConditionalSentence -> Markup #
Pretty ConditionalSentence #
Instance details Defined in ACE.Pretty Methods pretty :: ConditionalSentence -> Builder #

data NegatedSentence #

Constructors

NegatedSentence !SentenceCoord

Instances

Eq NegatedSentence #
Instance details Defined in ACE.Types.Syntax Methods (==) :: NegatedSentence -> NegatedSentence -> Bool # (/=) :: NegatedSentence -> NegatedSentence -> Bool #
Show NegatedSentence #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> NegatedSentence -> ShowS # show :: NegatedSentence -> String # showList :: [NegatedSentence] -> ShowS #
ToMarkup NegatedSentence #
Instance details Defined in ACE.Html Methods toMarkup :: NegatedSentence -> Markup # preEscapedToMarkup :: NegatedSentence -> Markup #
Pretty NegatedSentence #
Instance details Defined in ACE.Pretty Methods pretty :: NegatedSentence -> Builder #

data Sentence #

Constructors

Sentence !NPCoord !VPCoord

Instances

Eq Sentence #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Sentence -> Sentence -> Bool # (/=) :: Sentence -> Sentence -> Bool #
Show Sentence #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Sentence -> ShowS # show :: Sentence -> String # showList :: [Sentence] -> ShowS #
ToMarkup Sentence #
Instance details Defined in ACE.Html Methods toMarkup :: Sentence -> Markup # preEscapedToMarkup :: Sentence -> Markup #
Pretty Sentence #
Instance details Defined in ACE.Pretty Methods pretty :: Sentence -> Builder #

data ExistentialTopic #

Constructors

ExistentialTopic !ExistentialGlobalQuantor !NPCoord

Instances

Eq ExistentialTopic #
Instance details Defined in ACE.Types.Syntax Methods (==) :: ExistentialTopic -> ExistentialTopic -> Bool # (/=) :: ExistentialTopic -> ExistentialTopic -> Bool #
Show ExistentialTopic #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> ExistentialTopic -> ShowS # show :: ExistentialTopic -> String # showList :: [ExistentialTopic] -> ShowS #
ToMarkup ExistentialTopic #
Instance details Defined in ACE.Html Methods toMarkup :: ExistentialTopic -> Markup # preEscapedToMarkup :: ExistentialTopic -> Markup #
Pretty ExistentialTopic #
Instance details Defined in ACE.Pretty Methods pretty :: ExistentialTopic -> Builder #

data NPCoord #

Constructors

NPCoordDistributed !DistributiveMarker !UnmarkedNPCoord
NPCoordUnmarked !UnmarkedNPCoord

Instances

Eq NPCoord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: NPCoord -> NPCoord -> Bool # (/=) :: NPCoord -> NPCoord -> Bool #
Show NPCoord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> NPCoord -> ShowS # show :: NPCoord -> String # showList :: [NPCoord] -> ShowS #
ToMarkup NPCoord #
Instance details Defined in ACE.Html Methods toMarkup :: NPCoord -> Markup # preEscapedToMarkup :: NPCoord -> Markup #
Pretty NPCoord #
Instance details Defined in ACE.Pretty Methods pretty :: NPCoord -> Builder #

data UnmarkedNPCoord #

Constructors

UnmarkedNPCoord !NP !(Maybe UnmarkedNPCoord)

Instances

Eq UnmarkedNPCoord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: UnmarkedNPCoord -> UnmarkedNPCoord -> Bool # (/=) :: UnmarkedNPCoord -> UnmarkedNPCoord -> Bool #
Show UnmarkedNPCoord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> UnmarkedNPCoord -> ShowS # show :: UnmarkedNPCoord -> String # showList :: [UnmarkedNPCoord] -> ShowS #
ToMarkup UnmarkedNPCoord #
Instance details Defined in ACE.Html Methods toMarkup :: UnmarkedNPCoord -> Markup # preEscapedToMarkup :: UnmarkedNPCoord -> Markup #
Pretty UnmarkedNPCoord #
Instance details Defined in ACE.Pretty Methods pretty :: UnmarkedNPCoord -> Builder #

data N' #

Modified noun.

Constructors

N' !(Maybe AdjectiveCoord) !N !(Maybe ApposCoord) !(Maybe NPCoord) !(Maybe RelativeClauseCoord)

Instances

Eq N' #
Instance details Defined in ACE.Types.Syntax Methods (==) :: N' -> N' -> Bool # (/=) :: N' -> N' -> Bool #
Show N' #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> N' -> ShowS # show :: N' -> String # showList :: [N'] -> ShowS #
ToMarkup N' #
Instance details Defined in ACE.Html Methods toMarkup :: N' -> Markup # preEscapedToMarkup :: N' -> Markup #
Pretty N' #
Instance details Defined in ACE.Pretty Methods pretty :: N' -> Builder #

data NP #

Noun-phrase.

Constructors

NP !Specifier !N'
NPPro !Pronoun
NPProper !ProperName
NPVar !Variable

Instances

Eq NP #
Instance details Defined in ACE.Types.Syntax Methods (==) :: NP -> NP -> Bool # (/=) :: NP -> NP -> Bool #
Show NP #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> NP -> ShowS # show :: NP -> String # showList :: [NP] -> ShowS #
ToMarkup NP #
Instance details Defined in ACE.Html Methods toMarkup :: NP -> Markup # preEscapedToMarkup :: NP -> Markup #
Pretty NP #
Instance details Defined in ACE.Pretty Methods pretty :: NP -> Builder #

data N #

A noun.

Constructors

N !Text

Instances

Eq N #
Instance details Defined in ACE.Types.Syntax Methods (==) :: N -> N -> Bool # (/=) :: N -> N -> Bool #
Show N #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> N -> ShowS # show :: N -> String # showList :: [N] -> ShowS #
ToMarkup N #
Instance details Defined in ACE.Html Methods toMarkup :: N -> Markup # preEscapedToMarkup :: N -> Markup #
Pretty N #
Instance details Defined in ACE.Pretty Methods pretty :: N -> Builder #

data PP #

Constructors

PP !Preposition !NPCoord

Instances

Eq PP #
Instance details Defined in ACE.Types.Syntax Methods (==) :: PP -> PP -> Bool # (/=) :: PP -> PP -> Bool #
Show PP #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> PP -> ShowS # show :: PP -> String # showList :: [PP] -> ShowS #
ToMarkup PP #
Instance details Defined in ACE.Html Methods toMarkup :: PP -> Markup # preEscapedToMarkup :: PP -> Markup #
Pretty PP #
Instance details Defined in ACE.Pretty Methods pretty :: PP -> Builder #

data Preposition #

Constructors

Preposition !Text

Instances

Eq Preposition #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Preposition -> Preposition -> Bool # (/=) :: Preposition -> Preposition -> Bool #
Show Preposition #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Preposition -> ShowS # show :: Preposition -> String # showList :: [Preposition] -> ShowS #
ToMarkup Preposition #
Instance details Defined in ACE.Html Methods toMarkup :: Preposition -> Markup # preEscapedToMarkup :: Preposition -> Markup #
Pretty Preposition #
Instance details Defined in ACE.Pretty Methods pretty :: Preposition -> Builder #

data ApposCoord #

Constructors

ApposCoord !Apposition !(Maybe ApposCoord)

Instances

Eq ApposCoord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: ApposCoord -> ApposCoord -> Bool # (/=) :: ApposCoord -> ApposCoord -> Bool #
Show ApposCoord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> ApposCoord -> ShowS # show :: ApposCoord -> String # showList :: [ApposCoord] -> ShowS #
ToMarkup ApposCoord #
Instance details Defined in ACE.Html Methods toMarkup :: ApposCoord -> Markup # preEscapedToMarkup :: ApposCoord -> Markup #
Pretty ApposCoord #
Instance details Defined in ACE.Pretty Methods pretty :: ApposCoord -> Builder #

data Apposition #

Constructors

AppositionVar !Variable
AppositionQuote !Quotation

Instances

Eq Apposition #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Apposition -> Apposition -> Bool # (/=) :: Apposition -> Apposition -> Bool #
Show Apposition #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Apposition -> ShowS # show :: Apposition -> String # showList :: [Apposition] -> ShowS #
ToMarkup Apposition #
Instance details Defined in ACE.Html Methods toMarkup :: Apposition -> Markup # preEscapedToMarkup :: Apposition -> Markup #
Pretty Apposition #
Instance details Defined in ACE.Pretty Methods pretty :: Apposition -> Builder #

data Quotation #

Constructors

Quotation !Text

Instances

Eq Quotation #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Quotation -> Quotation -> Bool # (/=) :: Quotation -> Quotation -> Bool #
Show Quotation #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Quotation -> ShowS # show :: Quotation -> String # showList :: [Quotation] -> ShowS #
ToMarkup Quotation #
Instance details Defined in ACE.Html Methods toMarkup :: Quotation -> Markup # preEscapedToMarkup :: Quotation -> Markup #
Pretty Quotation #
Instance details Defined in ACE.Pretty Methods pretty :: Quotation -> Builder #

data Variable #

Constructors

Variable !Text

Instances

Eq Variable #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Variable -> Variable -> Bool # (/=) :: Variable -> Variable -> Bool #
Show Variable #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Variable -> ShowS # show :: Variable -> String # showList :: [Variable] -> ShowS #
ToMarkup Variable #
Instance details Defined in ACE.Html Methods toMarkup :: Variable -> Markup # preEscapedToMarkup :: Variable -> Markup #
Pretty Variable #
Instance details Defined in ACE.Pretty Methods pretty :: Variable -> Builder #

data RelativeClauseCoord #

Constructors

RelativeClauseCoord !RelativeClause !(Maybe (Coord, RelativeClauseCoord))

Instances

Eq RelativeClauseCoord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: RelativeClauseCoord -> RelativeClauseCoord -> Bool # (/=) :: RelativeClauseCoord -> RelativeClauseCoord -> Bool #
Show RelativeClauseCoord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> RelativeClauseCoord -> ShowS # show :: RelativeClauseCoord -> String # showList :: [RelativeClauseCoord] -> ShowS #
ToMarkup RelativeClauseCoord #
Instance details Defined in ACE.Html Methods toMarkup :: RelativeClauseCoord -> Markup # preEscapedToMarkup :: RelativeClauseCoord -> Markup #
Pretty RelativeClauseCoord #
Instance details Defined in ACE.Pretty Methods pretty :: RelativeClauseCoord -> Builder #

data PossessiveNPCoord #

Constructors

PossessiveNPCoordGen !GenitiveNPCoord
PossessiveNPCoordPronoun !PossessivePronounCoord

Instances

Eq PossessiveNPCoord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: PossessiveNPCoord -> PossessiveNPCoord -> Bool # (/=) :: PossessiveNPCoord -> PossessiveNPCoord -> Bool #
Show PossessiveNPCoord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> PossessiveNPCoord -> ShowS # show :: PossessiveNPCoord -> String # showList :: [PossessiveNPCoord] -> ShowS #
ToMarkup PossessiveNPCoord #
Instance details Defined in ACE.Html Methods toMarkup :: PossessiveNPCoord -> Markup # preEscapedToMarkup :: PossessiveNPCoord -> Markup #
Pretty PossessiveNPCoord #
Instance details Defined in ACE.Pretty Methods pretty :: PossessiveNPCoord -> Builder #

data GenitiveNPCoord #

Constructors

GenitiveNPCoord !GenitiveSpecifier !GenitiveN' !GenitiveTail
GenitiveNPCoordName !ProperName !GenitiveTail

Instances

Eq GenitiveNPCoord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: GenitiveNPCoord -> GenitiveNPCoord -> Bool # (/=) :: GenitiveNPCoord -> GenitiveNPCoord -> Bool #
Show GenitiveNPCoord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> GenitiveNPCoord -> ShowS # show :: GenitiveNPCoord -> String # showList :: [GenitiveNPCoord] -> ShowS #
ToMarkup GenitiveNPCoord #
Instance details Defined in ACE.Html Methods toMarkup :: GenitiveNPCoord -> Markup # preEscapedToMarkup :: GenitiveNPCoord -> Markup #
Pretty GenitiveNPCoord #
Instance details Defined in ACE.Pretty Methods pretty :: GenitiveNPCoord -> Builder #

data ProperName #

Constructors

ProperName !Text

Instances

Eq ProperName #
Instance details Defined in ACE.Types.Syntax Methods (==) :: ProperName -> ProperName -> Bool # (/=) :: ProperName -> ProperName -> Bool #
Show ProperName #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> ProperName -> ShowS # show :: ProperName -> String # showList :: [ProperName] -> ShowS #
ToMarkup ProperName #
Instance details Defined in ACE.Html Methods toMarkup :: ProperName -> Markup # preEscapedToMarkup :: ProperName -> Markup #
Pretty ProperName #
Instance details Defined in ACE.Pretty Methods pretty :: ProperName -> Builder #

data PossessivePronounCoord #

Constructors

PossessivePronounCoord !PossessivePronoun !(Maybe PossessivePronounCoord)

Instances

Eq PossessivePronounCoord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: PossessivePronounCoord -> PossessivePronounCoord -> Bool # (/=) :: PossessivePronounCoord -> PossessivePronounCoord -> Bool #
Show PossessivePronounCoord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> PossessivePronounCoord -> ShowS # show :: PossessivePronounCoord -> String # showList :: [PossessivePronounCoord] -> ShowS #
ToMarkup PossessivePronounCoord #
Instance details Defined in ACE.Html Methods toMarkup :: PossessivePronounCoord -> Markup # preEscapedToMarkup :: PossessivePronounCoord -> Markup #
Pretty PossessivePronounCoord #
Instance details Defined in ACE.Pretty Methods pretty :: PossessivePronounCoord -> Builder #

data GenitiveTail #

Constructors

GenitiveTailSaxonTail !SaxonGenitiveTail
GenitiveTailCoordtail !GenitiveCoordTail

Instances

Eq GenitiveTail #
Instance details Defined in ACE.Types.Syntax Methods (==) :: GenitiveTail -> GenitiveTail -> Bool # (/=) :: GenitiveTail -> GenitiveTail -> Bool #
Show GenitiveTail #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> GenitiveTail -> ShowS # show :: GenitiveTail -> String # showList :: [GenitiveTail] -> ShowS #
ToMarkup GenitiveTail #
Instance details Defined in ACE.Html Methods toMarkup :: GenitiveTail -> Markup # preEscapedToMarkup :: GenitiveTail -> Markup #
Pretty GenitiveTail #
Instance details Defined in ACE.Pretty Methods pretty :: GenitiveTail -> Builder #

data GenitiveCoordTail #

Constructors

GenitiveCoordTail !GenitiveNPCoord

Instances

Eq GenitiveCoordTail #
Instance details Defined in ACE.Types.Syntax Methods (==) :: GenitiveCoordTail -> GenitiveCoordTail -> Bool # (/=) :: GenitiveCoordTail -> GenitiveCoordTail -> Bool #
Show GenitiveCoordTail #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> GenitiveCoordTail -> ShowS # show :: GenitiveCoordTail -> String # showList :: [GenitiveCoordTail] -> ShowS #
ToMarkup GenitiveCoordTail #
Instance details Defined in ACE.Html Methods toMarkup :: GenitiveCoordTail -> Markup # preEscapedToMarkup :: GenitiveCoordTail -> Markup #
Pretty GenitiveCoordTail #
Instance details Defined in ACE.Pretty Methods pretty :: GenitiveCoordTail -> Builder #

data SaxonGenitiveTail #

Constructors

SaxonGenitiveTail !SaxonGenitiveMarker !(Maybe (GenitiveN', SaxonGenitiveTail))

Instances

Eq SaxonGenitiveTail #
Instance details Defined in ACE.Types.Syntax Methods (==) :: SaxonGenitiveTail -> SaxonGenitiveTail -> Bool # (/=) :: SaxonGenitiveTail -> SaxonGenitiveTail -> Bool #
Show SaxonGenitiveTail #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> SaxonGenitiveTail -> ShowS # show :: SaxonGenitiveTail -> String # showList :: [SaxonGenitiveTail] -> ShowS #
ToMarkup SaxonGenitiveTail #
Instance details Defined in ACE.Html Methods toMarkup :: SaxonGenitiveTail -> Markup # preEscapedToMarkup :: SaxonGenitiveTail -> Markup #
Pretty SaxonGenitiveTail #
Instance details Defined in ACE.Pretty Methods pretty :: SaxonGenitiveTail -> Builder #

data RelativeClause #

Constructors

RelativeClauseThat !VPCoord
RelativeClauseNP !NPCoord !VPCoord
RelativeClauseThatNPVP !NPCoord !VPCoord
RelativeClauseNPVP !NPCoord !NPCoord !VPCoord
RelativeClausePP !PP !NPCoord !VPCoord

Instances

Eq RelativeClause #
Instance details Defined in ACE.Types.Syntax Methods (==) :: RelativeClause -> RelativeClause -> Bool # (/=) :: RelativeClause -> RelativeClause -> Bool #
Show RelativeClause #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> RelativeClause -> ShowS # show :: RelativeClause -> String # showList :: [RelativeClause] -> ShowS #
ToMarkup RelativeClause #
Instance details Defined in ACE.Html Methods toMarkup :: RelativeClause -> Markup # preEscapedToMarkup :: RelativeClause -> Markup #
Pretty RelativeClause #
Instance details Defined in ACE.Pretty Methods pretty :: RelativeClause -> Builder #

data VPCoord #

Constructors

VPCoord' !VP !Coord !VPCoord
VPCoordVP !VP

Instances

Eq VPCoord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: VPCoord -> VPCoord -> Bool # (/=) :: VPCoord -> VPCoord -> Bool #
Show VPCoord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> VPCoord -> ShowS # show :: VPCoord -> String # showList :: [VPCoord] -> ShowS #
ToMarkup VPCoord #
Instance details Defined in ACE.Html Methods toMarkup :: VPCoord -> Markup # preEscapedToMarkup :: VPCoord -> Markup #
Pretty VPCoord #
Instance details Defined in ACE.Pretty Methods pretty :: VPCoord -> Builder #

data GenitiveSpecifier #

Constructors

GenitiveSpecifierD !Determiner
GenitiveSpecifierPPC !PossessivePronounCoord
GenitiveSpecifierN !Integer

Instances

Eq GenitiveSpecifier #
Instance details Defined in ACE.Types.Syntax Methods (==) :: GenitiveSpecifier -> GenitiveSpecifier -> Bool # (/=) :: GenitiveSpecifier -> GenitiveSpecifier -> Bool #
Show GenitiveSpecifier #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> GenitiveSpecifier -> ShowS # show :: GenitiveSpecifier -> String # showList :: [GenitiveSpecifier] -> ShowS #
ToMarkup GenitiveSpecifier #
Instance details Defined in ACE.Html Methods toMarkup :: GenitiveSpecifier -> Markup # preEscapedToMarkup :: GenitiveSpecifier -> Markup #
Pretty GenitiveSpecifier #
Instance details Defined in ACE.Pretty Methods pretty :: GenitiveSpecifier -> Builder #

data GenitiveN' #

Constructors

GenitiveN' !(Maybe AdjectiveCoord) !N !(Maybe ApposCoord)

Instances

Eq GenitiveN' #
Instance details Defined in ACE.Types.Syntax Methods (==) :: GenitiveN' -> GenitiveN' -> Bool # (/=) :: GenitiveN' -> GenitiveN' -> Bool #
Show GenitiveN' #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> GenitiveN' -> ShowS # show :: GenitiveN' -> String # showList :: [GenitiveN'] -> ShowS #
ToMarkup GenitiveN' #
Instance details Defined in ACE.Html Methods toMarkup :: GenitiveN' -> Markup # preEscapedToMarkup :: GenitiveN' -> Markup #
Pretty GenitiveN' #
Instance details Defined in ACE.Pretty Methods pretty :: GenitiveN' -> Builder #

data VP #

Constructors

VP !V'
VPNeg !Copula !V'

Instances

Eq VP #
Instance details Defined in ACE.Types.Syntax Methods (==) :: VP -> VP -> Bool # (/=) :: VP -> VP -> Bool #
Show VP #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> VP -> ShowS # show :: VP -> String # showList :: [VP] -> ShowS #
ToMarkup VP #
Instance details Defined in ACE.Html Methods toMarkup :: VP -> Markup # preEscapedToMarkup :: VP -> Markup #
Pretty VP #
Instance details Defined in ACE.Pretty Methods pretty :: VP -> Builder #

data V' #

Constructors

V' !(Maybe AdverbCoord) !ComplV ![VModifier]

Instances

Eq V' #
Instance details Defined in ACE.Types.Syntax Methods (==) :: V' -> V' -> Bool # (/=) :: V' -> V' -> Bool #
Show V' #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> V' -> ShowS # show :: V' -> String # showList :: [V'] -> ShowS #
ToMarkup V' #
Instance details Defined in ACE.Html Methods toMarkup :: V' -> Markup # preEscapedToMarkup :: V' -> Markup #
Pretty V' #
Instance details Defined in ACE.Pretty Methods pretty :: V' -> Builder #

data AdverbCoord #

Constructors

AdverbCoord !Adverb !(Maybe AdverbCoord)

Instances

Eq AdverbCoord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: AdverbCoord -> AdverbCoord -> Bool # (/=) :: AdverbCoord -> AdverbCoord -> Bool #
Show AdverbCoord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> AdverbCoord -> ShowS # show :: AdverbCoord -> String # showList :: [AdverbCoord] -> ShowS #
ToMarkup AdverbCoord #
Instance details Defined in ACE.Html Methods toMarkup :: AdverbCoord -> Markup # preEscapedToMarkup :: AdverbCoord -> Markup #
Pretty AdverbCoord #
Instance details Defined in ACE.Pretty Methods pretty :: AdverbCoord -> Builder #

data ComplV #

Instances

Eq ComplV #
Instance details Defined in ACE.Types.Syntax Methods (==) :: ComplV -> ComplV -> Bool # (/=) :: ComplV -> ComplV -> Bool #
Show ComplV #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> ComplV -> ShowS # show :: ComplV -> String # showList :: [ComplV] -> ShowS #
ToMarkup ComplV #
Instance details Defined in ACE.Html Methods toMarkup :: ComplV -> Markup # preEscapedToMarkup :: ComplV -> Markup #
Pretty ComplV #
Instance details Defined in ACE.Pretty Methods pretty :: ComplV -> Builder #

data PhrasalTransitiveV #

Constructors

PhrasalTransitiveV !Text

Instances

Eq PhrasalTransitiveV #
Instance details Defined in ACE.Types.Syntax Methods (==) :: PhrasalTransitiveV -> PhrasalTransitiveV -> Bool # (/=) :: PhrasalTransitiveV -> PhrasalTransitiveV -> Bool #
Show PhrasalTransitiveV #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> PhrasalTransitiveV -> ShowS # show :: PhrasalTransitiveV -> String # showList :: [PhrasalTransitiveV] -> ShowS #
ToMarkup PhrasalTransitiveV #
Instance details Defined in ACE.Html Methods toMarkup :: PhrasalTransitiveV -> Markup # preEscapedToMarkup :: PhrasalTransitiveV -> Markup #
Pretty PhrasalTransitiveV #
Instance details Defined in ACE.Pretty Methods pretty :: PhrasalTransitiveV -> Builder #

data PhrasalDistransitiveV #

Constructors

PhrasalDistransitiveV !Text

Instances

Eq PhrasalDistransitiveV #
Instance details Defined in ACE.Types.Syntax Methods (==) :: PhrasalDistransitiveV -> PhrasalDistransitiveV -> Bool # (/=) :: PhrasalDistransitiveV -> PhrasalDistransitiveV -> Bool #
Show PhrasalDistransitiveV #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> PhrasalDistransitiveV -> ShowS # show :: PhrasalDistransitiveV -> String # showList :: [PhrasalDistransitiveV] -> ShowS #
ToMarkup PhrasalDistransitiveV #
Instance details Defined in ACE.Html Methods toMarkup :: PhrasalDistransitiveV -> Markup # preEscapedToMarkup :: PhrasalDistransitiveV -> Markup #
Pretty PhrasalDistransitiveV #
Instance details Defined in ACE.Pretty Methods pretty :: PhrasalDistransitiveV -> Builder #

data CopulaCompl #

Constructors

CopulaComplAPC !APCoord
CopulaComplNPC !NPCoord
CopulaComplPP !PP

Instances

Eq CopulaCompl #
Instance details Defined in ACE.Types.Syntax Methods (==) :: CopulaCompl -> CopulaCompl -> Bool # (/=) :: CopulaCompl -> CopulaCompl -> Bool #
Show CopulaCompl #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> CopulaCompl -> ShowS # show :: CopulaCompl -> String # showList :: [CopulaCompl] -> ShowS #
ToMarkup CopulaCompl #
Instance details Defined in ACE.Html Methods toMarkup :: CopulaCompl -> Markup # preEscapedToMarkup :: CopulaCompl -> Markup #
Pretty CopulaCompl #
Instance details Defined in ACE.Pretty Methods pretty :: CopulaCompl -> Builder #

data APCoord #

Constructors

APCoordAnd !APgrad !APCoord
APCoord !APgrad

Instances

Eq APCoord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: APCoord -> APCoord -> Bool # (/=) :: APCoord -> APCoord -> Bool #
Show APCoord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> APCoord -> ShowS # show :: APCoord -> String # showList :: [APCoord] -> ShowS #
ToMarkup APCoord #
Instance details Defined in ACE.Html Methods toMarkup :: APCoord -> Markup # preEscapedToMarkup :: APCoord -> Markup #
Pretty APCoord #
Instance details Defined in ACE.Pretty Methods pretty :: APCoord -> Builder #

data APgrad #

Constructors

APgradAPThan !AP !NPCoord
APgradAP !AP

Instances

Eq APgrad #
Instance details Defined in ACE.Types.Syntax Methods (==) :: APgrad -> APgrad -> Bool # (/=) :: APgrad -> APgrad -> Bool #
Show APgrad #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> APgrad -> ShowS # show :: APgrad -> String # showList :: [APgrad] -> ShowS #
ToMarkup APgrad #
Instance details Defined in ACE.Html Methods toMarkup :: APgrad -> Markup # preEscapedToMarkup :: APgrad -> Markup #
Pretty APgrad #
Instance details Defined in ACE.Pretty Methods pretty :: APgrad -> Builder #

data AP #

Constructors

APIntrans !IntransitiveAdjective
APTrans !TransitiveAdjective !PP

Instances

Eq AP #
Instance details Defined in ACE.Types.Syntax Methods (==) :: AP -> AP -> Bool # (/=) :: AP -> AP -> Bool #
Show AP #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> AP -> ShowS # show :: AP -> String # showList :: [AP] -> ShowS #
ToMarkup AP #
Instance details Defined in ACE.Html Methods toMarkup :: AP -> Markup # preEscapedToMarkup :: AP -> Markup #
Pretty AP #
Instance details Defined in ACE.Pretty Methods pretty :: AP -> Builder #

data TransitiveAdjective #

Constructors

TransitiveAdjective !Text

Instances

Eq TransitiveAdjective #
Instance details Defined in ACE.Types.Syntax Methods (==) :: TransitiveAdjective -> TransitiveAdjective -> Bool # (/=) :: TransitiveAdjective -> TransitiveAdjective -> Bool #
Show TransitiveAdjective #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> TransitiveAdjective -> ShowS # show :: TransitiveAdjective -> String # showList :: [TransitiveAdjective] -> ShowS #
ToMarkup TransitiveAdjective #
Instance details Defined in ACE.Html Methods toMarkup :: TransitiveAdjective -> Markup # preEscapedToMarkup :: TransitiveAdjective -> Markup #
Pretty TransitiveAdjective #
Instance details Defined in ACE.Pretty Methods pretty :: TransitiveAdjective -> Builder #

data Compl #

Constructors

ComplNP !NPCoord
ComplPP !PP

Instances

Eq Compl #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Compl -> Compl -> Bool # (/=) :: Compl -> Compl -> Bool #
Show Compl #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Compl -> ShowS # show :: Compl -> String # showList :: [Compl] -> ShowS #
ToMarkup Compl #
Instance details Defined in ACE.Html Methods toMarkup :: Compl -> Markup # preEscapedToMarkup :: Compl -> Markup #
Pretty Compl #
Instance details Defined in ACE.Pretty Methods pretty :: Compl -> Builder #

data PhrasalIntransitiveV #

Constructors

PhrasalIntransitiveV !Text

Instances

Eq PhrasalIntransitiveV #
Instance details Defined in ACE.Types.Syntax Methods (==) :: PhrasalIntransitiveV -> PhrasalIntransitiveV -> Bool # (/=) :: PhrasalIntransitiveV -> PhrasalIntransitiveV -> Bool #
Show PhrasalIntransitiveV #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> PhrasalIntransitiveV -> ShowS # show :: PhrasalIntransitiveV -> String # showList :: [PhrasalIntransitiveV] -> ShowS #
ToMarkup PhrasalIntransitiveV #
Instance details Defined in ACE.Html Methods toMarkup :: PhrasalIntransitiveV -> Markup # preEscapedToMarkup :: PhrasalIntransitiveV -> Markup #
Pretty PhrasalIntransitiveV #
Instance details Defined in ACE.Pretty Methods pretty :: PhrasalIntransitiveV -> Builder #

data PhrasalParticle #

Constructors

PhrasalParticle !Text

Instances

Eq PhrasalParticle #
Instance details Defined in ACE.Types.Syntax Methods (==) :: PhrasalParticle -> PhrasalParticle -> Bool # (/=) :: PhrasalParticle -> PhrasalParticle -> Bool #
Show PhrasalParticle #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> PhrasalParticle -> ShowS # show :: PhrasalParticle -> String # showList :: [PhrasalParticle] -> ShowS #
ToMarkup PhrasalParticle #
Instance details Defined in ACE.Html Methods toMarkup :: PhrasalParticle -> Markup # preEscapedToMarkup :: PhrasalParticle -> Markup #
Pretty PhrasalParticle #
Instance details Defined in ACE.Pretty Methods pretty :: PhrasalParticle -> Builder #

data IntransitiveV #

Constructors

IntransitiveV !Text

Instances

Eq IntransitiveV #
Instance details Defined in ACE.Types.Syntax Methods (==) :: IntransitiveV -> IntransitiveV -> Bool # (/=) :: IntransitiveV -> IntransitiveV -> Bool #
Show IntransitiveV #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> IntransitiveV -> ShowS # show :: IntransitiveV -> String # showList :: [IntransitiveV] -> ShowS #
ToMarkup IntransitiveV #
Instance details Defined in ACE.Html Methods toMarkup :: IntransitiveV -> Markup # preEscapedToMarkup :: IntransitiveV -> Markup #
Pretty IntransitiveV #
Instance details Defined in ACE.Pretty Methods pretty :: IntransitiveV -> Builder #

data TransitiveV #

Constructors

TransitiveV !Text

Instances

Eq TransitiveV #
Instance details Defined in ACE.Types.Syntax Methods (==) :: TransitiveV -> TransitiveV -> Bool # (/=) :: TransitiveV -> TransitiveV -> Bool #
Show TransitiveV #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> TransitiveV -> ShowS # show :: TransitiveV -> String # showList :: [TransitiveV] -> ShowS #
ToMarkup TransitiveV #
Instance details Defined in ACE.Html Methods toMarkup :: TransitiveV -> Markup # preEscapedToMarkup :: TransitiveV -> Markup #
Pretty TransitiveV #
Instance details Defined in ACE.Pretty Methods pretty :: TransitiveV -> Builder #

data DistransitiveV #

Constructors

DistransitiveV !Text

Instances

Eq DistransitiveV #
Instance details Defined in ACE.Types.Syntax Methods (==) :: DistransitiveV -> DistransitiveV -> Bool # (/=) :: DistransitiveV -> DistransitiveV -> Bool #
Show DistransitiveV #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> DistransitiveV -> ShowS # show :: DistransitiveV -> String # showList :: [DistransitiveV] -> ShowS #
ToMarkup DistransitiveV #
Instance details Defined in ACE.Html Methods toMarkup :: DistransitiveV -> Markup # preEscapedToMarkup :: DistransitiveV -> Markup #
Pretty DistransitiveV #
Instance details Defined in ACE.Pretty Methods pretty :: DistransitiveV -> Builder #

data IntransitiveAdjective #

Constructors

IntransitiveAdjective !Text

Instances

Eq IntransitiveAdjective #
Instance details Defined in ACE.Types.Syntax Methods (==) :: IntransitiveAdjective -> IntransitiveAdjective -> Bool # (/=) :: IntransitiveAdjective -> IntransitiveAdjective -> Bool #
Show IntransitiveAdjective #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> IntransitiveAdjective -> ShowS # show :: IntransitiveAdjective -> String # showList :: [IntransitiveAdjective] -> ShowS #
ToMarkup IntransitiveAdjective #
Instance details Defined in ACE.Html Methods toMarkup :: IntransitiveAdjective -> Markup # preEscapedToMarkup :: IntransitiveAdjective -> Markup #
Pretty IntransitiveAdjective #
Instance details Defined in ACE.Pretty Methods pretty :: IntransitiveAdjective -> Builder #

data VModifier #

Constructors

VModifierVC !AdverbCoord
VModifierPP !PP
VModifierAVPP !AdverbialPP

Instances

Eq VModifier #
Instance details Defined in ACE.Types.Syntax Methods (==) :: VModifier -> VModifier -> Bool # (/=) :: VModifier -> VModifier -> Bool #
Show VModifier #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> VModifier -> ShowS # show :: VModifier -> String # showList :: [VModifier] -> ShowS #
ToMarkup VModifier #
Instance details Defined in ACE.Html Methods toMarkup :: VModifier -> Markup # preEscapedToMarkup :: VModifier -> Markup #
Pretty VModifier #
Instance details Defined in ACE.Pretty Methods pretty :: VModifier -> Builder #

data AdverbialPP #

Constructors

AdverbialPP !Preposition !AdverbCoord

Instances

Eq AdverbialPP #
Instance details Defined in ACE.Types.Syntax Methods (==) :: AdverbialPP -> AdverbialPP -> Bool # (/=) :: AdverbialPP -> AdverbialPP -> Bool #
Show AdverbialPP #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> AdverbialPP -> ShowS # show :: AdverbialPP -> String # showList :: [AdverbialPP] -> ShowS #
ToMarkup AdverbialPP #
Instance details Defined in ACE.Html Methods toMarkup :: AdverbialPP -> Markup # preEscapedToMarkup :: AdverbialPP -> Markup #
Pretty AdverbialPP #
Instance details Defined in ACE.Pretty Methods pretty :: AdverbialPP -> Builder #

data Adverb #

Constructors

Adverb !Text

Instances

Eq Adverb #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Adverb -> Adverb -> Bool # (/=) :: Adverb -> Adverb -> Bool #
Show Adverb #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Adverb -> ShowS # show :: Adverb -> String # showList :: [Adverb] -> ShowS #
ToMarkup Adverb #
Instance details Defined in ACE.Html Methods toMarkup :: Adverb -> Markup # preEscapedToMarkup :: Adverb -> Markup #
Pretty Adverb #
Instance details Defined in ACE.Pretty Methods pretty :: Adverb -> Builder #

data Specifier #

Constructors

SpecifyDeterminer !Determiner
SpecifyPossessive !PossessiveNPCoord
SpecifyNumberP !NumberP

Instances

Eq Specifier #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Specifier -> Specifier -> Bool # (/=) :: Specifier -> Specifier -> Bool #
Show Specifier #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Specifier -> ShowS # show :: Specifier -> String # showList :: [Specifier] -> ShowS #
ToMarkup Specifier #
Instance details Defined in ACE.Html Methods toMarkup :: Specifier -> Markup # preEscapedToMarkup :: Specifier -> Markup #
Pretty Specifier #
Instance details Defined in ACE.Pretty Methods pretty :: Specifier -> Builder #

data AdjectiveCoord #

Constructors

AdjectiveCoord !IntransitiveAdjective !(Maybe AdjectiveCoord)

Instances

Eq AdjectiveCoord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: AdjectiveCoord -> AdjectiveCoord -> Bool # (/=) :: AdjectiveCoord -> AdjectiveCoord -> Bool #
Show AdjectiveCoord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> AdjectiveCoord -> ShowS # show :: AdjectiveCoord -> String # showList :: [AdjectiveCoord] -> ShowS #
ToMarkup AdjectiveCoord #
Instance details Defined in ACE.Html Methods toMarkup :: AdjectiveCoord -> Markup # preEscapedToMarkup :: AdjectiveCoord -> Markup #
Pretty AdjectiveCoord #
Instance details Defined in ACE.Pretty Methods pretty :: AdjectiveCoord -> Builder #

data NumberP #

Constructors

NumberP !(Maybe GeneralizedQuantor) !Integer

Instances

Eq NumberP #
Instance details Defined in ACE.Types.Syntax Methods (==) :: NumberP -> NumberP -> Bool # (/=) :: NumberP -> NumberP -> Bool #
Show NumberP #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> NumberP -> ShowS # show :: NumberP -> String # showList :: [NumberP] -> ShowS #
ToMarkup NumberP #
Instance details Defined in ACE.Html Methods toMarkup :: NumberP -> Markup # preEscapedToMarkup :: NumberP -> Markup #
Pretty NumberP #
Instance details Defined in ACE.Pretty Methods pretty :: NumberP -> Builder #

data ExistentialGlobalQuantor #

Constructors

ExistentialGlobalQuantor !Copula

Instances

Eq ExistentialGlobalQuantor #
Instance details Defined in ACE.Types.Syntax Methods (==) :: ExistentialGlobalQuantor -> ExistentialGlobalQuantor -> Bool # (/=) :: ExistentialGlobalQuantor -> ExistentialGlobalQuantor -> Bool #
Show ExistentialGlobalQuantor #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> ExistentialGlobalQuantor -> ShowS # show :: ExistentialGlobalQuantor -> String # showList :: [ExistentialGlobalQuantor] -> ShowS #
ToMarkup ExistentialGlobalQuantor #
Instance details Defined in ACE.Html Methods toMarkup :: ExistentialGlobalQuantor -> Markup # preEscapedToMarkup :: ExistentialGlobalQuantor -> Markup #
Pretty ExistentialGlobalQuantor #
Instance details Defined in ACE.Pretty Methods pretty :: ExistentialGlobalQuantor -> Builder #

data ExistentialGlobalQuestionQuantor #

Constructors

ExistentialGlobalQuestionQuantor !Copula

Instances

Eq ExistentialGlobalQuestionQuantor #
Instance details Defined in ACE.Types.Syntax Methods (==) :: ExistentialGlobalQuestionQuantor -> ExistentialGlobalQuestionQuantor -> Bool # (/=) :: ExistentialGlobalQuestionQuantor -> ExistentialGlobalQuestionQuantor -> Bool #
Show ExistentialGlobalQuestionQuantor #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> ExistentialGlobalQuestionQuantor -> ShowS # show :: ExistentialGlobalQuestionQuantor -> String # showList :: [ExistentialGlobalQuestionQuantor] -> ShowS #
ToMarkup ExistentialGlobalQuestionQuantor #
Instance details Defined in ACE.Html Methods toMarkup :: ExistentialGlobalQuestionQuantor -> Markup # preEscapedToMarkup :: ExistentialGlobalQuestionQuantor -> Markup #
Pretty ExistentialGlobalQuestionQuantor #
Instance details Defined in ACE.Pretty Methods pretty :: ExistentialGlobalQuestionQuantor -> Builder #

data Aux #

Constructors

Do	"do"
Does	"does"

Instances

Eq Aux #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Aux -> Aux -> Bool # (/=) :: Aux -> Aux -> Bool #
Show Aux #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Aux -> ShowS # show :: Aux -> String # showList :: [Aux] -> ShowS #
ToMarkup Aux #
Instance details Defined in ACE.Html Methods toMarkup :: Aux -> Markup # preEscapedToMarkup :: Aux -> Markup #
Pretty Aux #
Instance details Defined in ACE.Pretty Methods pretty :: Aux -> Builder #

data Coord #

Constructors

And	"and"
Or	"or"

Instances

Eq Coord #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Coord -> Coord -> Bool # (/=) :: Coord -> Coord -> Bool #
Show Coord #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Coord -> ShowS # show :: Coord -> String # showList :: [Coord] -> ShowS #
ToMarkup Coord #
Instance details Defined in ACE.Html Methods toMarkup :: Coord -> Markup # preEscapedToMarkup :: Coord -> Markup #
Pretty Coord #
Instance details Defined in ACE.Pretty Methods pretty :: Coord -> Builder #

data Copula #

Constructors

Is	"is"
Are	"are"

Instances

Eq Copula #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Copula -> Copula -> Bool # (/=) :: Copula -> Copula -> Bool #
Show Copula #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Copula -> ShowS # show :: Copula -> String # showList :: [Copula] -> ShowS #
ToMarkup Copula #
Instance details Defined in ACE.Html Methods toMarkup :: Copula -> Markup # preEscapedToMarkup :: Copula -> Markup #
Pretty Copula #
Instance details Defined in ACE.Pretty Methods pretty :: Copula -> Builder #

data Determiner #

Constructors

The	"the"
A	"a"
An	"an"
Some	"some"
No	"no"
EveryEach	"every" / "each"
All	"all"
NotEvery	"not every"
NotEach	"not each"
NotAll	"not all"
Which	"which"

Instances

Eq Determiner #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Determiner -> Determiner -> Bool # (/=) :: Determiner -> Determiner -> Bool #
Show Determiner #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Determiner -> ShowS # show :: Determiner -> String # showList :: [Determiner] -> ShowS #
ToMarkup Determiner #
Instance details Defined in ACE.Html Methods toMarkup :: Determiner -> Markup # preEscapedToMarkup :: Determiner -> Markup #
Pretty Determiner #
Instance details Defined in ACE.Pretty Methods pretty :: Determiner -> Builder #

data DistributiveGlobalQuantor #

Constructors

ForEachOf

"for each of"

Instances

Eq DistributiveGlobalQuantor #
Instance details Defined in ACE.Types.Syntax Methods (==) :: DistributiveGlobalQuantor -> DistributiveGlobalQuantor -> Bool # (/=) :: DistributiveGlobalQuantor -> DistributiveGlobalQuantor -> Bool #
Show DistributiveGlobalQuantor #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> DistributiveGlobalQuantor -> ShowS # show :: DistributiveGlobalQuantor -> String # showList :: [DistributiveGlobalQuantor] -> ShowS #
ToMarkup DistributiveGlobalQuantor #
Instance details Defined in ACE.Html Methods toMarkup :: DistributiveGlobalQuantor -> Markup # preEscapedToMarkup :: DistributiveGlobalQuantor -> Markup #
Pretty DistributiveGlobalQuantor #
Instance details Defined in ACE.Pretty Methods pretty :: DistributiveGlobalQuantor -> Builder #

data DistributiveMarker #

Constructors

EachOf

"each of"

Instances

Eq DistributiveMarker #
Instance details Defined in ACE.Types.Syntax Methods (==) :: DistributiveMarker -> DistributiveMarker -> Bool # (/=) :: DistributiveMarker -> DistributiveMarker -> Bool #
Show DistributiveMarker #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> DistributiveMarker -> ShowS # show :: DistributiveMarker -> String # showList :: [DistributiveMarker] -> ShowS #
ToMarkup DistributiveMarker #
Instance details Defined in ACE.Html Methods toMarkup :: DistributiveMarker -> Markup # preEscapedToMarkup :: DistributiveMarker -> Markup #
Pretty DistributiveMarker #
Instance details Defined in ACE.Pretty Methods pretty :: DistributiveMarker -> Builder #

data GeneralizedQuantor #

Constructors

AtMost	"at most"
AtLeast	"at least"
MoreThan	"more than"
LessThan	"less than"
NotMoreThan	"not more than"
NotLessThan	"not less than"

Instances

Eq GeneralizedQuantor #
Instance details Defined in ACE.Types.Syntax Methods (==) :: GeneralizedQuantor -> GeneralizedQuantor -> Bool # (/=) :: GeneralizedQuantor -> GeneralizedQuantor -> Bool #
Show GeneralizedQuantor #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> GeneralizedQuantor -> ShowS # show :: GeneralizedQuantor -> String # showList :: [GeneralizedQuantor] -> ShowS #
ToMarkup GeneralizedQuantor #
Instance details Defined in ACE.Html Methods toMarkup :: GeneralizedQuantor -> Markup # preEscapedToMarkup :: GeneralizedQuantor -> Markup #
Pretty GeneralizedQuantor #
Instance details Defined in ACE.Pretty Methods pretty :: GeneralizedQuantor -> Builder #

data PossessivePronoun #

Constructors

His	"his"
Her	"her"
HisHer	"his/her"
Its	"its"
Their	"their"
HisHerOwn	"his own" "her own" "his/her own"
ItsOwn	"its own"
TheirOwn	"their own"
Whose	"whose"

Instances

Eq PossessivePronoun #
Instance details Defined in ACE.Types.Syntax Methods (==) :: PossessivePronoun -> PossessivePronoun -> Bool # (/=) :: PossessivePronoun -> PossessivePronoun -> Bool #
Show PossessivePronoun #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> PossessivePronoun -> ShowS # show :: PossessivePronoun -> String # showList :: [PossessivePronoun] -> ShowS #
ToMarkup PossessivePronoun #
Instance details Defined in ACE.Html Methods toMarkup :: PossessivePronoun -> Markup # preEscapedToMarkup :: PossessivePronoun -> Markup #
Pretty PossessivePronoun #
Instance details Defined in ACE.Pretty Methods pretty :: PossessivePronoun -> Builder #

data Pronoun #

Instances

Eq Pronoun #
Instance details Defined in ACE.Types.Syntax Methods (==) :: Pronoun -> Pronoun -> Bool # (/=) :: Pronoun -> Pronoun -> Bool #
Show Pronoun #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> Pronoun -> ShowS # show :: Pronoun -> String # showList :: [Pronoun] -> ShowS #
ToMarkup Pronoun #
Instance details Defined in ACE.Html Methods toMarkup :: Pronoun -> Markup # preEscapedToMarkup :: Pronoun -> Markup #
Pretty Pronoun #
Instance details Defined in ACE.Pretty Methods pretty :: Pronoun -> Builder #

data SaxonGenitiveMarker #

The Saxon genitive used for possession.

Constructors

Apostrophe	"'"
ApostropheS	"'s"

Instances

Eq SaxonGenitiveMarker #
Instance details Defined in ACE.Types.Syntax Methods (==) :: SaxonGenitiveMarker -> SaxonGenitiveMarker -> Bool # (/=) :: SaxonGenitiveMarker -> SaxonGenitiveMarker -> Bool #
Show SaxonGenitiveMarker #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> SaxonGenitiveMarker -> ShowS # show :: SaxonGenitiveMarker -> String # showList :: [SaxonGenitiveMarker] -> ShowS #
ToMarkup SaxonGenitiveMarker #
Instance details Defined in ACE.Html Methods toMarkup :: SaxonGenitiveMarker -> Markup # preEscapedToMarkup :: SaxonGenitiveMarker -> Markup #
Pretty SaxonGenitiveMarker #
Instance details Defined in ACE.Pretty Methods pretty :: SaxonGenitiveMarker -> Builder #

data UniversalGlobalQuantor #

Constructors

ForEvery	"for every"
ForEach	"for each"
ForAll	"for all"

Instances

Eq UniversalGlobalQuantor #
Instance details Defined in ACE.Types.Syntax Methods (==) :: UniversalGlobalQuantor -> UniversalGlobalQuantor -> Bool # (/=) :: UniversalGlobalQuantor -> UniversalGlobalQuantor -> Bool #
Show UniversalGlobalQuantor #
Instance details Defined in ACE.Types.Syntax Methods showsPrec :: Int -> UniversalGlobalQuantor -> ShowS # show :: UniversalGlobalQuantor -> String # showList :: [UniversalGlobalQuantor] -> ShowS #
ToMarkup UniversalGlobalQuantor #
Instance details Defined in ACE.Html Methods toMarkup :: UniversalGlobalQuantor -> Markup # preEscapedToMarkup :: UniversalGlobalQuantor -> Markup #
Pretty UniversalGlobalQuantor #
Instance details Defined in ACE.Pretty Methods pretty :: UniversalGlobalQuantor -> Builder #

ComplVIV !IntransitiveV
ComplVPI !PhrasalIntransitiveV !PhrasalParticle
ComplVTV !TransitiveV !Compl
ComplVPV !PhrasalTransitiveV !PhrasalParticle !Compl
ComplVPV' !PhrasalTransitiveV !Compl !PhrasalParticle
ComplVDisV !DistransitiveV !Compl !Compl
ComplVPDV !PhrasalDistransitiveV !Compl !PhrasalParticle !Compl
ComplVCopula !Copula !CopulaCompl

It
He
She
HeShe
Him
HerP
HimHer
They
Them
Itself
Himself
Herself
HimselfHerself
Themselves
Someone
Somebody
Something
NoOne
Nobody
NoThing
Everyone
Everybody
Everything
NotEveryone
NotEverybody
NotEverything
What
Who
Whom
WhichP