inductive Phenomena.Generics.BarePlurals.LocativeStatus : Type

Locative argument vs adjunct status.

• argument : LocativeStatus
• adjunct : LocativeStatus
• none : LocativeStatus

def Phenomena.Generics.BarePlurals.instReprLocativeStatus.repr : LocativeStatus → Nat → Std.Format

Equations

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

instance Phenomena.Generics.BarePlurals.instReprLocativeStatus : Repr LocativeStatus

Equations

• Phenomena.Generics.BarePlurals.instReprLocativeStatus = { reprPrec := Phenomena.Generics.BarePlurals.instReprLocativeStatus.repr }

instance Phenomena.Generics.BarePlurals.instDecidableEqLocativeStatus : DecidableEq LocativeStatus

Equations

• Phenomena.Generics.BarePlurals.instDecidableEqLocativeStatus x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Phenomena.Generics.BarePlurals.instBEqLocativeStatus.beq : LocativeStatus → LocativeStatus → Bool

Equations

• Phenomena.Generics.BarePlurals.instBEqLocativeStatus.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Phenomena.Generics.BarePlurals.instBEqLocativeStatus : BEq LocativeStatus

Equations

• Phenomena.Generics.BarePlurals.instBEqLocativeStatus = { beq := Phenomena.Generics.BarePlurals.instBEqLocativeStatus.beq }

inductive Phenomena.Generics.BarePlurals.Presuppositionality : Type

Presuppositional vs non-presuppositional verbs.

• presuppositional : Presuppositionality
• nonPresuppositional : Presuppositionality

def Phenomena.Generics.BarePlurals.instReprPresuppositionality.repr : Presuppositionality → Nat → Std.Format

Equations

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

instance Phenomena.Generics.BarePlurals.instReprPresuppositionality : Repr Presuppositionality

Equations

• Phenomena.Generics.BarePlurals.instReprPresuppositionality = { reprPrec := Phenomena.Generics.BarePlurals.instReprPresuppositionality.repr }

instance Phenomena.Generics.BarePlurals.instDecidableEqPresuppositionality : DecidableEq Presuppositionality

Equations

• Phenomena.Generics.BarePlurals.instDecidableEqPresuppositionality x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Phenomena.Generics.BarePlurals.instBEqPresuppositionality : BEq Presuppositionality

Equations

• Phenomena.Generics.BarePlurals.instBEqPresuppositionality = { beq := Phenomena.Generics.BarePlurals.instBEqPresuppositionality.beq }

def Phenomena.Generics.BarePlurals.instBEqPresuppositionality.beq : Presuppositionality → Presuppositionality → Bool

Equations

• Phenomena.Generics.BarePlurals.instBEqPresuppositionality.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

structure Phenomena.Generics.BarePlurals.BarePluralDatum : Type

Bare plural interpretation datum.

• sentence : String
• predicateLevel : Semantics.Lexical.Noun.Kind.Carlson1977.PredicateLevel
• genericOK : Bool
• existentialOK : Bool
• notes : String

def Phenomena.Generics.BarePlurals.boysAreBrave : BarePluralDatum

"Boys are brave" - I-level predicate, generic only

Equations

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

def Phenomena.Generics.BarePlurals.italiansGoodLooking : BarePluralDatum

"Italians are good-looking"

Equations

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

def Phenomena.Generics.BarePlurals.lawyersIntelligent : BarePluralDatum

"Lawyers are intelligent"

Equations

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

structure Phenomena.Generics.BarePlurals.SLevelDatumextends Phenomena.Generics.BarePlurals.BarePluralDatum : Type

S-level predicate with locative status.

• sentence : String
• predicateLevel : Semantics.Lexical.Noun.Kind.Carlson1977.PredicateLevel
• genericOK : Bool
• existentialOK : Bool
• notes : String
• locativeStatus : LocativeStatus

def Phenomena.Generics.BarePlurals.boysArePresent : SLevelDatum

"Boys are present" - locative argument licenses existential

Equations

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

def Phenomena.Generics.BarePlurals.firemenAvailable : SLevelDatum

"Firemen are available" - implicit locative argument

Equations

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

def Phenomena.Generics.BarePlurals.soldiersArrived : SLevelDatum

"Soldiers arrived" - locative goal argument

Equations

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

def Phenomena.Generics.BarePlurals.boysAreHungry : SLevelDatum

"Boys are hungry" - S-level but locative is adjunct

Equations

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

