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

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

data SentenceCoord_1 Source

Constructors

SentenceCoord_1 !SentenceCoord_2 !(Maybe SentenceCoord_1)

Instances

Eq SentenceCoord_1
Show SentenceCoord_1

data SentenceCoord_2 Source

Constructors

SentenceCoord_2 !SentenceCoord_3 !(Maybe SentenceCoord_2)

Instances

Eq SentenceCoord_2
Show SentenceCoord_2

data SentenceCoord_3 Source

Constructors

SentenceCoord_3 !TopicalizedSentence !(Maybe SentenceCoord_3)

Instances

Eq SentenceCoord_3
Show SentenceCoord_3

data Plurality Source

Singular/plural.

Constructors

Singular
Plural

Instances

Eq Plurality
Show Plurality

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

data UniversalTopic Source

Constructors

UniversalTopic !UniversalGlobalQuantor !N'

Instances

Eq UniversalTopic
Show UniversalTopic

data CompositeSentence Source

Constructors

CompositeSentenceCond !ConditionalSentence
CompositeSentenceNeg !NegatedSentence
CompositeSentence !Sentence

Instances

Eq CompositeSentence
Show CompositeSentence

data ConditionalSentence Source

Constructors

ConditionalSentence !SentenceCoord !SentenceCoord

Instances

Eq ConditionalSentence
Show ConditionalSentence

data NegatedSentence Source

Constructors

NegatedSentence !SentenceCoord

Instances

Eq NegatedSentence
Show NegatedSentence

data Sentence Source

Constructors

Sentence !NPCoord !VPCoord

Instances

Eq Sentence
Show Sentence

data ExistentialTopic Source

Constructors

ExistentialTopic !ExistentialGlobalQuantor !NPCoord

Instances

Eq ExistentialTopic
Show ExistentialTopic

data NPCoord Source

Constructors

NPCoordDistributed !DistributiveMarker !UnmarkedNPCoord
NPCoordUnmarked !UnmarkedNPCoord

Instances

Eq NPCoord
Show NPCoord

data UnmarkedNPCoord Source

Constructors

UnmarkedNPCoord !NP !(Maybe UnmarkedNPCoord)

Instances

Eq UnmarkedNPCoord
Show UnmarkedNPCoord

data N' Source

Modified noun.

Constructors

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

Instances

Eq N'
Show N'

data NP Source

Noun-phrase.

Constructors

NP !Specifier !N'

Instances

Eq NP
Show NP

data N Source

A noun.

Constructors

N !Text

Instances

Eq N
Show N

data PP Source

Constructors

PP !Preposition !NPCoord

Instances

Eq PP
Show PP

data Preposition Source

Constructors

Preposition !Text

Instances

Eq Preposition
Show Preposition

data ApposCoord Source

Constructors

ApposCoord !Apposition !(Maybe ApposCoord)

Instances

Eq ApposCoord
Show ApposCoord

data Apposition Source

Constructors

AppositionVar !Variable
AppositionQuote !Quotation

Instances

Eq Apposition
Show Apposition

data Quotation Source

Constructors

Quotation !Text

Instances

Eq Quotation
Show Quotation

data Variable Source

Constructors

Variable !Text

Instances

Eq Variable
Show Variable

data RelativeClauseCoord Source

Constructors

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

Instances

Eq RelativeClauseCoord
Show RelativeClauseCoord

data PossessiveNPCoord Source

Constructors

PossessiveNPCoordGen !GenitiveNPCoord
PossessiveNPCoordPronoun !PossessivePronounCoord

Instances

Eq PossessiveNPCoord
Show PossessiveNPCoord

data GenitiveNPCoord Source

Constructors

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

Instances

Eq GenitiveNPCoord
Show GenitiveNPCoord

data ProperName Source

Constructors

ProperName !Text

Instances

Eq ProperName
Show ProperName

data PossessivePronounCoord Source

Constructors

PossessivePronounCoord !PossessivePronoun !(Maybe PossessivePronounCoord)

Instances

Eq PossessivePronounCoord
Show PossessivePronounCoord

data GenitiveTail Source

Constructors

GenitiveTailSaxonTail !SaxonGenitiveTail
GenitiveTailCoordtail !GenitiveCoordTail

Instances

Eq GenitiveTail
Show GenitiveTail

data GenitiveCoordTail Source

Constructors

GenitiveCoordTail !GenitiveNPCoord

Instances

Eq GenitiveCoordTail
Show GenitiveCoordTail

data SaxonGenitiveTail Source

Constructors

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

Instances

Eq SaxonGenitiveTail
Show 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

data VPCoord Source

Constructors

VPCoord' !VP !Coord !VPCoord
VPCoordVP !VP

Instances

Eq VPCoord
Show VPCoord

data GenitiveSpecifier Source

Constructors

