Safe Haskell	Safe-Inferred
Language	Haskell98

ACE.Types.Syntax

Description

Types for the syntax tree.

Synopsis

Documentation

data Specification Source

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
Show Specification
ToMarkup Specification
Pretty Specification

data SentenceCoord Source

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
Show SentenceCoord
ToMarkup SentenceCoord
Pretty SentenceCoord

data SentenceCoord_1 Source

Constructors

SentenceCoord_1 !SentenceCoord_2 !(Maybe SentenceCoord_1)

Instances

Eq SentenceCoord_1
Show SentenceCoord_1
ToMarkup SentenceCoord_1
Pretty SentenceCoord_1

data SentenceCoord_2 Source

Constructors

SentenceCoord_2 !SentenceCoord_3 !(Maybe SentenceCoord_2)

Instances

Eq SentenceCoord_2
Show SentenceCoord_2
ToMarkup SentenceCoord_2
Pretty SentenceCoord_2

data SentenceCoord_3 Source

Constructors

SentenceCoord_3 !TopicalizedSentence !(Maybe SentenceCoord_3)

Instances

Eq SentenceCoord_3
Show SentenceCoord_3
ToMarkup SentenceCoord_3
Pretty SentenceCoord_3

data TopicalizedSentence Source

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
Show TopicalizedSentence
ToMarkup TopicalizedSentence
Pretty TopicalizedSentence

data UniversalTopic Source

Constructors

UniversalTopic !UniversalGlobalQuantor !N'

Instances

Eq UniversalTopic
Show UniversalTopic
ToMarkup UniversalTopic
Pretty UniversalTopic

data CompositeSentence Source

Constructors

CompositeSentenceCond !ConditionalSentence
CompositeSentenceNeg !NegatedSentence
CompositeSentence !Sentence

Instances

Eq CompositeSentence
Show CompositeSentence
ToMarkup CompositeSentence
Pretty CompositeSentence

data ConditionalSentence Source

Constructors

ConditionalSentence !SentenceCoord !SentenceCoord

Instances

Eq ConditionalSentence
Show ConditionalSentence
ToMarkup ConditionalSentence
Pretty ConditionalSentence

data NegatedSentence Source

Constructors

NegatedSentence !SentenceCoord

Instances

Eq NegatedSentence
Show NegatedSentence
ToMarkup NegatedSentence
Pretty NegatedSentence

data Sentence Source

Constructors

Sentence !NPCoord !VPCoord

Instances

Eq Sentence
Show Sentence
ToMarkup Sentence
Pretty Sentence

data ExistentialTopic Source

Constructors

ExistentialTopic !ExistentialGlobalQuantor !NPCoord

Instances

Eq ExistentialTopic
Show ExistentialTopic
ToMarkup ExistentialTopic
Pretty ExistentialTopic

data NPCoord Source

Constructors

NPCoordDistributed !DistributiveMarker !UnmarkedNPCoord
NPCoordUnmarked !UnmarkedNPCoord

Instances

Eq NPCoord
Show NPCoord
ToMarkup NPCoord
Pretty NPCoord

data UnmarkedNPCoord Source

Constructors

UnmarkedNPCoord !NP !(Maybe UnmarkedNPCoord)

Instances

Eq UnmarkedNPCoord
Show UnmarkedNPCoord
ToMarkup UnmarkedNPCoord
Pretty UnmarkedNPCoord

data N' Source

Modified noun.

Constructors

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

Instances

Eq N'
Show N'
ToMarkup N'
Pretty N'

data NP Source

Noun-phrase.

Constructors

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

Instances

Eq NP
Show NP
ToMarkup NP
Pretty NP

data N Source

A noun.

Constructors

N !Text

Instances

Eq N
Show N
ToMarkup N
Pretty N

data PP Source

Constructors

PP !Preposition !NPCoord

Instances

Eq PP
Show PP
ToMarkup PP
Pretty PP

data Preposition Source

Constructors

Preposition !Text

Instances

Eq Preposition
Show Preposition
ToMarkup Preposition
Pretty Preposition

data ApposCoord Source

Constructors

ApposCoord !Apposition !(Maybe ApposCoord)

Instances

Eq ApposCoord
Show ApposCoord
ToMarkup ApposCoord
Pretty ApposCoord

data Apposition Source

Constructors

AppositionVar !Variable
AppositionQuote !Quotation

Instances

Eq Apposition
Show Apposition
ToMarkup Apposition
Pretty Apposition

data Quotation Source

Constructors

Quotation !Text

Instances

Eq Quotation
Show Quotation
ToMarkup Quotation
Pretty Quotation

data Variable Source

Constructors

Variable !Text

Instances

Eq Variable
Show Variable
ToMarkup Variable
Pretty Variable

data RelativeClauseCoord Source

Constructors

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

Instances

Eq RelativeClauseCoord
Show RelativeClauseCoord
ToMarkup RelativeClauseCoord
Pretty RelativeClauseCoord

data PossessiveNPCoord Source

Constructors

PossessiveNPCoordGen !GenitiveNPCoord
PossessiveNPCoordPronoun !PossessivePronounCoord

