structure Phenomena.Questions.ScopeReadings.PairListDatum : Type

A pair-list reading datum: universal quantifier over wh-phrase.

• question : String

  The question

• universalNP : String

  The universal NP

• whPhrase : String

  The wh-phrase

• pairListAnswer : String

  Example pair-list answer

• singleAnswer : Option String

  Example non-pair-list answer (if available)

• context : String

  Context/situation description

• pairListPreferred : Bool

  Is pair-list the preferred reading?

• factors : String

  Factors affecting the reading

• source : String

  Source

def Phenomena.Questions.ScopeReadings.instReprPairListDatum.repr : PairListDatum → Nat → Std.Format

Equations

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

instance Phenomena.Questions.ScopeReadings.instReprPairListDatum : Repr PairListDatum

Equations

• Phenomena.Questions.ScopeReadings.instReprPairListDatum = { reprPrec := Phenomena.Questions.ScopeReadings.instReprPairListDatum.repr }

def Phenomena.Questions.ScopeReadings.whichStudentEachProfessor : PairListDatum

G&S p. 403: "Which student was recommended by each professor?"

Equations

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

def Phenomena.Questions.ScopeReadings.whoEveryManLove : PairListDatum

G&S p. 404: "Who does every man love?"

Equations

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

def Phenomena.Questions.ScopeReadings.whichTeacherEveryStudent : PairListDatum

G&S p. 405: "Which of his teachers does every student admire?"

Equations

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

def Phenomena.Questions.ScopeReadings.eachVsEvery : PairListDatum

G&S: Pair-list with 'each' vs 'every'

Equations

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

def Phenomena.Questions.ScopeReadings.knowPairList : PairListDatum

Pair-list under 'know'

Equations

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

def Phenomena.Questions.ScopeReadings.wonderPairList : PairListDatum

Pair-list under 'wonder' (degraded)

Equations

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

def Phenomena.Questions.ScopeReadings.pairListExamples : List PairListDatum

Equations

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

structure Phenomena.Questions.ScopeReadings.ChoiceDatum : Type

A choice reading datum: disjunction/existential over wh-phrase.

• question : String

  The question

• disjNP : String

  The disjunctive/existential NP

• whPhrase : String

  The wh-phrase

• choiceAnswer : String

  The choice answer (conditional on disjunct)

• nonChoiceAnswer : String

  The non-choice answer

• context : String

  Context

• choiceAvailable : Bool

  Is choice reading available?

• source : String

  Source

def Phenomena.Questions.ScopeReadings.instReprChoiceDatum.repr : ChoiceDatum → Nat → Std.Format

Equations

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

instance Phenomena.Questions.ScopeReadings.instReprChoiceDatum : Repr ChoiceDatum

Equations

• Phenomena.Questions.ScopeReadings.instReprChoiceDatum = { reprPrec := Phenomena.Questions.ScopeReadings.instReprChoiceDatum.repr }

def Phenomena.Questions.ScopeReadings.whomJohnOrMaryLove : ChoiceDatum

G&S p. 411: "Whom does John or Mary love?"

Equations

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

def Phenomena.Questions.ScopeReadings.knowWhomMaryOrSue : ChoiceDatum

G&S p. 412: "John knows whom Mary or Sue invited"

Equations

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

def Phenomena.Questions.ScopeReadings.whichStudentSomeProfessor : ChoiceDatum

G&S: Existential wide scope - "Which student does some professor recommend?"

Equations

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

def Phenomena.Questions.ScopeReadings.whoSpeaksScandinavian : ChoiceDatum

Choice with indefinite - "Who speaks a Scandinavian language?"

Equations

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

def Phenomena.Questions.ScopeReadings.choiceExamples : List ChoiceDatum

Equations

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

structure Phenomena.Questions.ScopeReadings.ScopeMinimalPair : Type

Minimal pairs showing scope effects.

• wideScope : String

  The question with wide-scope quantifier reading

• narrowScope : String

  The question with narrow-scope quantifier reading

• wideScopeAnswer : String

  Wide-scope answer

• narrowScopeAnswer : String

  Narrow-scope answer

• scopeFactors : String

  Which factors determine the reading

• source : String

  Source

def Phenomena.Questions.ScopeReadings.instReprScopeMinimalPair.repr : ScopeMinimalPair → Nat → Std.Format

Equations

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

instance Phenomena.Questions.ScopeReadings.instReprScopeMinimalPair : Repr ScopeMinimalPair

Equations

• Phenomena.Questions.ScopeReadings.instReprScopeMinimalPair = { reprPrec := Phenomena.Questions.ScopeReadings.instReprScopeMinimalPair.repr }

def Phenomena.Questions.ScopeReadings.eachEveryScope : ScopeMinimalPair

Each vs Every in scope

Equations

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

def Phenomena.Questions.ScopeReadings.subjectObjectScope : ScopeMinimalPair

Subject vs Object position

Equations

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

def Phenomena.Questions.ScopeReadings.scopeMinimalPairs : List ScopeMinimalPair

Equations

• Phenomena.Questions.ScopeReadings.scopeMinimalPairs = [Phenomena.Questions.ScopeReadings.eachEveryScope, Phenomena.Questions.ScopeReadings.subjectObjectScope]

structure Phenomena.Questions.ScopeReadings.LicensingDatum : Type

Data on factors affecting pair-list availability.

• question : String

  The example question

• quantifier : String

  The quantifier type

• embeddingVerb : Option String

  The embedding verb (if any)

• pairListOK : Bool

  Is pair-list available?