GenitiveSpecifierD !Determiner
GenitiveSpecifierPPC !PossessivePronounCoord
GenitiveSpecifierN !Integer

Instances

Eq GenitiveSpecifier
Show GenitiveSpecifier

data GenitiveN' Source

Constructors

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

Instances

Eq GenitiveN'
Show GenitiveN'

data VP Source

Constructors

VP !V'
VPNeg !Copula !V'

Instances

Eq VP
Show VP

data V' Source

Constructors

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

Instances

Eq V'
Show V'

data AdverbCoord Source

Constructors

AdverbCoord !Adverb !(Maybe AdverbCoord)

Instances

Eq AdverbCoord
Show AdverbCoord

data PhrasalTransitiveV Source

Constructors

PhrasalTransitiveV !Text

Instances

Eq PhrasalTransitiveV
Show PhrasalTransitiveV

data PhrasalDistransitiveV Source

Constructors

PhrasalDistransitiveV !Text

Instances

Eq PhrasalDistransitiveV
Show PhrasalDistransitiveV

data CopulaCompl Source

Constructors

CopulaComplAPC !APCoord
CopulaComplNPC !NPCoord
CopulaComplPP !PP

Instances

Eq CopulaCompl
Show CopulaCompl

data APCoord Source

Constructors

APCoordAnd !APgrad !APCoord
APCoord !APgrad

Instances

Eq APCoord
Show APCoord

data APgrad Source

Constructors

APgradAPThan !AP !NPCoord
APgradAP !AP

Instances

Eq APgrad
Show APgrad

data AP Source

Constructors

APIntrans !IntransitiveAdjective
APTrans !TransitiveAdjective !PP

Instances

Eq AP
Show AP

data TransitiveAdjective Source

Constructors

TransitiveAdjective !Text

Instances

Eq TransitiveAdjective
Show TransitiveAdjective

data Compl Source

Constructors

ComplNP !NPCoord
ComplPP !PP

Instances

Eq Compl
Show Compl

data PhrasalIntransitiveV Source

Constructors

PhrasalIntransitiveV !Text

Instances

Eq PhrasalIntransitiveV
Show PhrasalIntransitiveV

data PhrasalParticle Source

Constructors

PhrasalParticle !Text

Instances

Eq PhrasalParticle
Show PhrasalParticle

data IntransitiveV Source

Constructors

IntransitiveV !Text

Instances

Eq IntransitiveV
Show IntransitiveV

data TransitiveV Source

Constructors

TransitiveV !Text

Instances

Eq TransitiveV
Show TransitiveV

data DistransitiveV Source

Constructors

DistransitiveV !Text

Instances

Eq DistransitiveV
Show DistransitiveV

data IntransitiveAdjective Source

Constructors

IntransitiveAdjective !Text

Instances

Eq IntransitiveAdjective
Show IntransitiveAdjective

data VModifier Source

Constructors

VModifierVC !AdverbCoord
VModifierPP !PP
VModifierAVPP !AdverbialPP

Instances

Eq VModifier
Show VModifier

data AdverbialPP Source

Constructors

AdverbialPP !Preposition !AdverbCoord

Instances

Eq AdverbialPP
Show AdverbialPP

data Adverb Source

Constructors

Adverb !Text

Instances

Eq Adverb
Show Adverb

data Specifier Source

Constructors

SpecifyDeterminer !Determiner
SpecifyPossessive !PossessiveNPCoord
SpecifyNumberP !NumberP

Instances

Eq Specifier
Show Specifier

data AdjectiveCoord Source

Constructors

AdjectiveCoord !IntransitiveAdjective !(Maybe AdjectiveCoord)

Instances

Eq AdjectiveCoord
Show AdjectiveCoord

data NumberP Source

Constructors

NumberP !(Maybe GeneralizedQuantor) !Integer

Instances

Eq NumberP
Show NumberP

data ExistentialGlobalQuantor Source

Constructors

ExistentialGlobalQuantor !Copula

Instances

Eq ExistentialGlobalQuantor
Show 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"
NotEveryEach	"not every" / "not each"
NotAll	"not all"
Which	"which"

Instances

Eq Determiner
Show Determiner

data DistributiveGlobalQuantor Source

Constructors

ForEachOf

"for each of"

Instances

Eq DistributiveGlobalQuantor
Show DistributiveGlobalQuantor

data DistributiveMarker Source

Constructors

EachOf

"each of"

Instances

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

data PossessivePronoun Source

Constructors

HisHer	"his" \"her\" "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

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

data SaxonGenitiveMarker Source

The Saxon genitive used for possession.

Constructors

Apostrophe	"'"
ApostropheS	"'s"

Instances

Eq SaxonGenitiveMarker
Show SaxonGenitiveMarker

data UniversalGlobalQuantor Source

Constructors

ForEveryEach	"for every" / "for each"
ForAll	"for all"

Instances

Eq UniversalGlobalQuantor
Show 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