Instances

Eq PossessiveNPCoord
Show PossessiveNPCoord
ToMarkup PossessiveNPCoord
Pretty PossessiveNPCoord

data GenitiveNPCoord Source

Constructors

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

Instances

Eq GenitiveNPCoord
Show GenitiveNPCoord
ToMarkup GenitiveNPCoord
Pretty GenitiveNPCoord

data ProperName Source

Constructors

ProperName !Text

Instances

Eq ProperName
Show ProperName
ToMarkup ProperName
Pretty ProperName

data PossessivePronounCoord Source

Constructors

PossessivePronounCoord !PossessivePronoun !(Maybe PossessivePronounCoord)

Instances

Eq PossessivePronounCoord
Show PossessivePronounCoord
ToMarkup PossessivePronounCoord
Pretty PossessivePronounCoord

data GenitiveTail Source

Constructors

GenitiveTailSaxonTail !SaxonGenitiveTail
GenitiveTailCoordtail !GenitiveCoordTail

Instances

Eq GenitiveTail
Show GenitiveTail
ToMarkup GenitiveTail
Pretty GenitiveTail

data GenitiveCoordTail Source

Constructors

GenitiveCoordTail !GenitiveNPCoord

Instances

Eq GenitiveCoordTail
Show GenitiveCoordTail
ToMarkup GenitiveCoordTail
Pretty GenitiveCoordTail

data SaxonGenitiveTail Source

Constructors

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

Instances

Eq SaxonGenitiveTail
Show SaxonGenitiveTail
ToMarkup SaxonGenitiveTail
Pretty SaxonGenitiveTail

data VPCoord Source

Constructors

VPCoord' !VP !Coord !VPCoord
VPCoordVP !VP

Instances

Eq VPCoord
Show VPCoord
ToMarkup VPCoord
Pretty VPCoord

data GenitiveSpecifier Source

Constructors

GenitiveSpecifierD !Determiner
GenitiveSpecifierPPC !PossessivePronounCoord
GenitiveSpecifierN !Integer

Instances

Eq GenitiveSpecifier
Show GenitiveSpecifier
ToMarkup GenitiveSpecifier
Pretty GenitiveSpecifier

data GenitiveN' Source

Constructors

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

Instances

Eq GenitiveN'
Show GenitiveN'
ToMarkup GenitiveN'
Pretty GenitiveN'

data VP Source

Constructors

VP !V'
VPNeg !Copula !V'

Instances

Eq VP
Show VP
ToMarkup VP
Pretty VP

data V' Source

Constructors

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

Instances

Eq V'
Show V'
ToMarkup V'
Pretty V'

data AdverbCoord Source

Constructors

AdverbCoord !Adverb !(Maybe AdverbCoord)

Instances

Eq AdverbCoord
Show AdverbCoord
ToMarkup AdverbCoord
Pretty AdverbCoord

data PhrasalTransitiveV Source

Constructors

PhrasalTransitiveV !Text

Instances

Eq PhrasalTransitiveV
Show PhrasalTransitiveV
ToMarkup PhrasalTransitiveV
Pretty PhrasalTransitiveV

data PhrasalDistransitiveV Source

Constructors

PhrasalDistransitiveV !Text

Instances

Eq PhrasalDistransitiveV
Show PhrasalDistransitiveV
ToMarkup PhrasalDistransitiveV
Pretty PhrasalDistransitiveV

data CopulaCompl Source

Constructors

CopulaComplAPC !APCoord
CopulaComplNPC !NPCoord
CopulaComplPP !PP

Instances

Eq CopulaCompl
Show CopulaCompl
ToMarkup CopulaCompl
Pretty CopulaCompl

data APCoord Source

Constructors

APCoordAnd !APgrad !APCoord
APCoord !APgrad

Instances

Eq APCoord
Show APCoord
ToMarkup APCoord
Pretty APCoord

data APgrad Source

Constructors

APgradAPThan !AP !NPCoord
APgradAP !AP

Instances

Eq APgrad
Show APgrad
ToMarkup APgrad
Pretty APgrad

data AP Source

Constructors

APIntrans !IntransitiveAdjective
APTrans !TransitiveAdjective !PP

Instances

Eq AP
Show AP
ToMarkup AP
Pretty AP

data TransitiveAdjective Source

Constructors

TransitiveAdjective !Text

Instances

Eq TransitiveAdjective
Show TransitiveAdjective
ToMarkup TransitiveAdjective
Pretty TransitiveAdjective

data Compl Source

Constructors

ComplNP !NPCoord
ComplPP !PP

Instances

Eq Compl
Show Compl
ToMarkup Compl
Pretty Compl

data PhrasalIntransitiveV Source

Constructors

PhrasalIntransitiveV !Text

Instances

Eq PhrasalIntransitiveV
Show PhrasalIntransitiveV
ToMarkup PhrasalIntransitiveV
Pretty PhrasalIntransitiveV

data PhrasalParticle Source

Constructors

PhrasalParticle !Text

Instances

Eq PhrasalParticle
Show PhrasalParticle
ToMarkup PhrasalParticle
Pretty PhrasalParticle

