structure Phenomena.Questions.Coordination.ConjunctiveInterrogativeDatum : Type

A conjunctive interrogative datum.

• question : String

  The conjoined question

• conjunct1 : String

  First conjunct

• conjunct2 : String

  Second conjunct

• conjunctionType : String

  Type of conjunction (and, and also, etc.)

• completeAnswer : String

  Example complete answer

• partialAnswer : Option String

  Example partial answer (answers only one conjunct)

• partialOK : Bool

  Is partial answer acceptable?

• notes : String

  Notes

• source : String

  Source

@[implicit_reducible]

instance Phenomena.Questions.Coordination.instReprConjunctiveInterrogativeDatum : Repr ConjunctiveInterrogativeDatum

Equations

• Phenomena.Questions.Coordination.instReprConjunctiveInterrogativeDatum = { reprPrec := Phenomena.Questions.Coordination.instReprConjunctiveInterrogativeDatum.repr }

def Phenomena.Questions.Coordination.instReprConjunctiveInterrogativeDatum.repr : ConjunctiveInterrogativeDatum → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.whoCameWhatBring : ConjunctiveInterrogativeDatum

G&S: "Who came and what did they bring?"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.whoInvitedExcluded : ConjunctiveInterrogativeDatum

"Who will be invited and who will be excluded?"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.whereWhenJohn : ConjunctiveInterrogativeDatum

"Where did John go and when did he return?"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.whichPassedFailed : ConjunctiveInterrogativeDatum

"Which students passed and which students failed?"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.conjunctiveInterrogativeExamples : List ConjunctiveInterrogativeDatum

Equations

• One or more equations did not get rendered due to their size.

structure Phenomena.Questions.Coordination.DisjunctiveInterrogativeDatum : Type

A disjunctive interrogative datum.

• question : String

  The disjoined question

• disjunct1 : String

  First disjunct

• disjunct2 : String

  Second disjunct

• alternativeAnswer : String

  Alternative reading answer

• polarAnswer : String

  Polar-disjunction reading answer

• preferredReading : String

  Which reading is preferred in context

• prosody : String

  Prosodic cues

• source : String

  Source

def Phenomena.Questions.Coordination.instReprDisjunctiveInterrogativeDatum.repr : DisjunctiveInterrogativeDatum → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance Phenomena.Questions.Coordination.instReprDisjunctiveInterrogativeDatum : Repr DisjunctiveInterrogativeDatum

Equations

• Phenomena.Questions.Coordination.instReprDisjunctiveInterrogativeDatum = { reprPrec := Phenomena.Questions.Coordination.instReprDisjunctiveInterrogativeDatum.repr }

def Phenomena.Questions.Coordination.didJohnOrMary_alt : DisjunctiveInterrogativeDatum

G&S: "Did John come or did Mary come?" (alternative reading)

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.didJohnOrMary_polar : DisjunctiveInterrogativeDatum

Polar over disjunction reading

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.doorOpenClosed : DisjunctiveInterrogativeDatum

"Is the door open or closed?" (forced alternative)

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.marryMeOrNot : DisjunctiveInterrogativeDatum

"Will you marry me or not?" (insistent alternative)

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.disjunctiveInterrogativeExamples : List DisjunctiveInterrogativeDatum

Equations

• One or more equations did not get rendered due to their size.

structure Phenomena.Questions.Coordination.AlternativeQuestionDatum : Type

Alternative question data: exclusive choice among options.

• question : String

  The question

• alternatives : List String

  The alternatives

• exhaustive : Bool

  Are alternatives exhaustive?

• yesNoOK : Bool

  Can "yes/no" answer?

• answerType : String

  Expected answer type

• source : String

  Source

def Phenomena.Questions.Coordination.instReprAlternativeQuestionDatum.repr : AlternativeQuestionDatum → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance Phenomena.Questions.Coordination.instReprAlternativeQuestionDatum : Repr AlternativeQuestionDatum

Equations

• Phenomena.Questions.Coordination.instReprAlternativeQuestionDatum = { reprPrec := Phenomena.Questions.Coordination.instReprAlternativeQuestionDatum.repr }

def Phenomena.Questions.Coordination.teaOrCoffee : AlternativeQuestionDatum

"Do you want tea or coffee?"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.oddOrEven : AlternativeQuestionDatum

"Is the number odd or even?"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.johnMaryBill : AlternativeQuestionDatum

"Did John, Mary, or Bill do it?"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.alternativeQuestionExamples : List AlternativeQuestionDatum

Equations

• One or more equations did not get rendered due to their size.

structure Phenomena.Questions.Coordination.EmbeddedCoordinationDatum : Type

Data on coordination under attitude verbs.

• sentence : String

  The sentence

• verb : String

  The embedding verb

• coordinatedQ : String

  The coordinated question

• coordType : String

  Coordination type

• interpretation : String

  Interpretation

• source : String

  Source

