General documentation

index
foundational types
tactics

Library

Init (file)
Control (file)
Lawful (file)
MonadAttach (file)
Instances
Lemmas
MonadLift (file)
Basic
Instances
Lemmas
Basic
Instances
Lemmas
Basic
EState
Except
ExceptCps
Id
MonadAttach
Option
Reader
State
StateCps
StateRef
Data (file)
Array (file)
Lex (file)
Basic
Lemmas
QSort (file)
Basic
Subarray (file)
Split
Attach
Basic
BasicAux
BinSearch
Bootstrap
Count
DecidableEq
Erase
Extract
FinRange
Find
GetLit
InsertIdx
InsertionSort
Lemmas
MapIdx
Mem
Monadic
OfFn
Perm
Range
Set
TakeDrop
Zip
BitVec (file)
Basic
BasicAux
Bitblast
Bootstrap
Decidable
Folds
Lemmas
ByteArray (file)
Basic
Bootstrap
Extra
Lemmas
Char (file)
Basic
Lemmas
Order
Ordinal
Dyadic (file)
Basic
Instances
Inv
Round
Fin (file)
Basic
Bitwise
Fold
Iterate
Lemmas
Log2
OverflowAware
FloatArray (file)
Basic
Format (file)
Basic
Instances
Macro
Syntax
Int (file)
Bitwise (file)
Basic
Lemmas
DivMod (file)
Basic
Bootstrap
Lemmas
Pow
Basic
Compare
Cooper
Gcd
Lemmas
LemmasAux
Linear
OfNat
Order
Pow
Iterators (file)
Combinators (file)
Monadic (file)
Attach
FilterMap
FlatMap
Take
ULift
Attach
FilterMap
FlatMap
Take
ULift
Consumers (file)
Monadic (file)
Access
Collect
Loop
Partial
Total
Access
Collect
Loop
Partial
Stream
Total
Internal (file)
LawfulMonadLiftFunction
Lemmas (file)
Combinators (file)
Monadic (file)
Attach
FilterMap
FlatMap
Take
ULift
Attach
FilterMap
FlatMap
Take
ULift
Consumers (file)
Monadic (file)
Collect
Loop
Access
Collect
Loop
Monadic
Basic
Producers (file)
Monadic (file)
List
List
Basic
Producers (file)
Monadic (file)
List
List
Basic
PostconditionMonad
ToIterator
List (file)
Nat (file)
BEq
Basic
Count
Erase
Find
InsertIdx
Modify
Pairwise
Perm
Range
Sublist
TakeDrop
Sort (file)
Basic
Impl
Lemmas
Attach
Basic
BasicAux
Control
Count
Erase
FinRange
Find
Impl
Lemmas
Lex
MapIdx
MinMax
Monadic
Notation
OfFn
Pairwise
Perm
Range
Sublist
TakeDrop
ToArray
ToArrayImpl
Zip
Nat (file)
Bitwise (file)
Basic
Lemmas
Div (file)
Basic
Lemmas
Power2 (file)
Basic
Lemmas
Basic
Compare
Control
Coprime
Dvd
Fold
Gcd
Lcm
Lemmas
Linear
Log2
MinMax
Mod
Order
SOM
Simproc
Option (file)
Array
Attach
Basic
BasicAux
Coe
Function
Instances
Lemmas
List
Monadic
Ord (file)
Array
Basic
BitVec
SInt
String
UInt
Vector
Order (file)
Classes
ClassesExtra
Factories
FactoriesExtra
Lemmas
LemmasExtra
Ord
PackageFactories
Range (file)
Polymorphic (file)
Internal
SignedBitVec
Basic
BitVec
Char
Fin
GetElemTactic
Instances
Int
IntLemmas
Iterators
Lemmas
Map
Nat
NatLemmas
PRange
RangeIterator
SInt
Stream
UInt
UpwardEnumerable
Basic
Lemmas
Rat (file)
Basic
Lemmas
SInt (file)
Basic
Bitwise
Float
Float32
Lemmas
Slice (file)
Array (file)
Basic
Iterator
Lemmas
List (file)
Basic
Iterator
Lemmas
Basic
Lemmas
Notation
Operations
String (file)
Lemmas (file)
Basic
Modify
Search
Splits
Pattern (file)
Basic
Char
Pred
String
Basic
Bootstrap
Decode
Defs
Extra
Grind
Iterator
Legacy
Modify
PosRaw
Search
Slice
Stream
Substring
TakeDrop
Termination
ToSlice
Subtype (file)
Basic
Order
OrderExtra
Sum (file)
Basic
Lemmas
ToString (file)
Basic
Macro
Name
UInt (file)
Basic
BasicAux
Bitwise
Lemmas
Log2
Vector (file)
Algebra
Attach
Basic
Count
DecidableEq
Erase
Extract
FinRange
Find
InsertIdx
Lemmas
Lex
MapIdx
Monadic
OfFn
Perm
Range
Stream
Zip
AC
BEq
Bool
Cast
Float
Float32
Function
Hashable
LawfulHashable
NeZero
OfScientific
PLift
Prod
Queue
RArray
Random
Repr
Stream
ULift
Zero
Grind (file)
Module (file)
Basic
Envelope
NatModuleNorm
OfNatModule
Ordered (file)
Field
Int
Linarith
Module
Order
Rat
Ring
Ring (file)
Basic
CommSemiringAdapter
CommSolver
Envelope
Field
OfScientific
ToInt
AC
Annotated
Attr
Cases
Config
Ext
FieldNormNum
Injective
Interactive
Lemmas
Lint
Norm
Offset
Order
PP
Propagator
Tactics
ToInt
ToIntLemmas
Util
GrindInstances (file)
Ring (file)
BitVec
Fin
Int
Nat
Rat
SInt
UInt
Nat
ToInt
Internal (file)
Order (file)
Basic
Lemmas
Tactic
Meta (file)
Defs
Omega (file)
Coeffs
Constraint
Int
IntList
LinearCombo
Logic
Sym (file)
Lemmas
System (file)
FilePath
IO
IOError
Platform
Promise
ST
Uri
BinderNameHint
BinderPredicates
ByCases
Classical
Coe
Conv
Core
Dynamic
Ext
GetElem
Guard
Hints
LawfulBEqTactics
MacroTrace
MetaTypes
MethodSpecsSimp
Notation
NotationExtra
Prelude
PropLemmas
RCases
ShareCommon
SimpLemmas
Simproc
SizeOf
SizeOfLemmas
Syntax
Tactics
TacticsExtra
Task
Try
Util
WF
WFComputable
WFExtrinsicFix
WFTactics
While
Linglib
Comparisons
AssertionTheories
CNsAsTypes
CaseTheories
CategorialFeatures
CommandRelations
DynamicTTR
ExhaustivityLimit
FrameComposition
FreeChoice
GenericModality
GenericSemantics
KratzerEpistemicRSA
ModalPosition
Mueller2013
Partee1973
ProjectionMechanisms
RSAExhExpressivity
RSANeoGricean
RSAandPDS
RelevanceTheories
SDSandRSA
SauerlandRSA
ScalarImplicatureTheories
TenseModalEvidentiality
TenseTheories
VaguenessTheories
Core
Agent
BToM
BayesianUpdate
ChoiceApproximations
CoupledEvaluation
DecisionTheory
Emotion
ExperimentDesign
GaussianChoice
GumbelLuce
Learning
NormalCDF
ProductOfExperts
PsychophysicalChoice
Psychophysics
RankOrderings
RationalAction
SemiorderRanking
SignalDetection
SoftmaxOptimality
Thurstone
UtilityTheory
Case (file)
Basic
ComparativeEntry
Containment
FeatureDecomposition
Hierarchy
LocalExtension
SplitConditions
Syncretism
Categorical
AgentCat
MereoCat
PartitionCat
ScaleCat
Context
Basic
Rich
Shifts
Tower
CylindricAlgebra (file)
DynamicSemantics
VarAssignment
Discourse
AtIssueness
ClauseType
CoherenceRelation
Commitment
DiscourseRole
Epistemicity
Evidence
GramMood
InformationStructure
Logophoricity
QUD
ReferentialForm
SpeechActs
Interfaces
AssertionTheory
BindingSemantics
CombinationSchemata
CoreferenceTheory
ExtractionMorphology
Felicity
ImplicatureTheory
ScopeTheory
SemanticStructure
VoiceSystem
Interval
LogInterval
PadeExp
QInterval
RSAEval
RSAVerify
ReflectInterval
RpowInterval
SqrtInterval
Lexical
Binominal
DiathesisAlternation
LevinClass
MorphRule
NounCategorization
PersonCategory
PolarityItem
Pronouns
RootFeatures
ThetaRole
UD
Word
Logic
Quantification (file)
Defs
Lattice
NumberTree
Properties
BeliefRevision
Consequence
ConstraintEvaluation
Duality
ModalLogic
NaturalLogic
OT
PolarizedIndividuals
RankingFunction
SatisfactionOrdering
SquareOfOpposition
SystemZ
ThreeValuedLogic
Truth3
Modality
DeonticNecessity
ModalIndefinite
ModalTypes
Morphology
MorphProfile
Order
Normality
Plausibility
Polyhedral (file)
FourierMotzkin
Relativization
Basic
Extraction
Hierarchy
Scales
EpistemicScale (file)
Cancellation
Cancellation88
CancellationChambers
CancellationHelpers
Conditional
Defs
Entailments
FinsetBridge
Representability
Extent
HornScale
MereoDim
Roundness
Scale
Semantics
CommonGround
ContentLayer
GradedProposition
Intension
Presupposition
Proposition
Temporal
Reichenbach
Tense
Time
WALS
Features
F100A
F101A
F102A
F103A
F104A
F105A
F106A
F107A
F108A
F108B
F109A
F109B
F10A
F10B
F110A
F111A
F112A
F113A
F114A
F115A
F116A
F117A
F118A
F119A
F11A
F120A
F121A
F122A
F123A
F124A
F125A
F126A
F127A
F128A
F129A
F12A
F130A
F130B
F131A
F132A
F133A
F134A
F135A
F136A
F136B
F137A
F137B
F138A
F139A
F13A
F140A
F141A
F142A
F143A
F143B
F143C
F143D
F143E
F143F
F143G
F144A
F144B
F144C
F144D
F144E
F144F
F144G
F144H
F144I
F144J
F144K
F144L
F144M
F144N
F144O
F144P
F144Q
F144R
F144S
F144T
F144U
F144V
F144W
F144X
F144Y
F14A
F15A
F16A
F17A
F18A
F19A
F1A
F20A
F21A
F21B
F22A
F23A
F24A
F25A
F25B
F26A
F27A
F28A
F29A
F2A
F30A
F31A
F32A
F33A
F34A
F35A
F36A
F37A
F38A
F39A
F39B
F3A
F40A
F41A
F42A
F43A
F44A
F45A
F46A
F47A
F48A
F49A
F4A
F50A
F51A
F52A
F53A
F54A
F55A
F56A
F57A
F58A
F58B
F59A
F5A
F60A
F61A
F62A
F63A
F64A
F65A
F66A
F67A
F68A
F69A
F6A
F70A
F71A
F72A
F73A
F74A
F75A
F76A
F77A
F78A
F79A
F79B
F7A
F80A
F81A
F81B
F82A
F83A
F84A
F85A
F86A
F87A
F88A
F89A
F8A
F90A
F90B
F90C
F90D
F90E
F90F
F90G
F91A
F92A
F93A
F94A
F95A
F96A
F97A
F98A
F99A
F9A
Datapoint
Languages
AgreementTarget
Alternation
AssertionTypes
Assignment
BindingSemantics
CausalBayesNet
ChannelCapacity
CombinationKind
Conjectures
ContentIndividual
Continuation
CoreferenceStatus
Definiteness
Distributions
Divergence
Efficiency
Empirical
ExtractionMorphology
FelicityTypes
FinitePMF
FormFrequency
FormalLanguage
GeneralisedSurprisal
Genericity
Grammar
ImplicatureTypes
InformationTheory
Inheritance
Interface
Mereology
Negation
NestedRestriction
Number
Parse
Partition
Path
Person
Polarity
PolarityPartition
ProcessingModel
Prominence
PropertyDomain
Prosody
Register
Root
RootDimensions
ScopeTypes
SearchEfficiency
SocialMeaning
StructuralEquationModel
Subjectivity
Tree
VoiceSystem
Fragments
ASL
Classifiers
Arabic
Morph
Relativization
Basque
Agreement
Pronouns
Bulgarian
Evidentials
QuestionParticles
Burmese
Negation
Chichewa
Reciprocals
Chuj
ModalIndefinites
VerbBuilding
Czech
Case
Determiners
Negation
Particles
Reciprocals
Danish
V2
Dargwa
Agreement
Case
ComplexPredicates
Coordination
Doyayo
AuxiliaryVerbs
Drubea
Prosody
Dutch
Adpositions
Binominals
Nouns
Particles
TemporalConnectives
English
Modifiers
Adjectives
Predicates (file)
Adjectival
Copular
Verbal
Binominals
Conditionals
Determiners
FocusParticles
FunctionWords
Lexicon
MeasurePhrases
Morph
Negation
Nouns
NumeralModifiers
Phonology
PolarityItems
Pronouns
PropositionalLexemes
Relativization
Scales
TDDeletion
TemporalAdverbials
TemporalDeictic
TemporalExpressions
Tense
V2
Farsi
Determiners
Phonology
Finnish
Case
ConsonantGradation
Infinitives
Morph
Negation
PolarityItems
Possession
Predicates
Relativization
TemporalConnectives
VowelHarmony
French
Binominals
ModalIndefinites
Modals
Negation
Nouns
Predicates
Reciprocals
Galician
Pronouns
Georgian
Agreement
Coordination
Morph
PolarityItems
German
Predicates (file)
Modal
AdjAgreement
BarePluralWordOrder
Case
Conditionals
ModalIndefinites
Morph
Negation
PolarityItems
PolarityMarking
Pronouns
QuestionParticles
Reciprocals
TemporalDeictic
Tense
V2
Gorum
AuxiliaryVerbs
Greek
AdjAgreement
Case
MoodChoice
Negation
Nouns
Reciprocals
TemporalConnectives
TemporalDeictic
Hebrew
Relativization
TemporalDeictic
Hemba
AuxiliaryVerbs
Hindi
Case
Morph
PolarityItems
Pronouns
HindiUrdu
Particles
Hixkaryana
Negation
Hungarian
Case
Coordination
DiscourseParticles
FunctionWords
Morph
PolarityItems
Predicates
Reciprocals
TemporalDeictic
VowelHarmony
Icelandic
Case
Nominalizations
Predicates
Reciprocals
TemporalConnectives
Indonesian
Morph
Morphophonology
Predicates
VoiceSystem
Irish
Coordination
Italian
AdjAgreement
Binominals
Determiners
DiscourseParticles
ModalIndefinites
Modals
Negation
Nouns
NumberGender
PolarityItems
Predicates
Pronouns
Tense
Jakaltek
AuxiliaryVerbs
Januubi
Negation
Japanese
Case
Classifiers
Comparison
Conditionals
Determiners
Morph
Negation
Nouns
Particles
Passive
PolarityItems
Predicates
Pronouns
TemporalConnectives
TemporalDeictic
Jarawara
PossessedNouns
Kaqchikel
AgentFocus
Agreement
Kiche
ExtractionMorphology
Korean
Case
Comparison
Evidentials
MedialVerbs
Morph
Phonology
PolarityItems
Predicates
Pronouns
Relativization
Latin
Case
Coordination
Latvian
IndeterminatePronouns
Macedonian
QuestionParticles
Magahi
Pronouns
Maithili
Pronouns
Malagasy
Relativization
Mam
Agreement
ExtractionMorphology
VoiceSystem
Manambu
MedialVerbs
Mandarin
AspectComparison
Classifiers
Determiners
DiscourseParticles
Morph
Negation
Nouns
Particles
PolarityItems
Predicates
QuestionParticles
Reciprocals
Resultatives
TemporalDeictic
Maori
Negation
Mayan
Chol
Agreement
Kaqchikel
AgentFocus
Agreement
Kiche
Agreement
ExtractionMorphology
VoiceSystem
Mam
Agreement
ExtractionMorphology
VoiceSystem
Qanjobal
AgentFocus
Agreement
Yukatek
VerbClasses
Params
Mixtec
SMPM
Basic
Norwegian
V2
Nungon
MedialVerbs
Pipil
AuxiliaryVerbs
Polish
Case
QuestionParticles
Portuguese
MoodChoice
Punjabi
Pronouns
Quechua
Morph
Negation
PolarityItems
Romanian
MoodChoice
Russian
AdjAgreement
Case
DiscourseParticles
Gender
Morph
Negation
PolarityItems
Possession
QuestionParticles
Reciprocals
TemporalDeictic
Serbian
Case
QuestionParticles
TemporalConnectives
Slovenian
Case
QuestionParticles
Spanish
Binominals
Clitics
Gender
ModalIndefinites
MoodChoice
Morph
Negation
PersonFeatures
Predicates
Pronouns
Swahili
Basic
Morph
PolarityItems
Possession
Reciprocals
Relativization
Swedish
AnswerParticles
SwissGerman
Case
Tagalog
Morph
Phonology
PolarityItems
TemporalConnectives
Tamil
Case
Pronouns
Tarifit
Inventory
Telugu
Case
Teop
Nouns
Thai
Morph
PolarityItems
Tigrinya
ClausePrefixes
TobaBatak
Basic
Relativization
Turkish
Anaphors
Case
Comparison
Definiteness
MedialVerbs
Morph
Negation
PolarityItems
Possession
Predicates
QuestionParticles
SuffixTemplate
TAM
VowelHarmony
Ukrainian
Case
QuestionParticles
Urdu
CausativeSystem
Wambaya
Reciprocals
Wan
Reciprocals
Welsh
Relativization
Yoruba
FocusParticles
PolarityItems
ZarmaSonrai
Negation
Phenomena
Agreement
Studies
AdamsonZompi2025
Aissen2003
BejarRezac2009
CCGAgreement
Chierchia1998
Corbett2000
Deal2024
PanchevaZubizarreta2018
PrasertsonSmithCulbertson2026
Scott2023
Basic
DetNoun
DifferentialIndexing
NounCategorization
Typology
Alignment
Typology
Allomorphy
SlavicVerbalizer
Studies
Stojkovic2026
Data
Studies
Aitha2026
Stojkovic2026
TeluguNounStems
Studies
Aitha2026
Anaphora
Studies
BakayEtAl2026
Charlow2018
Cooper2023
DGNominal
DalrympleHaug2024
GroenendijkStokhof1991
HPSGCoreference
HaugDalrymple2020
Heim1982
Hudson1990
KampReyle1993
KeshetAbney2024
MinimalismCoreference
OsborneLi2023
ParasiticAttitudes
Reinhart1976
Spector2025
BathroomSentences
Bridging
Compare
Coreference
CrossSentential
DonkeyAnaphora
ModalSubordination
Typology
ArgumentStructure
DiathesisAlternations
Data
Studies
Beavers2010
BeaversUdayana2022
Bruening2021
CCGSubcategorization
Collins2005
Creissels2025
Dowty1991
Everdell2024
HaddicanEtAl2026
Kratzer1996
Larson1988
Levin1993
MinimalismSubcategorization
Osborne2019
Pylkkanen2008
Siloni2012
Storment2026
TheoryComparison
Wood2015
Unaccusativity
Data
DativeAlternation
Passive
Subcategorization
Typology
Assertion
Studies
BringGunlogson2000
Gunlogson2001
Krifka2015
Basic
Compare
AuxiliaryVerbs
Studies
Anderson2006
Sorace2000
Diagnostics
NegativeAuxiliaries
Selection
Typology
Binominals
Studies
TenWolde2023
Case
Studies
Aissen2003
AndersonJM2006
DeHoopMalchukov2008
DependentCaseInventories
Grimm2011
Haspelmath2021
Karlsson2017
Marantz1991
Ozaki2025
Ozaki2026
Woolford1997
Compare
Data
Typology
Causation
Studies
SpalekMcNally
Data
BeaversEtAl2021
BellerGerstenberg2025
Coon2019
KonukEtAl2026
Krejci2012
MartinRoseNichols2025
MunozPerez2026
Nadathur2024
NadathurLauer2020
Song1996
SpalekMcNally2026
Compare
Data
Typology
Causatives
Studies
SpalekMcNally
Data
BeaversEtAl2021
Coon2019
MartinRoseNichols2025
MunozPerez2026
NadathurLauer2020
Song1996
Compare
Data
Typology
Clarification
Studies
DongEtAl2026
TsvilodubEtAl2026
Basic
Classifiers
Studies
Chierchia1998
Downing1996
WangSun2026
Typology
ClauseChaining
Studies
SarvasyAikhenvald2025
Data
Typology
Comparison
Comparative
Compare
Data
Differential
Subcomparative
DegreeQuestion
Data
Equative
Data
Studies
Wellwood2015 (file)
Data
Bresnan1973
FoxHackl2006
Heim2001
Kennedy1999
Kennedy2007
Kennedy2007Typology
Stassen1985
Superlative
Data
Compare
CrossCategorial
Data
Typology
Complementation
Attitudes
ConjunctionDistribution
Data
IntentionalIdentity
Data
IntensionalExamples
Studies
Cacchioli2025
ChatzikyriakidisEtAl2025
Grano2024
Karttunen1971
Noonan2007
Osborne2019Control
Typology
Conditionals
LeftNested
Data
Studies
Belnap1970
EvcenBaleBarner2026
GrusdtLassiterFranke2022
Iatridou2000
Lassiter2025
McKayVanInwagen1977
Mizuno2024
RamotowskaEtAl2025
SubordinateFuture
ZaniCiardelliSanfelici2026
Data
Constructions
ParticleVerbs
Studies
Dendikken1995
Data
Resultatives
Studies
Dendikken1995
Levin2026
Tay2024
Data
Studies
OsborneGross2012
Data
Dunn2025
Dunn2026
FillmoreKayOConnor1988
GoldbergShirtz2025
KayFillmore1999
Control
Studies
Landau2015
Ostrove2026
Coordination
Studies
BillEtAl2025
Stassen2000
Steedman2000
Conjectures
Data
Typology
Copulas
Studies
Elbourne2026
Partee1987
Romero2005
Typology
DefaultReasoning
Studies
DarwichePearl1997
GoldszmidtPearl1996
Spohn1988
Veltman1996
TweetyNixon
Dialogue
Studies
Anderson2021
Ginzburg2012
HardingGerstenbergIcard2025
Basic
Directives
Studies
RuytenbeekEtAl2017
SumersEtAl2023
Typology
Ellipsis
Studies
AnandHardtMcCloskey2021
BenzSalzmann2025
BergenGoodman2015
CitkoGracaninYuksek2025
Funakoshi2016
GinzburgCooper2004
Kalyakin2026
Landau2026
Merchant2013
Osborne2019
Osborne2019Parallelism
Saab2026
Steedman2000Gapping
ClarificationEllipsis
FragmentAnswers
Gapping
NPEllipsis
Sluicing
VPEllipsis
Entailment
Studies
Montague1973
ScontrasPearl2021
Basic
Monotonicity
MontagueTruthConditions
NegationTests
Ergativity
Studies
Bohnemeyer2004
CoonMateoPedroPreminger2014
Imanishi2020
Scott2023
Basic
FillerGap
Islands
Studies
Adger2025
CartnerEtAl2026
Data
MannerOfSpeaking
Studies
Charlow2020
ElkinsImanishiCoon2026
ElkinsTorrenceBrown2026
Erlewine2016
Erlewine2018
HPSGExtraction
HPSGRelativeClauses
KeenanComrie1977
LuDegen2025
Osborne2019Islands
PickeringBarry1991
Sag2010
Scott2021
Steedman2000CrossSerial
Basic
CCGGenerativeCapacity
Compare
CrossSerial
LongDistance
OblExtraction
TobaBatak
Typology
Focus
AdditiveParticles
Studies
TurcoBraunDimroth2014 (file)
Data
Ahn2015
Thomas2026
Data
Studies
DeoThomas2025
Francescotti1995
IppolitoKissWilliams2025
OzyildizEtAl2025
Rooth1992
ThomasDeo2020
Umbach2004
Basic
DiscourseOnly
Exclusives
PolarityStress
ProsodicExhaustivity
Gender
Studies
Kramer2020
Typology
Generics
Studies
AsherPelletier2013
BonehDoron2013
Cohen1999
Cohen2013
DelPrete2013
Guerrini2026
Kirkpatrick2024
Krifka2013
Longobardi2001
Nickel2009
TesslerGoodman2019
BareNames
BarePlurals
Compare
CompareModality
CompareSemantics
Data
KindReference
Gradability
Studies
Wellwood2015
Data
AlexandropoulouGotzner2024
Beltrama2025
BumfordRett2021
CarianiSantorioWellwood2024
DAmbrosioHedden2024
Fine1975
Horn1984
Kamp1975
Kennedy2007Licensing
Klein1980
LassiterGoodman2017
Morzycki2009
Nouwen2024
Partee2010
Rett2015
Rett2015Implicature
Rett2015NeoGricean
Rouillard2026
Sassoon2013
TesslerGoodman2022
Tham2025
WaldonEtAl2023
Adjectives
Compare
ComparisonClass
Data
Typology
Vagueness
Iconicity
Studies
SchlenkerEtAl2026
Basic
Imperatives
Studies
RuytenbeekEtAl2017
SumersEtAl2023
Typology
ImplicitCausality
Studies
SolstadBott2024
Data
Presupposition
Projectivity
ProtoRole
Imprecision
Studies
BeltramaSchwarz2024
BeltramaSoltBurnett2022
EgreEtAl2023
LassiterGoodman2017
Basic
FormMeaning
InferencePreservation
Numerals
Projection
LexicalTypology
Studies
MajidBosterBowerman2008
ZaslavskyEtAl2019
Typology
ModalIndefinites
Studies
AlonsoOvalleMenendezBenito2010
AlonsoOvalleRoyer2024
KratzerShimoyama2002
Data
Modality
ModalConcord
Data
LiuRotter2025
Studies
AghaJeretic2022
AghaJeretic2026
Aloni2022
Alsop2024
BarLevFox2020
ChampollionAlsopGrosu2019
FreeChoiceFarsi
Hacquard2006
Hacquard2010
HerbstrittFranke2019
ImelGuoST2026
Khoo2015
Kratzer1981
Kratzer2012Conditionals
Kratzer2012Informational
Kratzer2012Practical
Kratzer2012Scenario
LiuRotter2025
Narrog2010
Narrog2012
PhillipsBrown2025
RotterLiu2025Concord
Rubinstein2014
Basic
CompareKratzerRSA
ComparePosition
DegreeCollapse
EpistemicContradictions
EpistemicEvidentiality
FreeChoice
FreeChoiceCompare
GermanModals
OutlookMarkers
Typology
Morphology
Studies
AckermanMalouf2013
Adamson2024
Benz2025
Bhadra2024
Bybee1985
HahnDegenFutrell2021
Link1983
Panagiotidis2015
Wood2023
ZwickyPullum1983
CategoryChanging
CompositionBridge
Typology
Negation
Studies
StankovaSimik2024 (file)
Data
Greco2020
JinKoenig2021
Krifka2007
Miestamo2005
Rett2026
Stakov2026
Stakov2026Typology
TesslerFranke2020
Tsiakmakis2025
VanDerSandtMaier2003
Basic
Denial
DoubleNegation
FlexibleNegation
Typology
Nonliteral
Humor
Studies
KaoEtAl2016
Hyperbole
KaoEtAl2014
Irony
Studies
SpinosoDiPiano2025
KaoEtAl2015
Metaphor
KaoEtAl2014
Studies
RelevanceTheory
Numerals
Studies
ClausWalch2024
FoxHackl2006
HuangSpelkeSnedeker2013
Snyder2026
Spector2013
WoodinEtAl2024
Compare
Embedding
Typology
Persuasion
Studies
BarnettEtAl2022
CumminsFranke2021
MacuchSilvaEtAl2024
PhonologicalAlternation
Studies
AfkirZellou2025
Clements1985
CoetzeePater2011
Flemming2021
GoldwaterJohnson2003
Jaeger2007
Magri2025
SPEDerivations
Storme2026
Zuraw2010
ZurawHayes2017
Data
Phonology
Typology
Phonotactics
Studies
HayesWilson2008
Plurals
Studies
Charlow2021
CumulativeReadings
Data
BarLev2021
Champollion2017
HaslingerEtAl2025
Kriz2016
KrizSpector2021
Magri2014
QingEtAl2025
TieuEtAl2020
TieuKrizChemla2019
Basic
Compare
Homogeneity
Multiplicity
NonMaximality
Typology
Polarity
Studies
AlonsoOvalleMoghiseh2025
AlonsoOvalleMoghiseh2025Closure
Chierchia2006
DenicEtAl2021
Israel2001
Ladusaw1979
Lahiri1998
Schwab2022
VonFintel1999
Basic
DisjunctionIgnorance
Exceptives
NPIs
Typology
Politeness
Studies
AlokBhalla2026
FrancikClark1985
MachinoEtAl2025
YoonEtAl2020
Honorifics
Polysemy
Studies
ErkHerbelot2024
Gotham2017
XuEtAl2024
Data
Possession
Studies
Heine1997
Typology
Presupposition
Studies
Beaver2001
Blutner2000
DegenTonhauser2021
DegenTonhauser2022
GiorgoloAsudeh2012
Grove2022
GroveWhite2025
HeKaiserIskarous2025
Heim1983
Heim1992
Karttunen1973
LoGuercio2025
QingGoodmanLassiter2016
RobertsSimons2024
Schlenker2009
ScontrasTonhauser2025
Sharvit2025
TonhauserBeaverDegen2018
TowerDerivation
Wang2025
WangDavidson2026
Warstadt2022
White2014
Yagi2025
Basic
Compare
Diagnostics
ForgetPresuppositions
Gradience
ProjectiveContent
Processing
Studies
GiulianelliEtAl2026
Pronouns
Typology
PsychVerbs
Studies
BellettiRizzi1988
HartshorneEtAl2016
Kim2024
Data
Quantification
Studies
BaleSchwarz2022
BaleSchwarz2026
BarwiseCooper1981
Elliott2025
Montague1973
RSAScopeFreezing
RitchieSchiller2024
Scontras2014
ScontrasPearl2021
ScontrasPearl2021RSA
ScontrasPearl2021TwoNot
ScopeFreezing
Steedman2000
TesslerTenenbaumGoodman2022
Basic
Compare
Data
Examples
MinimalismScope
Typology
Questions
Studies
BhattDayal2020
Dayal2025
GartnerGyuris2017
HawkinsEtAl2025
Holmberg2016
QingEtAl2025
RomeroHan2004
TurkHirschInce2026
Uegaki2022
VanRooy2003
Xiang2022
Basic
Compare
Coordination
Embedding
Exhaustivity
FocusAnswer
MentionSome
MultipleWh
NandaoQs
NandaoQsAnalysis
NegativeQuestions
PolarAnswerStructure
PolarAnswers
PragmaticAnswerhood
ScopeReadings
SlavicPQStrategies
Typology
WhComplement
Reference
Studies
AnandNevins2004
Ariel2001
CohnGordonEtAl2019
DaleReiter1995
DegenEtAl2020
Elbourne2013
EngelhardtEtAl2006
FrankGoodman2012
GilesEtAl2026
HawkinsGweonGoodman2021
KehlerRohde2013
Krifka2026
KursatDegen2021
Longobardi2001
Longobardi2005
Percus2000
QingFranke2015
RonderosEtAl2024
RosaArnold2017
Schlenker2003
SedivyEtAl1999
SikosEtAl2021
WaldonDegen2021
DirectReference
Typology
ScalarImplicatures
Studies
BaleEtAl2025
BarnettEtAl2022
BrehenyEtAl2018
Chierchia2004
ChowErlewine2022
CremersWilcoxSpector2023
Franke2011
FrankeBergen2020
Geurts2010
GeurtsPouscoulous2009
GoodmanStuhlmuller2013
Horn1972
Katzir2007
KatzirSingh2015
Magri2009
MeyerFeiman2021
MontagueExhaustivity
PottsEtAl2016
RSAHurford
ReesReksnesRohde2026
RelevanceTheory
Ronai2024
Spector2007
VanTielEtAl2016
VanTielEtAl2021
ArgumentativeFraming
Basic
Compare
CompareExhaustivity
CompareRSAExh
CompareSauerland
WeakEvidenceEffect
SocialMeaning
Studies
Burnett2019
Basic
SyntacticAmbiguity
Studies
PaapeVasishth2026
Basic
TemporalConnectives
Studies
AlstottAravind2026
Giannakidou2002
OgiharaST2024
Rett2020
AspectInteractionData
Compare
NegationData
Typology
TenseAspect
Studies
Abusch1997
AlstottAravind2026
AspectualConsistency
Cruse1973
Cumming2026
DimensionCoherence
Egressy2026
GokselKerslake2005
HeimKratzer1998
Izvorski1997
KennedyLevin2008
Koev2017
Krifka1989
Krifka1998
Lakoff1970
OgiharaST2024
Rothstein2004
Rouillard2026
SpatialTrace
TsiliaZhao2026
Zhao2025
Zhao2025ThenPresent
Compare
ComparePartee
CompareTenseModal
Data
Typology
Tone
Studies
Hyman2006
Lionnet2025
VowelHarmony
Studies
SiptarTorkenczy2000
WordOrder
Studies
Adger2003
AlexeyenkoZeijlstra2025
ArnoldEtAl2000
ArregiPietraszko2021
BachBrownMarslenWilson1986
BroekhuisCorver2026
Chomsky1995
ColeHermon2008
Dryer1992
FedzechkinaEtAl2017
FutrellEtAl2020
HahnDegenFutrell2021
HarizanovGribanova2019
Hudson1984
KuhlmannNivre2006
Pollock1989
SagWasowBender2003
SchlotterbeckWang2023
Shieber1985
Steedman2000
Westergaard2009
Basic
CrossSerial
Gradience
NonProjectivity
SubjectAuxInversion
Typology
V2
Tactics
RSAPredict (file)
AlgebraicReify
AutoDetect
GoalParsing
Helpers
ProofBuilder
RSABuilder
ReflectBridge
Reify
CancelFin4
NgeFS
NonnegOfForall
OntSort
Theories
Diachronic
Grammaticalization
Lexicalization
ModalChange
Subjectification
FormalLanguageTheory
ClosureProperties
PumpingLemma
Interfaces
MorphologySemantics
StemToLex
SyntaxSemantics
CCG
Derivation
Homomorphism
Interface
Minimalism
CausalSourceBridge
EventStructureBridge
Interface
TopologicalMapping
VoiceTheta
Borer2005
Linking
SyntaxInterface
VoiceSemantics
Morphology
Core
Circumfix
CliticVsAffix
Exponence
ICP
ScaleFromParadigm
WordStructure
DM
Allosemy
Categorizer
CategorizerSemantics
Fission
Impoverishment
NominalStructure
RichExponent
VocabularyInsertion
WP
LCEC
CaseContainment
ReversalRestitution
RootTypology
Phonology
Autosegmental
Defs
RegisterTier
HarmonicGrammar
Basic
MaxEnt
NoisyHG
OTLimit
Separability
Variation
Harmony
Defs
OT
RuleBased
Defs
Syllable
Defs
Foot
NaturalClass
Constraints
FeatureGeometry
Features
ProsodicWord
StratalOT
Pragmatics
Assertion
Brandom
FarkasAdapter
Gunlogson
Krifka
Lauer
Stalnaker
DecisionTheoretic
Also
But
Core
Even
PartitionAdjunction
ScalarImplicature
Dialogue
KOS
Basic
Grammar
Rules
TTRBridge
IBR
Convergence
Core
ScalarGames
Implicature
Constraints
NumericalExpressions
Wang2025
Core
AlternativeGeneration
Alternatives
Basic
Competence
FoxSpector2018
Markedness
ScalarImplicatures
Basic
Operations
Analyticity
ConventionalImplicatures
Evaluativity
NegationScope
Presuppositions
NeoGricean
Constraints
NumericalExpressions
Wang2025
Core
AlternativeGeneration
Alternatives
Basic
Competence
FoxKatzir2011
FoxSpector2018
Markedness
StructuralAlternatives
Symmetry
Exhaustivity
Basic
Chierchia2004
Chierchia2013
EFCI
EFCIClosure
Fox2007
Interface
Implementations
BarLevFox2020
MontagueExhaustivity
Spector2007
ScalarImplicatures
Basic
Operations
Analyticity
ConventionalImplicatures
Evaluativity
NegationScope
Presuppositions
RSA
Core
Softmax
Limits
BToMGrounding
CombinedUtility
CompositionalRSA
Config
ConfigData
Convergence
EmbeddedSI
Model
Noise
Priors
RankingBridge
SemanticBackend
SpeakerDiscrimination
Extensions
InformationTheory
Basic
PhaseTransition
RateDistortion
UtilityDynamics
UtilityNonMonotonicity
LexicalUncertainty
Basic
Compositional
ArgumentativeStrength
NoncooperativeCommunication
Implementations
BellerGerstenberg2025
BergenGoodman2015
CumminsFranke2021
EgreEtAl2023
Franke2011
GrusdtLassiterFranke2022
HardingGerstenbergIcard2025
HawkinsEtAl2025
HawkinsGweonGoodman2021
QingEtAl2016
ScopeFreezing
SumersEtAl2023
TesslerGoodman2022
VanTielEtAl2021
Questions
Basic
PolarQuestions
ResponseSelection
ScalarImplicatures
Embedded
Attitudes
Basic
Conditionals
Questions
Basic
Hurford
PhaseTransition
Quantities
RelevanceTheory
CognitiveEffects
CognitiveEnvironment
Comprehension
Ostension
Relevance
Bidirectional
GriceanMaxims
Processing
CueBasedRetrieval
Basic
MemorySurprisal
Basic
Semantics
Alternatives
AtomicConstraint
ContextualConstraint
FoxKatzir2011
Lexical
Structural
StructuralAlternatives
Symmetric
Symmetry
Attitudes
BuilderProperties
CDistributivity
Confidence
ContentComposition
ContextQuantification
ContrafactiveGap
Doxastic
EmbeddingConstraints
EpistemicThreshold
Factivity
Intensional
Monotonicity
NegRaising
Parasitic
PreExistence
Preferential
RationalAttitude
SituationDependent
Causation
Basic
Builder
CausalClosure
CausalSelection
CausalVerb
CoerciveImplication
ComplementEntailing
DegreeCausation
Examples
GradedCausation
Implicative
Integration
MorphologicalCausation
Necessity
ProductionDependence
PsychCausalLink
PsychCausation
Resultatives
Sufficiency
Comparison
Delineation
Hierarchy
Composition
Applicative
Effects
Glue
MaybeMonad
PredicateTransfer
QuantifierComposition
Scope
SetMonad
Tree
TypeShifting
WriterMonad
Conditionals
AlternativeSensitive
Anderson
Assertability
Basic
ConditionalType
Counterfactual
Exhaustivity
Iatridou
LeftNested
Presuppositional
Restrictor
Degree
Frameworks
Heim
Kennedy
Klein
Rett
Schwarzschild
Aggregation
Comparative
Core
DegreeAbstraction
DegreeQuestion
Differential
Equative
Granularity
Intervals
Superlative
ThanClause
Wellwood
Dynamic
ABLE
Basic
BSML
Basic
FreeChoice
Bilateral
BUS
BUS_DynamicTy2
Basic
FreeChoice
CDRT
Basic
DynamicTy2
Fragment
Comparisons
PLA_BUS
Continuation
Basic
Core
Accessibility
Basic
CCP
CylindricAlgebra
DRSExpr
DiscourseRef
DynProp
DynamicTy2
KindAnaphora
Translation
Update
WeakestPrecondition
DPL
Basic
Bridge
DRT
Basic
DynamicGQ
Basic
HigherOrder
PostSuppositional
SubtypePolymorphism
UpdateTheoretic
Effects
Bilateral
Basic
FreeChoice
Continuation
Basic
Default
Basic
Frames
Epistemic
Basic
Nondeterminism
Basic
Charlow2019
PointwiseUpdate
Probability
Basic
State
Basic
DPL
DPLBridge
DRT
Epistemic
Basic
FileChange
Basic
IntensionalCDRT
Basic
Connectives
MendesDerivations
ModalDonkeyAnaphora
PresuppositionWeakening
Situations
Update
Nondeterminism
Basic
Charlow2019
PointwiseUpdate
PIP
Basic
Connectives
Phenomena
PLA
Basic
Belief
DeepTheorems
DynamicTy2
Epistemic
Quantifiers
Semantics
Update
Probability
Basic
Systems
BSML
Basic
FreeChoice
BUS
Basic
DynamicTy2
CDRT
Basic
DynamicTy2
DynamicGQ
Basic
HigherOrder
PostSuppositional
SubtypePolymorphism
UpdateTheoretic
IntensionalCDRT
Basic
Connectives
MendesDerivations
ModalDonkeyAnaphora
PresuppositionWeakening
Situations
Update
PIP
Basic
Connectives
Phenomena
PLA
Basic
Belief
DeepTheorems
DynamicTy2
Epistemic
Quantifiers
Semantics
Update
UpdateSemantics
Basic
Default
Frames
Generics
State
TeamSemantics
Entailment
AntiAdditivity
Basic
Monotonicity
Polarity
PolarityBuilder
PresuppositionPolarity
ScaleInteraction
StrawsonEntailment
Events
Agentivity
AgentivityLattice
ArgumentRealization
Basic
DegreeEvents
DimensionBridge
DimensionCoherence
EntailmentProfile
EventStructure
Krifka1989
Krifka1998
Mereology
ProtoRoles
SpatialTrace
SpatiotemporalDistance
StratifiedReference
TemporalDecomposition
ThematicRoles
ThematicRolesGrounding
Exhaustification
Implementations
BarLevFox2020
MontagueExhaustivity
Spector2007
Basic
Chierchia2004
Chierchia2013
EFCI
EFCIClosure
Fox2007
FreeChoice
InnocentExclusion
InnocentInclusion
Interface
Operators
ScalePredictions
Trivalent
Focus
BackgroundedIslands
Interpretation
KratzerSelkirk2020
Particles
Sensitivity
Iconic
Basic
Intensional
Situations
Elbourne
Percus
Basic
Lexical
Adjective
Aggregation
Antonymy
Classification
ClauseEmbedding
Intensification
MLScale
StatesBased
Theory
Determiner
Demonstrative
AhnZhu2025
Definite
DomainRestriction
PolarizedIndividuals
Quantifier
Expressives
Basic
OutlookMarker
Noun
Kind
Carlson1977
Chierchia1998
Dayal2004
Generics
Krifka2004
Relational
Barker2011
Binominal
GradableNouns
TypeShifting
Numeral
Embedding
Polysemy
Precision
Semantics
Particle
Additive
DiscourseOnly
Plural
CandidateInterpretation
Cumulativity
Distributivity
ExistentialPL
Link1983
Verb
ChangeOfState
Theory
Affectedness
AgentivityLattice
ArgDerivation
Aspect
DegreeAchievement
EntailmentProfile
EventStructure
Habituals
LevinClassProfiles
SelectionalPreferences
VerbEntry
ViewpointAspect
CovertQuantifier
Measurement
Modality
Kratzer (file)
Background
Flavor
Operators
Ordering
Ability
ActualityEntailments
Assert
Basic
BiasedPQ
Compare
Desire
Directive
Disjunction
EpistemicLogic
EpistemicProbability
EventRelativity
Inertia
Kernel
KnowledgeProbability
ModalIndefinites
Narrog
PhillipsBrown
ProbabilityOrdering
SatisfactionOrdering
Simple
Temporal
Typology
Montague
Basic
Composition
Conjunction
Derivation
Lexicon
Modification
PTQ
Scope
Types
Variables
Mood
Basic
Negation
CzechNegation
PIP
Basic
Connectives
Felicity
Polarity
CzechNegation
PossibilitySemantics
Basic
Epistemic
Lifting
Ortholattice
Presupposition
Accommodation
BeliefEmbedding
LocalContext
OntologicalPreconditions
TonhauserDerivation
Transparency
Probabilistic
Measurement
Basic
SDS
Core
Examples
Marginalization
MeasureTheory
ThresholdInstances
ThresholdSemantics
Scenarios
Basic
BayesianSemantics
ParamPred
Questions
Answerhood (file)
Answerhood
Exhaustivity
FoxExhaustification
MentionSome
PragmaticAnswerhood
ProbabilisticAnswerhood
Support
Denotation
Basic
Hamblin
Inquisitive
Partition
Utility
GSVanRooyBridge
MerinBridge
Polarity
Relevance
AnsweringSystems
Basic
Coordination
DegreeQuestion
EconomyOddness
EntropyNPIs
Exhaustivity
GSVanRooyBridge
Hamblin
Inquisitive
LeftPeriphery
LiftedTypes
MentionSome
Partition
Polarity
PragmaticAnswerhood
ProbabilisticAnswerhood
QParticleLayer
ScopeReadings
SignalingGames
Support
VerumFocus
Reference
Almog2014
Basic
Binding
Demonstratives
Donnellan
FreeIndirectDiscourse
Kaplan
KaplanLD
Kripke
Monsters
PersonFeatures
Reciprocals
ShiftedIndexicals
Supervaluation
Basic
TCS
Tense
Aspect
Core
LexicalAspect
SubintervalProperty
TemporalConnectives (file)
Anscombe
Basic
BeaverCondoravdi
EventBridge
Giannakidou
Karttunen
OST
Rett
Abusch
Anderson
Basic
BranchingTime
Compositional
ConditionalShift
CounterfactualTense
Deal
Declerck
Decomposition
Evidential
FeatureChecking
Klecha
Kratzer
MaximalInformativity
ModalTense
Ogihara
PTS
ParticipantPerspective
PerfectPolysemy
Perspective
SequenceOfTense
Sharvit
SimultaneousTense
TOChain
TemporalAdverbials
TemporalDeRe
TenseAspectComposition
TsiliaEtAl2026
VonStechow
ZeroTense
Truthmaker
Basic
TypeTheoretic
Copredication
Core
DFrame
Discourse
FrameBridge
Modality
Quantification
Selectional
Underspecification
Sociolinguistics
EckertMontague
PropertySpace
SCM
SMG
Syntax
CCG
Core
Basic
Combinators
FromFragments
Formal
Equivalence
FormalLanguageTheory
GenerativeCapacity
CrossSerial
Gapping
Intonation
Scope
ConstructionGrammar
Studies
FillmoreKayOConnor1988
GoldbergJackendoff2004
GoldbergShirtz2025
ArgumentStructure
Basic
GrammarDist
Slot
DependencyGrammar
Core
Basic
Dominance
LexicalRules
NetworkIntegration
Nominal
Projection
Formal
MemorySurprisal
Basic
FedzechkinaEtAl2017
MorphemeOrder
Catena
CatenalConstruction
CoordinationParallelism
DependencyLength
Discontinuity
Ellipsis
EnhancedDependencies
Government
HarmonicOrder
HeadCriteria
Islands
NonProjective
VPDivergence
CRDC
Coordination
Coreference
LongDistance
HPSG
Core
Basic
FromFragments
HeadFiller
LexicalRules
RelativeClauses
Coreference
Inversion
MereologicalSyntax
Basic
Bridge
Interpretation
Minimalism
Core
Agree
Applicative
Basic
CaseDiscrimination
CaseFilter
ClauseSpine
CyclicAgree
DependentCase
Derivation
EPP
Economy
Features
FromFragments
Labeling
Modification
Multidominance
ObligatoryOperations
PConstraint
PersonGeometry
Phase
Position
SmallClause
Spellout
Structure
VerbalDecomposition
Voice
Ellipsis
DeletionDomain
Formal
Constraints
HMC
ExtendedProjection
Basic
Properties
HeadMovement
Basic
GenHM
VerbMovement
Linearization
LCA
MCB2023
Accessible
BinaryOptimality
Coproduct
FreeMagmaEquiv
Sluicing
FormalMatching
Amalgamation
MergeUnification
Workspace
XBar
HeadMovement
BulgarianLHM
GermanicV2
Movement
Smuggling
Tense
AgreeSOT
InfinitivalTense
Wurmbrand
Zeijlstra
CombinationSchemata
Coreference
Derivations
Inversion
MinimalPronoun
Polarity
Questions
RelativeClauses
Scope
SpeechActs
VoiceAppl
SynGraph
references (file)

Color scheme