data IntransitiveV Source

Constructors

IntransitiveV !Text

Instances

Eq IntransitiveV
Show IntransitiveV
ToMarkup IntransitiveV
Pretty IntransitiveV

data TransitiveV Source

Constructors

TransitiveV !Text

Instances

Eq TransitiveV
Show TransitiveV
ToMarkup TransitiveV
Pretty TransitiveV

data DistransitiveV Source

Constructors

DistransitiveV !Text

Instances

Eq DistransitiveV
Show DistransitiveV
ToMarkup DistransitiveV
Pretty DistransitiveV

data IntransitiveAdjective Source

Constructors

IntransitiveAdjective !Text

Instances

Eq IntransitiveAdjective
Show IntransitiveAdjective
ToMarkup IntransitiveAdjective
Pretty IntransitiveAdjective

data VModifier Source

Constructors

VModifierVC !AdverbCoord
VModifierPP !PP
VModifierAVPP !AdverbialPP

Instances

Eq VModifier
Show VModifier
ToMarkup VModifier
Pretty VModifier

data AdverbialPP Source

Constructors

AdverbialPP !Preposition !AdverbCoord

Instances

Eq AdverbialPP
Show AdverbialPP
ToMarkup AdverbialPP
Pretty AdverbialPP

data Adverb Source

Constructors

Adverb !Text

Instances

Eq Adverb
Show Adverb
ToMarkup Adverb
Pretty Adverb

data Specifier Source

Constructors

SpecifyDeterminer !Determiner
SpecifyPossessive !PossessiveNPCoord
SpecifyNumberP !NumberP

Instances

Eq Specifier
Show Specifier
ToMarkup Specifier
Pretty Specifier

data AdjectiveCoord Source

Constructors

AdjectiveCoord !IntransitiveAdjective !(Maybe AdjectiveCoord)

Instances

Eq AdjectiveCoord
Show AdjectiveCoord
ToMarkup AdjectiveCoord
Pretty AdjectiveCoord

data NumberP Source

Constructors

NumberP !(Maybe GeneralizedQuantor) !Integer

Instances

Eq NumberP
Show NumberP
ToMarkup NumberP
Pretty NumberP

data ExistentialGlobalQuantor Source

Constructors

ExistentialGlobalQuantor !Copula

Instances

Eq ExistentialGlobalQuantor
Show ExistentialGlobalQuantor
ToMarkup ExistentialGlobalQuantor
Pretty ExistentialGlobalQuantor

data ExistentialGlobalQuestionQuantor Source

Constructors

ExistentialGlobalQuestionQuantor !Copula

Instances

Eq ExistentialGlobalQuestionQuantor
Show ExistentialGlobalQuestionQuantor
ToMarkup ExistentialGlobalQuestionQuantor
Pretty ExistentialGlobalQuestionQuantor

data Aux Source

Constructors

Do	"do"
Does	"does"

Instances

Eq Aux
Show Aux
ToMarkup Aux
Pretty Aux

data Coord Source

Constructors

And	"and"
Or	"or"

Instances

Eq Coord
Show Coord
ToMarkup Coord
Pretty Coord

data Copula Source

Constructors

Is	"is"
Are	"are"

Instances

Eq Copula
Show Copula
ToMarkup Copula
Pretty Copula

data Determiner Source

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
Show Determiner
ToMarkup Determiner
Pretty Determiner

data DistributiveGlobalQuantor Source

Constructors

ForEachOf

"for each of"

Instances

Eq DistributiveGlobalQuantor
Show DistributiveGlobalQuantor
ToMarkup DistributiveGlobalQuantor
Pretty DistributiveGlobalQuantor

data DistributiveMarker Source

Constructors

EachOf

"each of"

Instances

Eq DistributiveMarker
Show DistributiveMarker
ToMarkup DistributiveMarker
Pretty DistributiveMarker

data GeneralizedQuantor Source

Constructors

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

Instances

Eq GeneralizedQuantor
Show GeneralizedQuantor
ToMarkup GeneralizedQuantor
Pretty GeneralizedQuantor

data PossessivePronoun Source

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
Show PossessivePronoun
ToMarkup PossessivePronoun
Pretty PossessivePronoun

data Pronoun Source

Instances

Eq Pronoun
Show Pronoun
ToMarkup Pronoun
Pretty Pronoun

data SaxonGenitiveMarker Source

The Saxon genitive used for possession.

Constructors

Apostrophe	"'"
ApostropheS	"'s"

Instances

Eq SaxonGenitiveMarker
Show SaxonGenitiveMarker
ToMarkup SaxonGenitiveMarker
Pretty SaxonGenitiveMarker

data UniversalGlobalQuantor Source

Constructors

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

Instances

Eq UniversalGlobalQuantor
Show UniversalGlobalQuantor
ToMarkup UniversalGlobalQuantor
Pretty UniversalGlobalQuantor

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

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

Eq ComplV
Show ComplV
ToMarkup ComplV
Pretty ComplV

Eq RelativeClause
Show RelativeClause
ToMarkup RelativeClause
Pretty RelativeClause

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