@[implicit_reducible]

instance Phenomena.Questions.Coordination.instReprEmbeddedCoordinationDatum : Repr EmbeddedCoordinationDatum

Equations

• Phenomena.Questions.Coordination.instReprEmbeddedCoordinationDatum = { reprPrec := Phenomena.Questions.Coordination.instReprEmbeddedCoordinationDatum.repr }

def Phenomena.Questions.Coordination.instReprEmbeddedCoordinationDatum.repr : EmbeddedCoordinationDatum → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.knowWhoWhatConj : EmbeddedCoordinationDatum

"John knows who came and what they brought"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.wonderWhetherDisj : EmbeddedCoordinationDatum

"Mary wonders whether Bill left or whether Sue arrived"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.dontKnowDisj : EmbeddedCoordinationDatum

"I don't know who won or who lost"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.embeddedCoordinationExamples : List EmbeddedCoordinationDatum

Equations

• One or more equations did not get rendered due to their size.

structure Phenomena.Questions.Coordination.SluicingCoordinationDatum : Type

Sluicing examples with coordinated antecedents.

• discourse : String

  The full discourse

• antecedent : String

  The antecedent clause

• sluice : String

  The sluiced question

• reconstruction : String

  The reconstructed question

• acceptable : Bool

  Is the sluice acceptable?

• source : String

  Source

@[implicit_reducible]

instance Phenomena.Questions.Coordination.instReprSluicingCoordinationDatum : Repr SluicingCoordinationDatum

Equations

• Phenomena.Questions.Coordination.instReprSluicingCoordinationDatum = { reprPrec := Phenomena.Questions.Coordination.instReprSluicingCoordinationDatum.repr }

def Phenomena.Questions.Coordination.instReprSluicingCoordinationDatum.repr : SluicingCoordinationDatum → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.talkedSomeone : SluicingCoordinationDatum

"John talked to someone, and I know who"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.bothInvitedSomeone : SluicingCoordinationDatum

"John invited someone and Mary invited someone, and I know who"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.sluicingCoordinationExamples : List SluicingCoordinationDatum

Equations

• Phenomena.Questions.Coordination.sluicingCoordinationExamples = [Phenomena.Questions.Coordination.talkedSomeone, Phenomena.Questions.Coordination.bothInvitedSomeone]

structure Phenomena.Questions.Coordination.MultipleCoordinationDatum : Type

Data on questions with more than two conjuncts/disjuncts.

• question : String

  The question

• numElements : ℕ

  Number of coordinated elements

• elements : List String

  The elements

• coordType : String

  Coordination type

• answerForm : String

  Complete answer form

• source : String

  Source

@[implicit_reducible]

instance Phenomena.Questions.Coordination.instReprMultipleCoordinationDatum : Repr MultipleCoordinationDatum

Equations

• Phenomena.Questions.Coordination.instReprMultipleCoordinationDatum = { reprPrec := Phenomena.Questions.Coordination.instReprMultipleCoordinationDatum.repr }

def Phenomena.Questions.Coordination.instReprMultipleCoordinationDatum.repr : MultipleCoordinationDatum → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.threeConjuncts : MultipleCoordinationDatum

"Who came, what did they bring, and when did they leave?"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.fourDisjuncts : MultipleCoordinationDatum

"Did John, Mary, Bill, or Sue win?"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.multipleCoordinationExamples : List MultipleCoordinationDatum

Equations

• Phenomena.Questions.Coordination.multipleCoordinationExamples = [Phenomena.Questions.Coordination.threeConjuncts, Phenomena.Questions.Coordination.fourDisjuncts]

structure Phenomena.Questions.Coordination.ConjAltMinimalPair : Type

Minimal pairs: conjunction vs alternative interpretation.

• question : String

  The ambiguous question

• conjInterpretation : String

  Conjunctive interpretation

• altInterpretation : String

  Alternative interpretation

• prosody : String

  Prosodic disambiguation

• source : String

  Source

def Phenomena.Questions.Coordination.instReprConjAltMinimalPair.repr : ConjAltMinimalPair → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance Phenomena.Questions.Coordination.instReprConjAltMinimalPair : Repr ConjAltMinimalPair

Equations

• Phenomena.Questions.Coordination.instReprConjAltMinimalPair = { reprPrec := Phenomena.Questions.Coordination.instReprConjAltMinimalPair.repr }

def Phenomena.Questions.Coordination.johnOrMaryMinimal : ConjAltMinimalPair

"Did John or Mary call?"

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.Coordination.conjAltMinimalPairs : List ConjAltMinimalPair

Equations

• Phenomena.Questions.Coordination.conjAltMinimalPairs = [Phenomena.Questions.Coordination.johnOrMaryMinimal]

def Phenomena.Questions.Coordination.coordinationPrinciples : List String

G&S key principles for interrogative coordination

Equations

• One or more equations did not get rendered due to their size.