Safe Haskell	None

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

data SentenceCoord_1 Source

Constructors

SentenceCoord_1 !SentenceCoord_2 !(Maybe SentenceCoord_1)

Instances

Eq SentenceCoord_1
Show SentenceCoord_1
Pretty SentenceCoord_1

data SentenceCoord_2 Source

Constructors

SentenceCoord_2 !SentenceCoord_3 !(Maybe SentenceCoord_2)

Instances

Eq SentenceCoord_2
Show SentenceCoord_2
Pretty SentenceCoord_2

data SentenceCoord_3 Source

Constructors

SentenceCoord_3 !TopicalizedSentence !(Maybe SentenceCoord_3)

Instances

Eq SentenceCoord_3
Show 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
Pretty TopicalizedSentence

data UniversalTopic Source

Constructors

UniversalTopic !UniversalGlobalQuantor !N'

Instances

Eq UniversalTopic
Show UniversalTopic
Pretty UniversalTopic

data CompositeSentence Source

Constructors

CompositeSentenceCond !ConditionalSentence
CompositeSentenceNeg !NegatedSentence
CompositeSentence !Sentence

Instances

Eq CompositeSentence
Show CompositeSentence
Pretty CompositeSentence

data ConditionalSentence Source

Constructors

ConditionalSentence !SentenceCoord !SentenceCoord

Instances

Eq ConditionalSentence
Show ConditionalSentence
Pretty ConditionalSentence

data NegatedSentence Source

Constructors

NegatedSentence !SentenceCoord

Instances

Eq NegatedSentence
Show NegatedSentence
Pretty NegatedSentence

data Sentence Source

Constructors

Sentence !NPCoord !VPCoord

Instances

Eq Sentence
Show Sentence
Pretty Sentence

data ExistentialTopic Source

Constructors

ExistentialTopic !ExistentialGlobalQuantor !NPCoord

Instances

Eq ExistentialTopic
Show ExistentialTopic
Pretty ExistentialTopic

data NPCoord Source

Constructors

NPCoordDistributed !DistributiveMarker !UnmarkedNPCoord
NPCoordUnmarked !UnmarkedNPCoord

Instances

Eq NPCoord
Show NPCoord
Pretty NPCoord

data UnmarkedNPCoord Source

Constructors

UnmarkedNPCoord !NP !(Maybe UnmarkedNPCoord)

Instances

Eq UnmarkedNPCoord
Show UnmarkedNPCoord
Pretty UnmarkedNPCoord

data N' Source

Modified noun.

Constructors

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

Instances

Eq N'
Show N'
Pretty N'

data NP Source

Noun-phrase.

Constructors

NP !Specifier !N'

Instances

Eq NP
Show NP
Pretty NP

data N Source

A noun.

Constructors

N !Text

Instances

Eq N
Show N
Pretty N

data PP Source

Constructors

PP !Preposition !NPCoord

Instances

Eq PP
Show PP
Pretty PP

data Preposition Source

Constructors

Preposition !Text

Instances

Eq Preposition
Show Preposition
Pretty Preposition

data ApposCoord Source

Constructors

ApposCoord !Apposition !(Maybe ApposCoord)

Instances

Eq ApposCoord
Show ApposCoord
Pretty ApposCoord

data Apposition Source

Constructors

AppositionVar !Variable
AppositionQuote !Quotation

Instances

Eq Apposition
Show Apposition
Pretty Apposition

data Quotation Source

Constructors

Quotation !Text

Instances

Eq Quotation
Show Quotation
Pretty Quotation

data Variable Source

Constructors

Variable !Text

Instances

Eq Variable
Show Variable
Pretty Variable

data RelativeClauseCoord Source

Constructors

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

Instances

Eq RelativeClauseCoord
Show RelativeClauseCoord
Pretty RelativeClauseCoord

data PossessiveNPCoord Source

Constructors

PossessiveNPCoordGen !GenitiveNPCoord
PossessiveNPCoordPronoun !PossessivePronounCoord

Instances

Eq PossessiveNPCoord
Show PossessiveNPCoord
Pretty PossessiveNPCoord

data GenitiveNPCoord Source

Constructors

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

Instances

Eq GenitiveNPCoord
Show GenitiveNPCoord
Pretty GenitiveNPCoord

