structure Phenomena.Ellipsis.Sluicing.SluicingDatum : Type

A sluicing datum records a sentence with its ellipsis site

• sentence : String

  The full sentence with sluice

• antecedent : String

  The antecedent clause

• innerAntecedent : String

  The inner antecedent (correlate)

• whPhrase : String

  The wh-phrase

• elided : String

  Reconstructed/elided material

• grammatical : Bool

  Is the sentence grammatical?

• notes : String

  Notes

• source : String

  Citation

@[implicit_reducible]

instance Phenomena.Ellipsis.Sluicing.instReprSluicingDatum : Repr SluicingDatum

Equations

• Phenomena.Ellipsis.Sluicing.instReprSluicingDatum = { reprPrec := Phenomena.Ellipsis.Sluicing.instReprSluicingDatum.repr }

def Phenomena.Ellipsis.Sluicing.instReprSluicingDatum.repr : SluicingDatum → ℕ → Std.Format

Equations

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

def Phenomena.Ellipsis.Sluicing.basicSluice : SluicingDatum

Basic sluicing example

Equations

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

def Phenomena.Ellipsis.Sluicing.objectSluice : SluicingDatum

Sluicing with object correlate

Equations

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

def Phenomena.Ellipsis.Sluicing.embeddedSluice : SluicingDatum

Embedded sluicing

Equations

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

structure Phenomena.Ellipsis.Sluicing.CaseMatchingDatum : Type

Case matching in sluicing

• sentence : String
• whPhraseCase : String
• innerAntecedentCase : String
• grammatical : Bool
• language : String
• notes : String
• source : String

@[implicit_reducible]

instance Phenomena.Ellipsis.Sluicing.instReprCaseMatchingDatum : Repr CaseMatchingDatum

Equations

• Phenomena.Ellipsis.Sluicing.instReprCaseMatchingDatum = { reprPrec := Phenomena.Ellipsis.Sluicing.instReprCaseMatchingDatum.repr }

def Phenomena.Ellipsis.Sluicing.instReprCaseMatchingDatum.repr : CaseMatchingDatum → ℕ → Std.Format

Equations

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

def Phenomena.Ellipsis.Sluicing.germanCaseMatch : CaseMatchingDatum

German case matching - matching cases

Equations

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

def Phenomena.Ellipsis.Sluicing.germanCaseMismatch : CaseMatchingDatum

German case mismatch

Equations

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

def Phenomena.Ellipsis.Sluicing.englishCaseWeak : CaseMatchingDatum

English shows weaker case effects

Equations

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

structure Phenomena.Ellipsis.Sluicing.SproutingDatum : Type

Sprouting: sluicing without overt correlate

• sentence : String
• antecedent : String
• implicitArgument : String

  The implicit argument that licenses sprouting

• whPhrase : String
• grammatical : Bool
• notes : String
• source : String

@[implicit_reducible]

instance Phenomena.Ellipsis.Sluicing.instReprSproutingDatum : Repr SproutingDatum

Equations

• Phenomena.Ellipsis.Sluicing.instReprSproutingDatum = { reprPrec := Phenomena.Ellipsis.Sluicing.instReprSproutingDatum.repr }

def Phenomena.Ellipsis.Sluicing.instReprSproutingDatum.repr : SproutingDatum → ℕ → Std.Format

Equations

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

def Phenomena.Ellipsis.Sluicing.basicSprouting : SproutingDatum

Basic sprouting

Equations

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

def Phenomena.Ellipsis.Sluicing.temporalSprouting : SproutingDatum

Temporal sprouting

Equations

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

def Phenomena.Ellipsis.Sluicing.locativeSprouting : SproutingDatum

Locative sprouting

Equations

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

def Phenomena.Ellipsis.Sluicing.failedSprouting : SproutingDatum

Failed sprouting - no implicit argument

Equations

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

structure Phenomena.Ellipsis.Sluicing.ScopeConstraintDatum : Type

Scope constraint: inner antecedent must scope over rest

• sentence : String
• innerAntecedent : String
• innerAntecedentWidescope : Bool

  Does inner antecedent scope over rest of antecedent?

• grammatical : Bool
• notes : String
• source : String

def Phenomena.Ellipsis.Sluicing.instReprScopeConstraintDatum.repr : ScopeConstraintDatum → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Phenomena.Ellipsis.Sluicing.instReprScopeConstraintDatum : Repr ScopeConstraintDatum

Equations

• Phenomena.Ellipsis.Sluicing.instReprScopeConstraintDatum = { reprPrec := Phenomena.Ellipsis.Sluicing.instReprScopeConstraintDatum.repr }

