@cite{fillmore-kay-oconnor-1988}: Let Alone — Empirical Data

@cite{fillmore-kay-oconnor-1988}

Theory-neutral grammaticality judgments and contrasts from "Regularity and Idiomaticity in Grammatical Constructions: The Case of Let Alone" (Language 64(3):501–538).

Phenomena covered

1. NPI licensing: which environments license let alone (§2.2.4)
2. Topicalization asymmetry: let alone B cannot topicalize (§2.2.1)
3. VP ellipsis impossibility: unlike and, let alone blocks VP ellipsis (§2.2.1)
4. Scalar anomaly: swapping foci on the scale yields anomaly (§2.3.2)
5. NPI trigger contrasts: barely licenses, almost/only do not (§2.2.4)
6. Wh-extraction asymmetry: easier from let alone than from and (§2.2.1)

structure Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ExampleDatum : Type

A single attested or judged example.

• exNumber : String

  Example number in the paper

• sentence : String

  The sentence

• judgment : Core.Empirical.Acceptability

  Acceptability judgment

• phenomenon : String

  What phenomenon this illustrates

instance Phenomena.Constructions.Studies.FillmoreKayOConnor1988.instReprExampleDatum : Repr ExampleDatum

Equations

• Phenomena.Constructions.Studies.FillmoreKayOConnor1988.instReprExampleDatum = { reprPrec := Phenomena.Constructions.Studies.FillmoreKayOConnor1988.instReprExampleDatum.repr }

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.instReprExampleDatum.repr : ExampleDatum → ℕ → Std.Format

Equations

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

instance Phenomena.Constructions.Studies.FillmoreKayOConnor1988.instBEqExampleDatum : BEq ExampleDatum

Equations

• Phenomena.Constructions.Studies.FillmoreKayOConnor1988.instBEqExampleDatum = { beq := Phenomena.Constructions.Studies.FillmoreKayOConnor1988.instBEqExampleDatum.beq }

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.instBEqExampleDatum.beq : ExampleDatum → ExampleDatum → Bool

Equations

• One or more equations did not get rendered due to their size.
• Phenomena.Constructions.Studies.FillmoreKayOConnor1988.instBEqExampleDatum.beq x✝¹ x✝ = false

1. Basic let alone examples (§2.1, exx.15–19)

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex15b : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex16b : ExampleDatum

Equations

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

2. NPI trigger contrasts (§2.2.4, exx.62–70, 113–115)

barely licenses let alone; almost and non-subject only do not.

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex62 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex63 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex66 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex113 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex114 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex115 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.npiContrasts : List ExampleDatum

NPI licensing contrasts: barely licenses, almost and only do not.

Equations

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

3. Topicalization asymmetry (§2.2.1, exx.31a–d)

let alone B cannot be topicalized, unlike coordinate and phrases. This shows let alone is not a standard coordinating conjunction.

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex31a : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex31b : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex31c : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex31d : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.topicalizationContrasts : List ExampleDatum

Topicalization asymmetry: and allows full topicalization, let alone only allows extraposed second conjunct.

Equations

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

4. VP ellipsis impossibility (§2.2.1, exx.39–41)

let alone does not permit VP ellipsis, unlike and and comparatives.

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex39 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex40 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex41 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.vpEllipsisContrasts : List ExampleDatum

VP ellipsis contrast: and/but allow it, let alone does not.

Equations

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

5. Wh-extraction asymmetry (§2.2.1, exx.32a–b)

Wh-extraction from a let alone phrase is sometimes easier than from a corresponding and-coordination.

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex32a : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex32b : ExampleDatum

Equations

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

6. Scalar anomaly (§2.3.2, exx.104, 121–122)

Swapping the scalar order of foci yields pragmatic anomaly. The A focus (stronger clause) must be scalar-stronger than B.

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex104 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex121 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex122a : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex122b : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.scalarAnomalyContrasts : List ExampleDatum

Scalar anomaly contrasts: well-formed scalar ordering vs. swapped foci.