• explanation : String

  Explanation

• source : String

  Source

instance Phenomena.Questions.ScopeReadings.instReprLicensingDatum : Repr LicensingDatum

Equations

• Phenomena.Questions.ScopeReadings.instReprLicensingDatum = { reprPrec := Phenomena.Questions.ScopeReadings.instReprLicensingDatum.repr }

def Phenomena.Questions.ScopeReadings.instReprLicensingDatum.repr : LicensingDatum → Nat → Std.Format

Equations

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

def Phenomena.Questions.ScopeReadings.knowLicenses : LicensingDatum

'Know' licenses pair-list

Equations

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

def Phenomena.Questions.ScopeReadings.wonderDislikes : LicensingDatum

'Wonder' dislikes pair-list

Equations

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

def Phenomena.Questions.ScopeReadings.askDislikes : LicensingDatum

'Ask' and pair-list

Equations

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

def Phenomena.Questions.ScopeReadings.matrixPairList : LicensingDatum

Matrix questions and pair-list

Equations

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

def Phenomena.Questions.ScopeReadings.licensingExamples : List LicensingDatum

Equations

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

inductive Phenomena.Questions.ScopeReadings.ScopeAnswerType : Type

Classification of answer types for scope readings.

• single : ScopeAnswerType

  Single individual answering for all

• pairList : ScopeAnswerType

  List of pairs (function)

• conditional : ScopeAnswerType

  Conditional on disjunct

• witnessDependent : ScopeAnswerType

  Depends on which witness

instance Phenomena.Questions.ScopeReadings.instDecidableEqScopeAnswerType : DecidableEq ScopeAnswerType

Equations

• Phenomena.Questions.ScopeReadings.instDecidableEqScopeAnswerType x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Phenomena.Questions.ScopeReadings.instReprScopeAnswerType : Repr ScopeAnswerType

Equations

• Phenomena.Questions.ScopeReadings.instReprScopeAnswerType = { reprPrec := Phenomena.Questions.ScopeReadings.instReprScopeAnswerType.repr }

def Phenomena.Questions.ScopeReadings.instReprScopeAnswerType.repr : ScopeAnswerType → Nat → Std.Format

Equations

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

def Phenomena.Questions.ScopeReadings.expectedAnswerType (quantifier : String) (isDisjunction : Bool) : ScopeAnswerType

Map scope configuration to answer type.

Equations

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

structure Phenomena.Questions.ScopeReadings.FunctionalQuestionDatum : Type

Data on functional (f-) questions: wh-phrase with bound variable.

• question : String

  The question

• boundVariable : String

  The bound variable

• binder : String

  The binding quantifier

• explanation : String

  Why this forces functional reading

• functionalAnswer : String

  Example functional answer

• source : String

  Source

def Phenomena.Questions.ScopeReadings.instReprFunctionalQuestionDatum.repr : FunctionalQuestionDatum → Nat → Std.Format

Equations

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

instance Phenomena.Questions.ScopeReadings.instReprFunctionalQuestionDatum : Repr FunctionalQuestionDatum

Equations

• Phenomena.Questions.ScopeReadings.instReprFunctionalQuestionDatum = { reprPrec := Phenomena.Questions.ScopeReadings.instReprFunctionalQuestionDatum.repr }

def Phenomena.Questions.ScopeReadings.whichOfHisTeachers : FunctionalQuestionDatum

"Which of his teachers does every student admire?"

Equations

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

def Phenomena.Questions.ScopeReadings.whichOfHerChildren : FunctionalQuestionDatum

"Which of her children does each mother love most?"

Equations

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

def Phenomena.Questions.ScopeReadings.functionalQuestionExamples : List FunctionalQuestionDatum

Equations

• Phenomena.Questions.ScopeReadings.functionalQuestionExamples = [Phenomena.Questions.ScopeReadings.whichOfHisTeachers, Phenomena.Questions.ScopeReadings.whichOfHerChildren]

structure Phenomena.Questions.ScopeReadings.CrossLinguisticDatum : Type

Data on pair-list readings across languages.

• language : String

  Language

• example_ : String

  Example sentence

• gloss : String

  Gloss

• pairListOK : Bool

  Is pair-list available?

• notes : String

  Notes on language-specific factors

• source : String

  Source

def Phenomena.Questions.ScopeReadings.instReprCrossLinguisticDatum.repr : CrossLinguisticDatum → Nat → Std.Format

Equations

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

instance Phenomena.Questions.ScopeReadings.instReprCrossLinguisticDatum : Repr CrossLinguisticDatum

Equations

• Phenomena.Questions.ScopeReadings.instReprCrossLinguisticDatum = { reprPrec := Phenomena.Questions.ScopeReadings.instReprCrossLinguisticDatum.repr }

def Phenomena.Questions.ScopeReadings.hungarianPairList : CrossLinguisticDatum

Hungarian: flexible pair-list with wh-in-situ

Equations

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

def Phenomena.Questions.ScopeReadings.japanesePairList : CrossLinguisticDatum

Japanese: wh-in-situ with pair-list

Equations

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

def Phenomena.Questions.ScopeReadings.crossLinguisticExamples : List CrossLinguisticDatum

Equations

• Phenomena.Questions.ScopeReadings.crossLinguisticExamples = [Phenomena.Questions.ScopeReadings.hungarianPairList, Phenomena.Questions.ScopeReadings.japanesePairList]

def Phenomena.Questions.ScopeReadings.scopeReadingPrinciples : List String

G&S key principles for scope readings

Equations

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