def Phenomena.Ellipsis.Sluicing.wideScopeOK : ScopeConstraintDatum

Wide scope inner antecedent - grammatical

Equations

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

def Phenomena.Ellipsis.Sluicing.narrowScopeBad : ScopeConstraintDatum

Narrow scope inner antecedent - ungrammatical

Equations

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

def Phenomena.Ellipsis.Sluicing.wideScopeAvailable : ScopeConstraintDatum

Wide scope reading available - grammatical

Equations

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

structure Phenomena.Ellipsis.Sluicing.AndrewsAmalgamDatum : Type

Andrews Amalgam: recursive embedding of interrogative

• sentence : String
• embeddedInterrogative : String

  The embedded interrogative

• gapPosition : String

  What the interrogative fills (gap position)

• grammatical : Bool
• notes : String
• source : String

@[implicit_reducible]

instance Phenomena.Ellipsis.Sluicing.instReprAndrewsAmalgamDatum : Repr AndrewsAmalgamDatum

Equations

• Phenomena.Ellipsis.Sluicing.instReprAndrewsAmalgamDatum = { reprPrec := Phenomena.Ellipsis.Sluicing.instReprAndrewsAmalgamDatum.repr }

def Phenomena.Ellipsis.Sluicing.instReprAndrewsAmalgamDatum.repr : AndrewsAmalgamDatum → ℕ → Std.Format

Equations

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

def Phenomena.Ellipsis.Sluicing.basicAmalgam : AndrewsAmalgamDatum

Basic Andrews Amalgam

Equations

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

def Phenomena.Ellipsis.Sluicing.whClauseAmalgam : AndrewsAmalgamDatum

Wh-clause amalgam

Equations

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

structure Phenomena.Ellipsis.Sluicing.AnswerBanDatum : Type

Answer Ban: antecedent must not resolve the sluiced question

• sentence : String
• antecedentResolvesQuestion : Bool

  Does antecedent resolve the question?

• grammatical : Bool
• notes : String
• source : String

def Phenomena.Ellipsis.Sluicing.instReprAnswerBanDatum.repr : AnswerBanDatum → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Phenomena.Ellipsis.Sluicing.instReprAnswerBanDatum : Repr AnswerBanDatum

Equations

• Phenomena.Ellipsis.Sluicing.instReprAnswerBanDatum = { reprPrec := Phenomena.Ellipsis.Sluicing.instReprAnswerBanDatum.repr }

def Phenomena.Ellipsis.Sluicing.answerBanSatisfied : AnswerBanDatum

Answer Ban satisfied

Equations

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

def Phenomena.Ellipsis.Sluicing.answerBanViolated : AnswerBanDatum

Answer Ban violated

Equations

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

def Phenomena.Ellipsis.Sluicing.definiteViolatesAnswerBan : AnswerBanDatum

Definite violates Answer Ban

Equations

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

def Phenomena.Ellipsis.Sluicing.basicSluicingData : List SluicingDatum

All basic sluicing data

Equations

• Phenomena.Ellipsis.Sluicing.basicSluicingData = [Phenomena.Ellipsis.Sluicing.basicSluice, Phenomena.Ellipsis.Sluicing.objectSluice, Phenomena.Ellipsis.Sluicing.embeddedSluice]

def Phenomena.Ellipsis.Sluicing.caseMatchingData : List CaseMatchingDatum

All case matching data

Equations

• Phenomena.Ellipsis.Sluicing.caseMatchingData = [Phenomena.Ellipsis.Sluicing.germanCaseMatch, Phenomena.Ellipsis.Sluicing.germanCaseMismatch, Phenomena.Ellipsis.Sluicing.englishCaseWeak]

def Phenomena.Ellipsis.Sluicing.sproutingData : List SproutingDatum

All sprouting data

Equations

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

def Phenomena.Ellipsis.Sluicing.scopeConstraintData : List ScopeConstraintDatum

All scope constraint data

Equations

• Phenomena.Ellipsis.Sluicing.scopeConstraintData = [Phenomena.Ellipsis.Sluicing.wideScopeOK, Phenomena.Ellipsis.Sluicing.narrowScopeBad, Phenomena.Ellipsis.Sluicing.wideScopeAvailable]

def Phenomena.Ellipsis.Sluicing.amalgamData : List AndrewsAmalgamDatum

All Andrews Amalgam data

Equations

• Phenomena.Ellipsis.Sluicing.amalgamData = [Phenomena.Ellipsis.Sluicing.basicAmalgam, Phenomena.Ellipsis.Sluicing.whClauseAmalgam]

def Phenomena.Ellipsis.Sluicing.answerBanData : List AnswerBanDatum

All Answer Ban data

Equations

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