Equations

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

7. IT-cleft asymmetry (§2.2.1, exx.33–34)

IT-clefting is possible with a full and-coordination but not with let alone.

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex33 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex34 : ExampleDatum

Equations

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

8. Lowest-point anomaly (§2.3.2, exx.106–107)

When the B focus names the LOWEST point on the scale, the sentence is anomalous. "He wasn't even a commissioned officer, let alone a colonel" is fine (colonel is higher than commissioned officer). But "#He wasn't even a commissioned officer, let alone a second lieutenant" is anomalous because second lieutenant IS the lowest commissioned rank: negating attainment of a non-lowest point does not a fortiori imply negating attainment of the lowest point — it IS the lowest.

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex106 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex107 : ExampleDatum

Equations

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

9. Positive polarity examples (§2.2.4, exx.71–72)

Rare but attested: let alone in non-negative contexts. These challenge a purely syntactic NPI account.

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex71 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex72 : ExampleDatum

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.positivePolarityExamples : List ExampleDatum

Positive polarity let alone examples challenge pure NPI analysis.

Equations

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

All data

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.allExamples : List ExampleDatum

All judgment data from the paper.

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.grammaticalExamples : List ExampleDatum

All grammatical examples.

Equations

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

def Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ungrammaticalExamples : List ExampleDatum

All ungrammatical examples.

Equations

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

theorem Phenomena.Constructions.Studies.FillmoreKayOConnor1988.has_all_judgment_types : (allExamples.any fun (x : ExampleDatum) => x.judgment == Core.Empirical.Acceptability.ok) = true ∧ (allExamples.any fun (x : ExampleDatum) => x.judgment == Core.Empirical.Acceptability.unacceptable) = true ∧ (allExamples.any fun (x : ExampleDatum) => x.judgment == Core.Empirical.Acceptability.marginal) = true ∧ (allExamples.any fun (x : ExampleDatum) => x.judgment == Core.Empirical.Acceptability.anomalous) = true

Verification: we have examples of all judgment types.

Bridge content (merged from CxG_FillmoreKayOConnor1988Bridge.lean)

Bridge: FKO1988 CxG Theory → Polarity & Constructions Phenomena

@cite{fillmore-kay-oconnor-1988}

Connects the Construction Grammar analysis of let alone to:

1. NPI licensing contexts in Phenomena.Polarity.NPIs — maps each FKO NPI trigger type to a known licensing context
2. Empirical judgments in Phenomena.Constructions.Studies.FillmoreKayOConnor1988 — verifies that barely licenses let alone while almost does not

Bridge 1: NPI triggers → Polarity.NPIs.LicensingContext

FKO1988's NPI trigger inventory (§2.2.4) maps onto the licensing contexts already catalogued in Phenomena.Polarity.NPIs. This bridge makes that mapping explicit: each FKO trigger type corresponds to a known NPI licensing context.

def ConstructionGrammar.Studies.FillmoreKayOConnor1988.Bridge.npiTriggerToContext : LetAloneNPITrigger → Phenomena.Polarity.NPIs.LicensingContext

Map FKO1988 let alone NPI triggers to Polarity.NPIs licensing contexts.

Equations

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

Bridge 2: FKO Phenomena data ↔ NPI theory

The phenomena file records that barely licenses let alone (ex.115) while almost does not (ex.113). This matches the Polarity.NPIs classification: barely is a syntactic negative polarity trigger, almost is not.

theorem ConstructionGrammar.Studies.FillmoreKayOConnor1988.Bridge.barely_licenses_let_alone : Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex115.judgment = Core.Empirical.Acceptability.ok

barely licenses let alone in the phenomena data.

theorem ConstructionGrammar.Studies.FillmoreKayOConnor1988.Bridge.almost_blocks_let_alone : Phenomena.Constructions.Studies.FillmoreKayOConnor1988.ex113.judgment = Core.Empirical.Acceptability.unacceptable

almost does NOT license let alone in the phenomena data.