def Phenomena.Generics.BarePlurals.boysHungryInClassroom : SLevelDatum

"Boys are hungry in the classroom" - adjunct doesn't help

Equations

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

def Phenomena.Generics.BarePlurals.studentsAreTired : SLevelDatum

"Students are tired"

Equations

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

structure Phenomena.Generics.BarePlurals.PresuppositionalDatum : Type

Data for verb presuppositionality effects

• sentence : String
• verbType : Presuppositionality
• genericOK : Bool
• existentialOK : Bool
• notes : String

def Phenomena.Generics.BarePlurals.johnHatesLawyers : PresuppositionalDatum

"John hates lawyers" - presuppositional blocks existential

Equations

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

def Phenomena.Generics.BarePlurals.johnRecognizesLawyers : PresuppositionalDatum

"John recognizes lawyers"

Equations

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

def Phenomena.Generics.BarePlurals.johnNoticedLawyers : PresuppositionalDatum

"John noticed lawyers (at the party)"

Equations

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

def Phenomena.Generics.BarePlurals.johnKnowsLawyers : PresuppositionalDatum

"John knows lawyers" - non-presuppositional allows existential

Equations

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

def Phenomena.Generics.BarePlurals.johnOwnsHorses : PresuppositionalDatum

"John owns horses"

Equations

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

inductive Phenomena.Generics.BarePlurals.InformationStatus : Type

Information structure: topic vs focus.

• topic : InformationStatus
• focus : InformationStatus

instance Phenomena.Generics.BarePlurals.instReprInformationStatus : Repr InformationStatus

Equations

• Phenomena.Generics.BarePlurals.instReprInformationStatus = { reprPrec := Phenomena.Generics.BarePlurals.instReprInformationStatus.repr }

def Phenomena.Generics.BarePlurals.instReprInformationStatus.repr : InformationStatus → Nat → Std.Format

Equations

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

instance Phenomena.Generics.BarePlurals.instDecidableEqInformationStatus : DecidableEq InformationStatus

Equations

• Phenomena.Generics.BarePlurals.instDecidableEqInformationStatus x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Phenomena.Generics.BarePlurals.instBEqInformationStatus : BEq InformationStatus

Equations

• Phenomena.Generics.BarePlurals.instBEqInformationStatus = { beq := Phenomena.Generics.BarePlurals.instBEqInformationStatus.beq }

def Phenomena.Generics.BarePlurals.instBEqInformationStatus.beq : InformationStatus → InformationStatus → Bool

Equations

• Phenomena.Generics.BarePlurals.instBEqInformationStatus.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

structure Phenomena.Generics.BarePlurals.TopicFocusDatum : Type

• sentence : String
• bpStatus : InformationStatus
• genericOK : Bool
• existentialOK : Bool
• notes : String

def Phenomena.Generics.BarePlurals.asForLawyers : TopicFocusDatum

"As for lawyers, John hates them" - topicalized = generic

Equations

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

def Phenomena.Generics.BarePlurals.lawyersDefaultSubject : TopicFocusDatum

Default subject position is topic-like

Equations

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

structure Phenomena.Generics.BarePlurals.IncorporationDatum : Type

Incorporation test datum.

• sentence1 : String
• sentence2 : String
• bpReading : String
• anaphoraOK : Bool
• notes : String

def Phenomena.Generics.BarePlurals.horsesIncorporated : IncorporationDatum

"John owns horses. *They are in the barn."

Equations

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

def Phenomena.Generics.BarePlurals.someHorsesReferent : IncorporationDatum

"John owns some horses. They are in the barn."

Equations

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

def Phenomena.Generics.BarePlurals.dogsKindAnaphora : IncorporationDatum

"Dogs are mammals. They nurse their young." - kind anaphora OK

Equations

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

def Phenomena.Generics.BarePlurals.iLevelData : List BarePluralDatum

All I-level predicate examples.

Equations

• Phenomena.Generics.BarePlurals.iLevelData = [Phenomena.Generics.BarePlurals.boysAreBrave, Phenomena.Generics.BarePlurals.italiansGoodLooking, Phenomena.Generics.BarePlurals.lawyersIntelligent]

def Phenomena.Generics.BarePlurals.sLevelArgumentData : List SLevelDatum

Equations

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

def Phenomena.Generics.BarePlurals.sLevelAdjunctData : List SLevelDatum

Equations

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

def Phenomena.Generics.BarePlurals.presuppositionalData : List PresuppositionalDatum

Equations

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