structure Phenomena.Focus.Basic.FocusDatum : Type

Focus phenomenon datum (CAPS marks prosodic prominence).

• sentence : String
• focus : String

  The focused element(s)

• alternatives : List String

  Focus alternatives evoked

• effect : String

  Description of the interpretive effect

• application : Core.InformationStructure.FIPApplication

  Which FIP application this exemplifies

• notes : String

  Notes

• source : String

  Source reference

instance Phenomena.Focus.Basic.instReprFocusDatum : Repr FocusDatum

Equations

• Phenomena.Focus.Basic.instReprFocusDatum = { reprPrec := Phenomena.Focus.Basic.instReprFocusDatum.repr }

def Phenomena.Focus.Basic.instReprFocusDatum.repr : FocusDatum → ℕ → Std.Format

Equations

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

"Only" Associates with Focus

"Only" quantifies over focus alternatives:

• "Mary only introduced BILL to Sue" → Bill is the only one Mary introduced to Sue
• "Mary only introduced Bill to SUE" → Sue is the only one Mary introduced Bill to

The focus position determines what "only" excludes.

def Phenomena.Focus.Basic.roothOnlyBill : FocusDatum

Rooth's classic "only" example: focus on direct object

Equations

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

def Phenomena.Focus.Basic.roothOnlySue : FocusDatum

Same sentence, different focus position

Equations

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

def Phenomena.Focus.Basic.evenExample : FocusDatum

"Even" associates with focus

Equations

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

def Phenomena.Focus.Basic.focusingAdverbExamples : List FocusDatum

Equations

• Phenomena.Focus.Basic.focusingAdverbExamples = [Phenomena.Focus.Basic.roothOnlyBill, Phenomena.Focus.Basic.roothOnlySue, Phenomena.Focus.Basic.evenExample]

Contrast in Discourse

Parallel focus in adjacent clauses triggers a contrast interpretation:

• "An AMERICAN farmer was talking to a CANADIAN farmer"

The focused elements must be alternatives to each other.

def Phenomena.Focus.Basic.roothContrast : FocusDatum

Rooth's contrast example

Equations

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

def Phenomena.Focus.Basic.contrastiveTopic : FocusDatum

Contrastive topic example

Equations

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

def Phenomena.Focus.Basic.vpContrast : FocusDatum

VP contrast

Equations

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

def Phenomena.Focus.Basic.contrastExamples : List FocusDatum

Equations

• Phenomena.Focus.Basic.contrastExamples = [Phenomena.Focus.Basic.roothContrast, Phenomena.Focus.Basic.contrastiveTopic, Phenomena.Focus.Basic.vpContrast]

Focus and Scalar Implicature

Focus on scalar items affects implicature strength:

• "I PASSED the test" (stressed) → strong SI: didn't ace it
• "I passed the test" (unstressed) → weak SI: at least passed

See ProsodicExhaustivity.lean for detailed prosody data.

def Phenomena.Focus.Basic.scalarFocusStrong : FocusDatum

Scalar focus strengthens SI

Equations

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

def Phenomena.Focus.Basic.quantifierFocus : FocusDatum

Focus on quantifier

Equations

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

def Phenomena.Focus.Basic.scalarExamples : List FocusDatum

Equations

• Phenomena.Focus.Basic.scalarExamples = [Phenomena.Focus.Basic.scalarFocusStrong, Phenomena.Focus.Basic.quantifierFocus]

Question-Answer Congruence

The focus of an answer must match the question's wh-position:

• Q: "Who ate the beans?" → A: "FRED ate the beans" ✓
• Q: "Who ate the beans?" → A: "Fred ate the BEANS" ✗

See Questions/FocusAnswer.lean for detailed Q-A congruence data.

def Phenomena.Focus.Basic.qaCongruent : FocusDatum

Q-A congruent example

Equations

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

def Phenomena.Focus.Basic.qaIncongruent : FocusDatum

Q-A incongruent example

Equations

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

def Phenomena.Focus.Basic.qaExamples : List FocusDatum

Equations

• Phenomena.Focus.Basic.qaExamples = [Phenomena.Focus.Basic.qaCongruent, Phenomena.Focus.Basic.qaIncongruent]

def Phenomena.Focus.Basic.allFocusData : List FocusDatum

All focus examples

Equations

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