data ProperName Source

Constructors

ProperName !Text

Instances

Eq ProperName
Show ProperName
Pretty ProperName

data PossessivePronounCoord Source

Constructors

PossessivePronounCoord !PossessivePronoun !(Maybe PossessivePronounCoord)

Instances

Eq PossessivePronounCoord
Show PossessivePronounCoord
Pretty PossessivePronounCoord

data GenitiveTail Source

Constructors

GenitiveTailSaxonTail !SaxonGenitiveTail
GenitiveTailCoordtail !GenitiveCoordTail

Instances

Eq GenitiveTail
Show GenitiveTail
Pretty GenitiveTail

data GenitiveCoordTail Source

Constructors

GenitiveCoordTail !GenitiveNPCoord

Instances

Eq GenitiveCoordTail
Show GenitiveCoordTail
Pretty GenitiveCoordTail

data SaxonGenitiveTail Source

Constructors

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

Instances

Eq SaxonGenitiveTail
Show SaxonGenitiveTail
Pretty SaxonGenitiveTail

data RelativeClause Source

Constructors

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

Instances

Eq RelativeClause
Show RelativeClause
Pretty RelativeClause

data VPCoord Source

Constructors

VPCoord' !VP !Coord !VPCoord
VPCoordVP !VP

Instances

Eq VPCoord
Show VPCoord
Pretty VPCoord

data GenitiveSpecifier Source

Constructors

GenitiveSpecifierD !Determiner
GenitiveSpecifierPPC !PossessivePronounCoord
GenitiveSpecifierN !Integer

Instances

Eq GenitiveSpecifier
Show GenitiveSpecifier
Pretty GenitiveSpecifier

data GenitiveN' Source

Constructors

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

Instances

Eq GenitiveN'
Show GenitiveN'
Pretty GenitiveN'

data VP Source

Constructors

VP !V'
VPNeg !Copula !V'

Instances

Eq VP
Show VP
Pretty VP

data V' Source

Constructors

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

Instances

Eq V'
Show V'
Pretty V'

data AdverbCoord Source

Constructors

AdverbCoord !Adverb !(Maybe AdverbCoord)

Instances

Eq AdverbCoord
Show AdverbCoord
Pretty AdverbCoord

data PhrasalTransitiveV Source

Constructors

PhrasalTransitiveV !Text

Instances

Eq PhrasalTransitiveV
Show PhrasalTransitiveV
Pretty PhrasalTransitiveV

data PhrasalDistransitiveV Source

Constructors

PhrasalDistransitiveV !Text

Instances

Eq PhrasalDistransitiveV
Show PhrasalDistransitiveV
Pretty PhrasalDistransitiveV

data CopulaCompl Source

Constructors

CopulaComplAPC !APCoord
CopulaComplNPC !NPCoord
CopulaComplPP !PP

Instances

Eq CopulaCompl
Show CopulaCompl
Pretty CopulaCompl

data APCoord Source

Constructors

APCoordAnd !APgrad !APCoord
APCoord !APgrad

Instances

Eq APCoord
Show APCoord
Pretty APCoord

data APgrad Source

Constructors

APgradAPThan !AP !NPCoord
APgradAP !AP

Instances

Eq APgrad
Show APgrad
Pretty APgrad

data AP Source

Constructors

APIntrans !IntransitiveAdjective
APTrans !TransitiveAdjective !PP

Instances

Eq AP
Show AP
Pretty AP

data TransitiveAdjective Source

Constructors

TransitiveAdjective !Text

Instances

Eq TransitiveAdjective
Show TransitiveAdjective
Pretty TransitiveAdjective

data Compl Source

Constructors

ComplNP !NPCoord
ComplPP !PP

Instances

Eq Compl
Show Compl
Pretty Compl

data PhrasalIntransitiveV Source

Constructors

PhrasalIntransitiveV !Text

Instances

Eq PhrasalIntransitiveV
Show PhrasalIntransitiveV
Pretty PhrasalIntransitiveV

data PhrasalParticle Source

Constructors

PhrasalParticle !Text

Instances

Eq PhrasalParticle
Show PhrasalParticle
Pretty PhrasalParticle

data IntransitiveV Source

Constructors

IntransitiveV !Text

Instances

