structure Phenomena.Questions.FocusAnswer.FocusAnswerDatum : Type

A focus-answer datum: shows how focus placement determines question fit.

• sentence : String

  The sentence (without focus marking)

• question : String

  The question this answers (with focus on X)

• focusedConstituent : String

  Which constituent is focused

• focusedForm : String

  Focus marking (e.g., "JOHN called")

• congruent : Bool

  Is this a congruent Q-A pair?

• source : String

  Source citation

instance Phenomena.Questions.FocusAnswer.instReprFocusAnswerDatum : Repr FocusAnswerDatum

Equations

• Phenomena.Questions.FocusAnswer.instReprFocusAnswerDatum = { reprPrec := Phenomena.Questions.FocusAnswer.instReprFocusAnswerDatum.repr }

def Phenomena.Questions.FocusAnswer.instReprFocusAnswerDatum.repr : FocusAnswerDatum → Nat → Std.Format

Equations

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

def Phenomena.Questions.FocusAnswer.johnCalledMary_whoSubj : FocusAnswerDatum

@cite{groenendijk-stokhof-1984}, p. 275: "John called Mary" with different foci

Equations

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

def Phenomena.Questions.FocusAnswer.johnCalledMary_whoObj : FocusAnswerDatum

Equations

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

def Phenomena.Questions.FocusAnswer.johnCalledMary_whatDo : FocusAnswerDatum

Equations

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

def Phenomena.Questions.FocusAnswer.johnCalledMary_incongruent : FocusAnswerDatum

Incongruent: wrong focus for the question

Equations

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

def Phenomena.Questions.FocusAnswer.focusAnswerExamples : List FocusAnswerDatum

Equations

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

structure Phenomena.Questions.FocusAnswer.MultipleFocusDatum : Type

Shows how the same sentence answers multiple questions via focus shift.

• sentence : String

  The base sentence

• questionFocusPairs : List (String × String)

  Questions it can answer (with corresponding focus)

• source : String

  Source

def Phenomena.Questions.FocusAnswer.instReprMultipleFocusDatum.repr : MultipleFocusDatum → Nat → Std.Format

Equations

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

instance Phenomena.Questions.FocusAnswer.instReprMultipleFocusDatum : Repr MultipleFocusDatum

Equations

• Phenomena.Questions.FocusAnswer.instReprMultipleFocusDatum = { reprPrec := Phenomena.Questions.FocusAnswer.instReprMultipleFocusDatum.repr }

def Phenomena.Questions.FocusAnswer.maryBoughtBook : MultipleFocusDatum

Equations

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

def Phenomena.Questions.FocusAnswer.multipleQuestionExamples : List MultipleFocusDatum

Equations

• Phenomena.Questions.FocusAnswer.multipleQuestionExamples = [Phenomena.Questions.FocusAnswer.maryBoughtBook]

structure Phenomena.Questions.FocusAnswer.ExhaustiveFocusDatum : Type

Focus triggers exhaustification relative to the question.

"JOHN called" (answering "Who called?") implies:

• John called (assertion)
• No one else called (exhaustive implicature)

• answer : String

  The focused answer

• question : String

  The question

• exhaustiveReading : String

  The exhaustive interpretation

• obligatory : Bool

  Is this exhaustive reading obligatory or optional?

• source : String

  Source

def Phenomena.Questions.FocusAnswer.instReprExhaustiveFocusDatum.repr : ExhaustiveFocusDatum → Nat → Std.Format

Equations

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

instance Phenomena.Questions.FocusAnswer.instReprExhaustiveFocusDatum : Repr ExhaustiveFocusDatum

Equations

• Phenomena.Questions.FocusAnswer.instReprExhaustiveFocusDatum = { reprPrec := Phenomena.Questions.FocusAnswer.instReprExhaustiveFocusDatum.repr }

def Phenomena.Questions.FocusAnswer.johnCalled_exh : ExhaustiveFocusDatum

Equations

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

def Phenomena.Questions.FocusAnswer.johnAndMary_exh : ExhaustiveFocusDatum

Equations

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

def Phenomena.Questions.FocusAnswer.exhaustiveFocusExamples : List ExhaustiveFocusDatum

Equations

• Phenomena.Questions.FocusAnswer.exhaustiveFocusExamples = [Phenomena.Questions.FocusAnswer.johnCalled_exh, Phenomena.Questions.FocusAnswer.johnAndMary_exh]

structure Phenomena.Questions.FocusAnswer.FocusMismatchDatum : Type

When focus doesn't match the question, the result is infelicitous.

• question : String

  The question

• answer : String

  The (mis)focused answer

• problem : String

  What's wrong

• felicitous : Bool

  Felicity judgment

def Phenomena.Questions.FocusAnswer.instReprFocusMismatchDatum.repr : FocusMismatchDatum → Nat → Std.Format

Equations

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

instance Phenomena.Questions.FocusAnswer.instReprFocusMismatchDatum : Repr FocusMismatchDatum

Equations

• Phenomena.Questions.FocusAnswer.instReprFocusMismatchDatum = { reprPrec := Phenomena.Questions.FocusAnswer.instReprFocusMismatchDatum.repr }

def Phenomena.Questions.FocusAnswer.mismatch1 : FocusMismatchDatum

Equations

• Phenomena.Questions.FocusAnswer.mismatch1 = { question := "Who called Mary?", answer := "John called MARY", problem := "Focus on object, but question asks about subject", felicitous := false }

def Phenomena.Questions.FocusAnswer.mismatch2 : FocusMismatchDatum

Equations

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

def Phenomena.Questions.FocusAnswer.focusMismatchExamples : List FocusMismatchDatum

Equations

• Phenomena.Questions.FocusAnswer.focusMismatchExamples = [Phenomena.Questions.FocusAnswer.mismatch1, Phenomena.Questions.FocusAnswer.mismatch2]

def Phenomena.Questions.FocusAnswer.congruenceCondition : String

The formal congruence condition (@cite{rooth-1992}, building on G&S):

An answer A is congruent to question Q iff:

• The ordinary semantic value of A is in the question denotation
• The focus semantic value of A equals the question denotation

Informally: the alternatives generated by focus must match the alternatives denoted by the question.

Equations

• Phenomena.Questions.FocusAnswer.congruenceCondition = "⟦A⟧^f = ⟦Q⟧ (focus alternatives = question denotation)"