Eq IntransitiveV
Show IntransitiveV
Pretty IntransitiveV

data TransitiveV Source

Constructors

TransitiveV !Text

Instances

Eq TransitiveV
Show TransitiveV
Pretty TransitiveV

data DistransitiveV Source

Constructors

DistransitiveV !Text

Instances

Eq DistransitiveV
Show DistransitiveV
Pretty DistransitiveV

data IntransitiveAdjective Source

Constructors

IntransitiveAdjective !Text

Instances

Eq IntransitiveAdjective
Show IntransitiveAdjective
Pretty IntransitiveAdjective

data VModifier Source

Constructors

VModifierVC !AdverbCoord
VModifierPP !PP
VModifierAVPP !AdverbialPP

Instances

Eq VModifier
Show VModifier
Pretty VModifier

data AdverbialPP Source

Constructors

AdverbialPP !Preposition !AdverbCoord

Instances

Eq AdverbialPP
Show AdverbialPP
Pretty AdverbialPP

data Adverb Source

Constructors

Adverb !Text

Instances

Eq Adverb
Show Adverb
Pretty Adverb

data Specifier Source

Constructors

SpecifyDeterminer !Determiner
SpecifyPossessive !PossessiveNPCoord
SpecifyNumberP !NumberP

Instances

Eq Specifier
Show Specifier
Pretty Specifier

data AdjectiveCoord Source

Constructors

AdjectiveCoord !IntransitiveAdjective !(Maybe AdjectiveCoord)

Instances

Eq AdjectiveCoord
Show AdjectiveCoord
Pretty AdjectiveCoord

data NumberP Source

Constructors

NumberP !(Maybe GeneralizedQuantor) !Integer

Instances

Eq NumberP
Show NumberP
Pretty NumberP

data ExistentialGlobalQuantor Source

Constructors

ExistentialGlobalQuantor !Copula

Instances

Eq ExistentialGlobalQuantor
Show ExistentialGlobalQuantor
Pretty ExistentialGlobalQuantor

data ExistentialGlobalQuestionQuantor Source

Constructors

ExistentialGlobalQuestionQuantor !Copula

Instances

Eq ExistentialGlobalQuestionQuantor
Show ExistentialGlobalQuestionQuantor
Pretty ExistentialGlobalQuestionQuantor

data Aux Source

Constructors

Do	"do"
Does	"does"

Instances

Eq Aux
Show Aux
Pretty Aux

data Coord Source

Constructors

And	"and"
Or	"or"

Instances

Eq Coord
Show Coord
Pretty Coord

data Copula Source

Constructors

Is	"is"
Are	"are"

Instances

Eq Copula
Show 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
Pretty Determiner

data DistributiveGlobalQuantor Source

Constructors

ForEachOf

"for each of"

Instances

Eq DistributiveGlobalQuantor
Show DistributiveGlobalQuantor
Pretty DistributiveGlobalQuantor

data DistributiveMarker Source

Constructors

EachOf

"each of"

Instances

Eq DistributiveMarker
Show 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
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
Pretty PossessivePronoun

data Pronoun Source

Constructors

It	"it"
HeShe	"he" / "she"
Himher	"him" / "her"
They	"they"
Them	"them"
Itself	"itself"
HimHerSelf	"himself" / "herself"
Themselves	"themselves"
SomeoneSomebody	"someone" / "somebody"
Something	"something"
NoOneNobody	"no one" / "nobody"
NoThing	"nothing"
EveryoneEverybody	"everyone" / "everybody"
Everything	"everything"
NotEveryoneEverybody	"not everyone" / "not everybody"
NotEverything	"not everything"
WhatWho	"what" / "who"
Whom	"whom"
WhichWho	"which" / "who"

Instances

Eq Pronoun
Show Pronoun
Pretty Pronoun

data SaxonGenitiveMarker Source

The Saxon genitive used for possession.

Constructors

Apostrophe	"'"
ApostropheS	"'s"

Instances

Eq SaxonGenitiveMarker
Show SaxonGenitiveMarker
Pretty SaxonGenitiveMarker

data UniversalGlobalQuantor Source

Constructors

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

Instances

Eq UniversalGlobalQuantor
Show UniversalGlobalQuantor
Pretty UniversalGlobalQuantor

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