Linglib.lean

/-
# Linglib

A Lean 4 library for formal linguistics, covering semantics, pragmatics,
and their interfaces. See README.md for documentation links.
-/
-- Core
import Linglib.Features.Gender
import Linglib.Core.Word
import Linglib.Typology.PolarityItem
import Linglib.Typology.Negation
import Linglib.Features.ClauseForm
import Linglib.Features.Clusivity
import Linglib.Theories.Syntax.Common.Inversion
import Linglib.Typology.Pronouns
import Linglib.Core.Logic.Truth3
import Linglib.Core.Logic.Consequence
import Linglib.Core.Logic.ThreeValuedLogic
import Linglib.Features.Acceptability
import Linglib.Core.Semantics.ParameterizedUpdate
import Linglib.Core.UD
import Linglib.Core.Tree
import Linglib.Features.Coordination
import Linglib.Core.Logic.Duality
import Linglib.Core.Logic.Quantification
import Linglib.Core.Logic.Quantification.Defs
import Linglib.Core.Logic.Quantification.Generators
import Linglib.Core.Logic.Quantification.Properties
import Linglib.Core.Logic.Quantification.NumberTree
import Linglib.Core.Logic.Quantification.Lattice
import Linglib.Core.Logic.Quantification.Logicality
import Linglib.Core.Logic.Quantification.Polyadic
import Linglib.Core.Logic.Opposition.Aristotelian
import Linglib.Core.Logic.Opposition.Atoms
import Linglib.Core.Logic.Opposition.Bitstring
import Linglib.Core.Logic.Opposition.Diagram
import Linglib.Core.Logic.Opposition.Partition
import Linglib.Core.Logic.Opposition.Probabilistic
import Linglib.Core.Logic.Opposition.Square
import Linglib.Core.Logic.PolarizedIndividuals
import Linglib.Core.Scales.Extent
import Linglib.Theories.Semantics.Alternatives.Lexical
import Linglib.Core.IntensionalLogic.Rigidity
import Linglib.Core.IntensionalLogic.Frame
import Linglib.Core.IntensionalLogic.Variables
import Linglib.Core.IntensionalLogic.Conjunction
import Linglib.Core.IntensionalLogic.Defs
import Linglib.Core.IntensionalLogic.Quantification
import Linglib.Core.IntensionalLogic.Algebra
import Linglib.Core.IntensionalLogic.CategoryType
import Linglib.Core.IntensionalLogic.RestrictedModality
import Linglib.Core.IntensionalLogic.Premise
import Linglib.Core.IntensionalLogic.ConversationalBackground
import Linglib.Core.IntensionalLogic.Situations
import Linglib.Core.IntensionalLogic.Lumping
import Linglib.Core.Logic.BeliefRevision
import Linglib.Core.Order.Tree
import Linglib.Core.Order.Command
import Linglib.Core.Order.Normality
import Linglib.Core.Order.SimilarityOrdering
import Linglib.Core.Order.Plausibility
import Linglib.Core.Order.Satisfaction
import Linglib.Core.Order.FeaturePreorder
import Linglib.Core.Order.SetPreimage
import Linglib.Core.Order.Ortholattice
import Linglib.Core.Order.PreferenceStructure
import Linglib.Core.Order.PreferenceStructure.EffectivePreference
import Linglib.Core.Order.PreferenceStructure.MaxInducedOrdering
import Linglib.Core.Logic.RankingFunction
import Linglib.Core.Logic.SystemZ
import Linglib.Features.Register
import Linglib.Features.QParticleLayer
import Linglib.Features.AnsweringSystem
import Linglib.Phenomena.SocialMeaning.IndexicalField
import Linglib.Core.Semantics.CommonGround
import Linglib.Core.Semantics.Presupposition
import Linglib.Core.Semantics.PresuppositionContext
import Linglib.Core.Semantics.Postsupposition
import Linglib.Core.Semantics.ContentLayer
import Linglib.Core.Question.Partition.Lattice
import Linglib.Core.Question.Partition.Cells
import Linglib.Core.Question.Partition.Binary
import Linglib.Core.Question.Partition.Negativity
import Linglib.Phenomena.Negation.ExpletiveNegation
import Linglib.Features.Polarity
import Linglib.Phenomena.Polarity.PolarityPartition
import Linglib.Features.PropertyDomain
import Linglib.Features.Antonymy
import Linglib.Features.Valence
import Linglib.Features.ModalIndefinite
import Linglib.Core.Modality.ModalBaseKind
import Linglib.Core.Modality.ModalTypes
import Linglib.Core.Modality.TemporalAxes
import Linglib.Theories.Semantics.Conditionals.SelectionFunction
import Linglib.Core.Question.Partition.QUD
import Linglib.Core.Question.PrecisionProjection
import Linglib.Core.Question.Support
import Linglib.Core.Question.Basic
import Linglib.Core.Question.Hamblin
import Linglib.Core.Question.Partition.Basic
import Linglib.Core.Question.Singleton
import Linglib.Core.Question.Granularity
import Linglib.Core.Question.Relevance
import Linglib.Core.Discourse.QUDStack
import Linglib.Core.Discourse.Strategy
import Linglib.Core.Discourse.Goal
import Linglib.Core.Discourse.Scoreboard
import Linglib.Core.Discourse.AtIssueness
import Linglib.Features.CoreferenceStatus
import Linglib.Theories.Interfaces.SyntaxSemantics.Binding
import Linglib.Core.CombinationKind
import Linglib.Features.ScopeTypes
import Linglib.Theories.Interfaces.Morphosyntax.Extraction
import Linglib.Phenomena.ArgumentStructure.VoiceSystem
import Linglib.Theories.Syntax.ArgumentStructure.Alternation
import Linglib.Core.Causal.BayesNet
import Linglib.Core.Causal.Variable
import Linglib.Core.Causal.Graph.Defs
import Linglib.Core.Causal.Graph.Basic
import Linglib.Core.Causal.Valuation
import Linglib.Core.Causal.Mechanism.Defs
import Linglib.Core.Causal.Mechanism.Deterministic
import Linglib.Core.Causal.Mechanism.PMF
import Linglib.Core.Causal.Mechanism.NoisyOr
import Linglib.Core.Causal.SEM.Defs
import Linglib.Core.Causal.SEM.Basic
import Linglib.Core.Causal.SEM.Bool
import Linglib.Core.Causal.SEM.Counterfactual
import Linglib.Core.NestedRestriction
import Linglib.Theories.Semantics.Verb.Roots.RootFeatures
import Linglib.Features.Aktionsart
import Linglib.Features.Attitudes
import Linglib.Features.Causation
import Linglib.Theories.Semantics.Verb.LevinClass
import Linglib.Theories.Semantics.Verb.MeaningComponents
import Linglib.Theories.Semantics.Verb.DiathesisAlternation
import Linglib.Theories.Semantics.Verb.VerbEntry
import Linglib.Core.Logic.NaturalLogic
import Linglib.Core.Constraint.Profile
import Linglib.Core.Constraint.Weighted
import Linglib.Core.Constraint.Evaluation
import Linglib.Core.Constraint.Superoptimal
import Linglib.Core.Constraint.OT.Basic
import Linglib.Core.Constraint.OT.ERC
import Linglib.Core.Constraint.OT.Antimatroid
import Linglib.Core.Constraint.OT.EvalMode
import Linglib.Core.Constraint.OT.Iteration
import Linglib.Core.Constraint.OT.HarmonicSerialism
import Linglib.Core.Agent.DecisionTheory
import Linglib.Core.Agent.PartitionDT
import Linglib.Core.Agent.BayesianUpdate
import Linglib.Core.Agent.ExperimentDesign
import Linglib.Core.Agent.RationalAction
import Linglib.Core.Agent.CoupledEvaluation
import Linglib.Core.Constraint.MaxEnt
import Linglib.Core.Constraint.Decoder
import Linglib.Core.Constraint.NoiseKernel
import Linglib.Core.Constraint.System
import Linglib.Core.Constraint.Pareto
import Linglib.Core.Constraint.Semiring
import Linglib.Core.Constraint.Variation
import Linglib.Core.Constraint.NoisyHG
import Linglib.Core.Constraint.Dequantization.OTLimit
import Linglib.Core.Constraint.Cumulativity
import Linglib.Core.Constraint.PartiallyOrderedConstraints
import Linglib.Core.Constraint.PermSubsetCombinatorics
import Linglib.Core.Constraint.Separability
import Linglib.Core.Constraint.Dequantization.ViolationSemiring
import Linglib.Core.Constraint.Dequantization.LogSumExp.Basic
import Linglib.Core.Constraint.Dequantization.LogSumExp.Limit
import Linglib.Core.Constraint.Dequantization.LogSumExp.Softmax
import Linglib.Core.Constraint.Dequantization.Deformation
import Linglib.Core.Agent.SoftmaxOptimality
import Linglib.Core.Agent.UtilityTheory
import Linglib.Core.Agent.ChoiceApproximations
import Linglib.Core.Agent.Psychophysics
import Linglib.Core.Agent.Thurstone
import Linglib.Core.Agent.SignalDetection
import Linglib.Core.Agent.RankOrderings
import Linglib.Core.Agent.SemiorderRanking
import Linglib.Core.Agent.GumbelLuce
import Linglib.Core.Agent.GaussianChoice
import Linglib.Core.Agent.PsychophysicalChoice
import Linglib.Core.Agent.Learning
import Linglib.Core.Agent.SocialUtility
import Linglib.Theories.Pragmatics.GameTheory
import Linglib.Theories.Pragmatics.SignalingGames
import Linglib.Features.Evidentiality
import Linglib.Features.Mirativity
import Linglib.Core.Epistemicity
import Linglib.Features.Logophoricity
import Linglib.Core.WorldTimeIndex
import Linglib.Core.Time.Interval.Basic
import Linglib.Core.Time.Interval.Generalized
import Linglib.Core.Time.Boundedness
import Linglib.Core.Time.Relation
import Linglib.Core.Time.AtomDist
import Linglib.Core.Time.Allen
import Linglib.Core.Time.Orientation
import Linglib.Core.Time.Domain
import Linglib.Core.Time.RelationOrigin
import Linglib.Core.Time.System
import Linglib.Core.Time.Reichenbach
import Linglib.Core.Time.Tense
import Linglib.Typology.WordOrder
import Linglib.Typology.Adposition
import Linglib.Typology.ArgumentStructure
import Linglib.Typology.Copulas
import Linglib.Typology.Morphology
import Linglib.Typology.Complementation
import Linglib.Typology.ClassifierSystem
import Linglib.Typology.Directives
import Linglib.Typology.Indefinite
import Linglib.Typology.Profile
import Linglib.Typology.Universal
import Linglib.Typology.Numerals
import Linglib.Typology.Plurals
import Linglib.Typology.PolarityMarking
import Linglib.Typology.Possession
import Linglib.Typology.Pronouns
import Linglib.Typology.Question
import Linglib.Typology.Reference
import Linglib.Typology.TenseAspect
import Linglib.Typology.Color
import Linglib.Typology.BodyParts
import Linglib.Core.Context.Basic
import Linglib.Core.Context.Tower
import Linglib.Core.Context.Shifts
import Linglib.Core.Context.Rich
import Linglib.Features.InformationStructure
import Linglib.Theories.Semantics.Focus.Comparability
import Linglib.Features.Prosody
import Linglib.Features.Definiteness
import Linglib.Core.Deixis.Feature
import Linglib.Core.Nominal.Description
import Linglib.Core.Nominal.Maximality
import Linglib.Core.Nominal.Interpret
import Linglib.Core.Nominal.ArticleInventory
import Linglib.Theories.Syntax.Binding.SpecificityCondition
import Linglib.Features.Prominence
import Linglib.Features.Genericity
import Linglib.Core.Computability.FormalLanguage
import Linglib.Core.Computability.Subregular.Basic
import Linglib.Core.Computability.Subregular.StrictlyLocal
import Linglib.Core.Computability.Subregular.LocallyTestable
import Linglib.Core.Computability.Subregular.Tier
import Linglib.Core.Computability.Subregular.Hierarchy
import Linglib.Core.Computability.Subregular.Piecewise
import Linglib.Core.Computability.Subregular.Definite
import Linglib.Core.Computability.Subregular.ForbiddenPairs
import Linglib.Core.Direction
import Linglib.Core.Computability.Subregular.Function.ISL
import Linglib.Core.Computability.Subregular.Function.OSL
import Linglib.Core.Computability.Subregular.Function.Subsequential
import Linglib.Core.Computability.Subregular.Function.Hierarchy
import Linglib.Core.Computability.Subregular.Function.WeaklyDeterministic
import Linglib.Core.StringHom
import Linglib.Features.VerbCluster
import Linglib.Core.Case.Basic
import Linglib.Core.Case.Hierarchy
import Linglib.Core.Case.Order
import Linglib.Core.Case.FeatureBundle
import Linglib.Core.Case.Split
import Linglib.Core.Case.Grammaticalization
import Linglib.Core.Case.Comparative
import Linglib.Core.AgreementTarget
import Linglib.Theories.Interfaces.Morphosyntax.StarABA
import Linglib.Theories.Interfaces.Morphosyntax.CaseContainment
import Linglib.Theories.Interfaces.Morphosyntax.DegreeContainment
import Linglib.Core.Relativization.Basic
import Linglib.Theories.Interfaces.Morphosyntax.Relativization
import Linglib.Core.Relativization.Hierarchy
import Linglib.Typology.ClassifierSystem
import Linglib.Core.Scales.Roundness
import Linglib.Core.Scales.EpistemicScale.Defs
import Linglib.Core.Scales.EpistemicScale.Entailments
import Linglib.Core.Scales.EpistemicScale.FinsetBridge
import Linglib.Core.Scales.EpistemicScale.Conditional
import Linglib.Core.Scales.EpistemicScale.Cancellation
import Linglib.Core.Scales.EpistemicScale.Cancellation88
import Linglib.Core.Scales.EpistemicScale.CancellationChambers
import Linglib.Core.Scales.EpistemicScale.CancellationHelpers
import Linglib.Core.Scales.EpistemicScale.Representability
import Linglib.Core.Mereology
import Linglib.Core.Mereotopology
import Linglib.Core.Scales.MereoDim
import Linglib.Theories.Semantics.Attitudes.ContentIndividual
import Linglib.Core.Agent.BToM
import Linglib.Core.Agent.Emotion
import Linglib.Theories.Semantics.Spatial.Path
import Linglib.Core.Assignment
import Linglib.Theories.Semantics.Composition.Continuation
import Linglib.Core.CylindricAlgebra
import Linglib.Core.CylindricAlgebra.DynamicSemantics
import Linglib.Features.PrivativePair
import Linglib.Features.Person
import Linglib.Features.PronounStrength
import Linglib.Theories.Interfaces.SyntaxSemantics.Minimalist.PhiSemantics
import Linglib.Features.Number
import Linglib.Core.CoreConcept
import Linglib.Core.Morphology.MorphRule
import Linglib.Theories.Semantics.Noun.BinominalDefs
import Linglib.Typology.ExpressiveModifier
import Linglib.Theories.Pragmatics.Efficiency
import Linglib.Phenomena.Reference.SearchEfficiency
import Linglib.Core.InformationTheory
import Linglib.Theories.Pragmatics.RSA.Distributions
import Linglib.Core.Probability.PMFFin
import Linglib.Core.Probability.PMFPosterior
import Linglib.Core.Probability.ProductOfExperts
import Linglib.Core.Probability.DirichletMultinomial
import Linglib.Core.Probability.PolyaUrn
import Linglib.Core.Probability.PitmanYor
import Linglib.Core.Probability.Gaussian
import Linglib.Theories.Pragmatics.InformationTheory.Channel
import Linglib.Theories.Pragmatics.InformationTheory.ChannelCapacity
import Linglib.Theories.Pragmatics.AsymmetricCommunication
import Linglib.Core.Inheritance.Basic
import Linglib.Core.Inheritance.Choice
import Linglib.Core.Inheritance.Default
import Linglib.Core.Inheritance.BestFit
import Linglib.Core.Inheritance.Prototype
import Linglib.Core.Dependency.Basic
import Linglib.Core.Dependency.Projection
import Linglib.Core.Dependency.Dominance
import Linglib.Core.Morphology.MorphProfile
import Linglib.Core.Morphology.Wordhood
import Linglib.Core.Morphology.FormMeaningMapping
import Linglib.Core.Morphology.ConsonantalRoot
import Linglib.Core.Morphology.Circumfix
import Linglib.Core.Morphology.Exponence
import Linglib.Core.Morphology.MorphWord
import Linglib.Theories.Semantics.Verb.Roots.Operators
import Linglib.Core.Discourse.Coherence
import Linglib.Core.Discourse.Accessibility
import Linglib.Core.Discourse.IllocutionaryForce
import Linglib.Core.Discourse.Intentionality
import Linglib.Core.Discourse.Commitment
import Linglib.Core.Discourse.Roles
import Linglib.Core.Mood
import Linglib.Core.Modality.DeonticNecessity
import Linglib.Phenomena.Subjecthood.SubjectProperties
import Linglib.Phenomena.NullSubject.Basic
import Linglib.Phenomena.NullSubject.Defs
import Linglib.Phenomena.NullSubject.Universals
import Linglib.Features.Subjectivity
import Linglib.Datasets.PHOIBLE.Schema
import Linglib.Datasets.PHOIBLE.Inventories.English
import Linglib.Datasets.PHOIBLE.Inventories.Finnish
import Linglib.Datasets.PHOIBLE.Inventories.French
import Linglib.Datasets.PHOIBLE.Inventories.Georgian
import Linglib.Datasets.PHOIBLE.Inventories.German
import Linglib.Datasets.PHOIBLE.Inventories.HindiUrdu
import Linglib.Datasets.PHOIBLE.Inventories.Hungarian
import Linglib.Datasets.PHOIBLE.Inventories.Japanese
import Linglib.Datasets.PHOIBLE.Inventories.MandarinChinese
import Linglib.Datasets.PHOIBLE.Inventories.Maori
import Linglib.Datasets.PHOIBLE.Inventories.Russian
import Linglib.Datasets.PHOIBLE.Inventories.Spanish
import Linglib.Datasets.PHOIBLE.Inventories.Swahili
import Linglib.Datasets.PHOIBLE.Inventories.Turkish
import Linglib.Datasets.PHOIBLE.Inventories.Yoruba
import Linglib.Datasets.PHOIBLE.Inventories.Zulu
import Linglib.Datasets.WALS.Datapoint
import Linglib.Datasets.WALS.Languages
import Linglib.Datasets.WALS.Features.F1A
import Linglib.Datasets.WALS.Features.F2A
import Linglib.Datasets.WALS.Features.F3A
import Linglib.Datasets.WALS.Features.F4A
import Linglib.Datasets.WALS.Features.F5A
import Linglib.Datasets.WALS.Features.F6A
import Linglib.Datasets.WALS.Features.F7A
import Linglib.Datasets.WALS.Features.F8A
import Linglib.Datasets.WALS.Features.F9A
import Linglib.Datasets.WALS.Features.F10A
import Linglib.Datasets.WALS.Features.F10B
import Linglib.Datasets.WALS.Features.F11A
import Linglib.Datasets.WALS.Features.F12A
import Linglib.Datasets.WALS.Features.F13A
import Linglib.Datasets.WALS.Features.F14A
import Linglib.Datasets.WALS.Features.F15A
import Linglib.Datasets.WALS.Features.F16A
import Linglib.Datasets.WALS.Features.F17A
import Linglib.Datasets.WALS.Features.F18A
import Linglib.Datasets.WALS.Features.F19A
import Linglib.Datasets.WALS.Features.F20A
import Linglib.Datasets.WALS.Features.F21A
import Linglib.Datasets.WALS.Features.F21B
import Linglib.Datasets.WALS.Features.F22A
import Linglib.Datasets.WALS.Features.F23A
import Linglib.Datasets.WALS.Features.F24A
import Linglib.Datasets.WALS.Features.F25A
import Linglib.Datasets.WALS.Features.F25B
import Linglib.Datasets.WALS.Features.F26A
import Linglib.Datasets.WALS.Features.F27A
import Linglib.Datasets.WALS.Features.F28A
import Linglib.Datasets.WALS.Features.F29A
import Linglib.Datasets.WALS.Features.F30A
import Linglib.Datasets.WALS.Features.F31A
import Linglib.Datasets.WALS.Features.F32A
import Linglib.Datasets.WALS.Features.F33A
import Linglib.Datasets.WALS.Features.F34A
import Linglib.Datasets.WALS.Features.F35A
import Linglib.Datasets.WALS.Features.F36A
import Linglib.Datasets.WALS.Features.F37A
import Linglib.Datasets.WALS.Features.F38A
import Linglib.Datasets.WALS.Features.F39A
import Linglib.Datasets.WALS.Features.F39B
import Linglib.Datasets.WALS.Features.F40A
import Linglib.Datasets.WALS.Features.F41A
import Linglib.Datasets.WALS.Features.F42A
import Linglib.Datasets.WALS.Features.F43A
import Linglib.Datasets.WALS.Features.F44A
import Linglib.Datasets.WALS.Features.F45A
import Linglib.Datasets.WALS.Features.F46A
import Linglib.Datasets.WALS.Features.F47A
import Linglib.Datasets.WALS.Features.F48A
import Linglib.Datasets.WALS.Features.F49A
import Linglib.Datasets.WALS.Features.F50A
import Linglib.Datasets.WALS.Features.F51A
import Linglib.Datasets.WALS.Features.F52A
import Linglib.Datasets.WALS.Features.F53A
import Linglib.Datasets.WALS.Features.F54A
import Linglib.Datasets.WALS.Features.F55A
import Linglib.Datasets.WALS.Features.F56A
import Linglib.Datasets.WALS.Features.F57A
import Linglib.Datasets.WALS.Features.F58A
import Linglib.Datasets.WALS.Features.F58B
import Linglib.Datasets.WALS.Features.F59A
import Linglib.Datasets.WALS.Features.F60A
import Linglib.Datasets.WALS.Features.F61A
import Linglib.Datasets.WALS.Features.F62A
import Linglib.Datasets.WALS.Features.F63A
import Linglib.Datasets.WALS.Features.F64A
import Linglib.Datasets.WALS.Features.F65A
import Linglib.Datasets.WALS.Features.F66A
import Linglib.Datasets.WALS.Features.F67A
import Linglib.Datasets.WALS.Features.F68A
import Linglib.Datasets.WALS.Features.F69A
import Linglib.Datasets.WALS.Features.F70A
import Linglib.Datasets.WALS.Features.F71A
import Linglib.Datasets.WALS.Features.F72A
import Linglib.Datasets.WALS.Features.F73A
import Linglib.Datasets.WALS.Features.F74A
import Linglib.Datasets.WALS.Features.F75A
import Linglib.Datasets.WALS.Features.F76A
import Linglib.Datasets.WALS.Features.F77A
import Linglib.Datasets.WALS.Features.F78A
import Linglib.Datasets.WALS.Features.F79A
import Linglib.Datasets.WALS.Features.F79B
import Linglib.Datasets.WALS.Features.F80A
import Linglib.Datasets.WALS.Features.F81A
import Linglib.Datasets.WALS.Features.F81B
import Linglib.Datasets.WALS.Features.F82A
import Linglib.Datasets.WALS.Features.F83A
import Linglib.Datasets.WALS.Features.F84A
import Linglib.Datasets.WALS.Features.F85A
import Linglib.Datasets.WALS.Features.F86A
import Linglib.Datasets.WALS.Features.F87A
import Linglib.Datasets.WALS.Features.F88A
import Linglib.Datasets.WALS.Features.F89A
import Linglib.Datasets.WALS.Features.F90A
import Linglib.Datasets.WALS.Features.F90B
import Linglib.Datasets.WALS.Features.F90C
import Linglib.Datasets.WALS.Features.F90D
import Linglib.Datasets.WALS.Features.F90E
import Linglib.Datasets.WALS.Features.F90F
import Linglib.Datasets.WALS.Features.F90G
import Linglib.Datasets.WALS.Features.F91A
import Linglib.Datasets.WALS.Features.F92A
import Linglib.Datasets.WALS.Features.F93A
import Linglib.Datasets.WALS.Features.F94A
import Linglib.Datasets.WALS.Features.F95A
import Linglib.Datasets.WALS.Features.F96A
import Linglib.Datasets.WALS.Features.F97A
import Linglib.Datasets.WALS.Features.F98A
import Linglib.Datasets.WALS.Features.F99A
import Linglib.Datasets.WALS.Features.F100A
import Linglib.Datasets.WALS.Features.F101A
import Linglib.Datasets.WALS.Features.F102A
import Linglib.Datasets.WALS.Features.F103A
import Linglib.Datasets.WALS.Features.F104A
import Linglib.Datasets.WALS.Features.F105A
import Linglib.Datasets.WALS.Features.F106A
import Linglib.Datasets.WALS.Features.F107A
import Linglib.Datasets.WALS.Features.F108A
import Linglib.Datasets.WALS.Features.F108B
import Linglib.Datasets.WALS.Features.F109A
import Linglib.Datasets.WALS.Features.F109B
import Linglib.Datasets.WALS.Features.F110A
import Linglib.Datasets.WALS.Features.F111A
import Linglib.Datasets.WALS.Features.F112A
import Linglib.Datasets.WALS.Features.F113A
import Linglib.Datasets.WALS.Features.F114A
import Linglib.Datasets.WALS.Features.F115A
import Linglib.Datasets.WALS.Features.F116A
import Linglib.Datasets.WALS.Features.F117A
import Linglib.Datasets.WALS.Features.F118A
import Linglib.Datasets.WALS.Features.F119A
import Linglib.Datasets.WALS.Features.F120A
import Linglib.Datasets.WALS.Features.F121A
import Linglib.Datasets.WALS.Features.F122A
import Linglib.Datasets.WALS.Features.F123A
import Linglib.Datasets.WALS.Features.F124A
import Linglib.Datasets.WALS.Features.F125A
import Linglib.Datasets.WALS.Features.F126A
import Linglib.Datasets.WALS.Features.F127A
import Linglib.Datasets.WALS.Features.F128A
import Linglib.Datasets.WALS.Features.F129A
import Linglib.Datasets.WALS.Features.F130A
import Linglib.Datasets.WALS.Features.F130B
import Linglib.Datasets.WALS.Features.F131A
import Linglib.Datasets.WALS.Features.F132A
import Linglib.Datasets.WALS.Features.F133A
import Linglib.Datasets.WALS.Features.F134A
import Linglib.Datasets.WALS.Features.F135A
import Linglib.Datasets.WALS.Features.F136A
import Linglib.Datasets.WALS.Features.F136B
import Linglib.Datasets.WALS.Features.F137A
import Linglib.Datasets.WALS.Features.F137B
import Linglib.Datasets.WALS.Features.F138A
import Linglib.Datasets.WALS.Features.F139A
import Linglib.Datasets.WALS.Features.F140A
import Linglib.Datasets.WALS.Features.F141A
import Linglib.Datasets.WALS.Features.F142A
import Linglib.Datasets.WALS.Features.F143A
import Linglib.Datasets.WALS.Features.F143B
import Linglib.Datasets.WALS.Features.F143C
import Linglib.Datasets.WALS.Features.F143D
import Linglib.Datasets.WALS.Features.F143E
import Linglib.Datasets.WALS.Features.F143F
import Linglib.Datasets.WALS.Features.F143G
import Linglib.Datasets.WALS.Features.F144A
import Linglib.Datasets.WALS.Features.F144B
import Linglib.Datasets.WALS.Features.F144C
import Linglib.Datasets.WALS.Features.F144D
import Linglib.Datasets.WALS.Features.F144E
import Linglib.Datasets.WALS.Features.F144F
import Linglib.Datasets.WALS.Features.F144G
import Linglib.Datasets.WALS.Features.F144H
import Linglib.Datasets.WALS.Features.F144I
import Linglib.Datasets.WALS.Features.F144J
import Linglib.Datasets.WALS.Features.F144K
import Linglib.Datasets.WALS.Features.F144L
import Linglib.Datasets.WALS.Features.F144M
import Linglib.Datasets.WALS.Features.F144N
import Linglib.Datasets.WALS.Features.F144O
import Linglib.Datasets.WALS.Features.F144P
import Linglib.Datasets.WALS.Features.F144Q
import Linglib.Datasets.WALS.Features.F144R
import Linglib.Datasets.WALS.Features.F144S
import Linglib.Datasets.WALS.Features.F144T
import Linglib.Datasets.WALS.Features.F144U
import Linglib.Datasets.WALS.Features.F144V
import Linglib.Datasets.WALS.Features.F144W
import Linglib.Datasets.WALS.Features.F144X
import Linglib.Datasets.WALS.Features.F144Y
import Linglib.Tactics.NonnegOfForall
import Linglib.Tactics.RSAPredict
import Linglib.Tactics.OntSort
import Linglib.Tactics.NgeFS
import Linglib.Tactics.CancelFin4
import Linglib.Tactics.ENNRealArith
-- Paradigms (contract layer between Theories/ and Phenomena/Studies/)
import Linglib.Paradigms.VisualWorld
import Linglib.Paradigms.WugTest
import Linglib.Paradigms.AcceptabilityJudgment
import Linglib.Paradigms.SelfPacedReading
-- Fragments
import Linglib.Fragments.Arabic.ModernStandard.Relativization
import Linglib.Fragments.Arabic.Egyptian.Morph
import Linglib.Fragments.Arabic.ModernStandard.Plurals
import Linglib.Fragments.Arabic.Egyptian.Reference
import Linglib.Fragments.Arabic.ModernStandard.Directives
import Linglib.Fragments.Arabic.Egyptian.TenseAspect
import Linglib.Fragments.ASL.Classifiers
import Linglib.Fragments.ASL.Height
import Linglib.Fragments.Dutch.Adjectives
import Linglib.Fragments.Dutch.Adpositions
import Linglib.Fragments.Dutch.Binominals
import Linglib.Fragments.Dutch.Nouns
import Linglib.Fragments.Dutch.Particles
import Linglib.Fragments.Dutch.Modals
import Linglib.Fragments.Dutch.TemporalConnectives
import Linglib.Fragments.Dutch.VerbParticles
import Linglib.Fragments.Danish.V2
import Linglib.Fragments.Danish.Reference
import Linglib.Fragments.Norwegian.V2
import Linglib.Fragments.Norwegian.VerbParticles
import Linglib.Fragments.English.Definiteness
import Linglib.Fragments.English.Determiners
import Linglib.Fragments.English.Auxiliaries
import Linglib.Fragments.English.Complementizers
import Linglib.Fragments.English.FocusParticles
import Linglib.Fragments.English.FunctionWords
import Linglib.Fragments.English.MeasurePhrases
import Linglib.Fragments.English.Binominals
import Linglib.Fragments.English.NumeralModifiers
import Linglib.Fragments.English.Modifiers.Adjectives
import Linglib.Fragments.English.Nouns
import Linglib.Fragments.English.PolarityItems
import Linglib.Fragments.English.Predicates
import Linglib.Fragments.English.Predicates.Adjectival
import Linglib.Fragments.English.Predicates.Copular
import Linglib.Fragments.English.Predicates.Verbal
import Linglib.Fragments.English.BodyParts
import Linglib.Fragments.English.Color
import Linglib.Fragments.English.Directives
import Linglib.Fragments.English.TenseAspect
import Linglib.Fragments.English.Numerals
import Linglib.Fragments.English.Plurals
import Linglib.Fragments.English.Reference
import Linglib.Fragments.English.Pronouns
import Linglib.Fragments.English.PropositionalLexemes
import Linglib.Fragments.English.QuestionParticles
import Linglib.Fragments.English.Scales
import Linglib.Fragments.English.Tense
import Linglib.Fragments.English.TemporalDeictic
import Linglib.Fragments.English.TemporalExpressions
import Linglib.Fragments.English.Conditionals
import Linglib.Fragments.English.Phonology
import Linglib.Fragments.English.TDDeletion
import Linglib.Fragments.English.Relativization
import Linglib.Fragments.English.Morph
import Linglib.Fragments.English.Negation
import Linglib.Fragments.English.V2
import Linglib.Fragments.English.Indefinites
import Linglib.Fragments.English.PolarityMarking
import Linglib.Fragments.Slavic.Belarusian.Case
import Linglib.Fragments.Slavic.Bulgarian.Evidentials
import Linglib.Fragments.Slavic.Case
import Linglib.Fragments.Slavic.Cassubian.Case
import Linglib.Fragments.Slavic.Params
import Linglib.Fragments.Slavic.Slovak.Case
import Linglib.Fragments.Slavic.Sorbian.Case
import Linglib.Fragments.Slavic.Czech.Case
import Linglib.Fragments.Slavic.Czech.Determiners
import Linglib.Fragments.Slavic.Czech.Particles
import Linglib.Fragments.Slavic.Czech.Reciprocals
import Linglib.Fragments.Slavic.Czech.Negation
import Linglib.Fragments.Slavic.Czech.PolarityItems
import Linglib.Fragments.Drubea.Prosody
import Linglib.Fragments.Numee.Prosody
import Linglib.Fragments.Mwaghavul.Basic
import Linglib.Fragments.Tarifit.Inventory
import Linglib.Fragments.Dargwa.Agreement
import Linglib.Fragments.Dargwa.Case
import Linglib.Fragments.Dargwa.ComplexPredicates
import Linglib.Fragments.Dargwa.Locatives
import Linglib.Fragments.Dargwa.Coordination
import Linglib.Fragments.Farsi.Determiners
import Linglib.Fragments.Farsi.Phonology
import Linglib.Fragments.German.Case
import Linglib.Fragments.German.Definiteness
import Linglib.Fragments.German.Tense
import Linglib.Fragments.German.TemporalDeictic
import Linglib.Fragments.German.PolarityMarking
import Linglib.Fragments.German.Predicates
import Linglib.Fragments.German.Predicates.Modal
import Linglib.Fragments.German.Conditionals
import Linglib.Fragments.German.Pronouns
import Linglib.Fragments.German.Reciprocals
import Linglib.Fragments.German.Morph
import Linglib.Fragments.German.Negation
import Linglib.Fragments.German.AdjAgreement
import Linglib.Fragments.German.V2
import Linglib.Fragments.German.Coordination
import Linglib.Fragments.German.Distributives
import Linglib.Fragments.German.Indefinites
import Linglib.Fragments.German.BodyParts
import Linglib.Fragments.German.Color
import Linglib.Fragments.German.Gender
import Linglib.Fragments.German.Reference
import Linglib.Fragments.Hausa.Determiners
import Linglib.Fragments.Hausa.Gender
import Linglib.Fragments.Hausa.VerbGrades
import Linglib.Fragments.Hausa.Tone
import Linglib.Fragments.Hausa.TAM
import Linglib.Fragments.Hausa.Focus
import Linglib.Fragments.Hausa.Reference
import Linglib.Fragments.Akan.Determiners
import Linglib.Fragments.Akan.Phonology
import Linglib.Fragments.SwissGerman.Case
import Linglib.Fragments.Georgian.Coordination
import Linglib.Fragments.Georgian.Morph
import Linglib.Fragments.Georgian.Agreement
import Linglib.Fragments.Georgian.Numerals
import Linglib.Fragments.Georgian.Directives
import Linglib.Fragments.Gitksan.Modals
import Linglib.Fragments.Gorum.AuxiliaryVerbs
import Linglib.Fragments.NezPerce.Modals
import Linglib.Fragments.Niuean.Modals
import Linglib.Fragments.Hemba.AuxiliaryVerbs
import Linglib.Fragments.Greek.Case
import Linglib.Fragments.Greek.StandardModern.Negation
import Linglib.Fragments.Greek.StandardModern.Nouns
import Linglib.Fragments.Greek.StandardModern.TemporalConnectives
import Linglib.Fragments.Greek.StandardModern.TemporalDeictic
import Linglib.Fragments.Greek.StandardModern.Reciprocals
import Linglib.Fragments.Greek.StandardModern.AdjAgreement
import Linglib.Fragments.Greek.StandardModern.Modals
import Linglib.Fragments.Greek.StandardModern.MoodChoice
import Linglib.Fragments.Greek.StandardModern.Possession
import Linglib.Fragments.Greek.AncientGreek.Directives
import Linglib.Fragments.Greek.Grevena.Possession
import Linglib.Fragments.Greek.Smyrna.Possession
import Linglib.Fragments.Hebrew.TemporalDeictic
import Linglib.Fragments.Hebrew.Relativization
import Linglib.Fragments.Hebrew.ConsonantalRoots
import Linglib.Fragments.Amharic.ConsonantalRoots
import Linglib.Fragments.HindiUrdu.Particles
import Linglib.Fragments.HindiUrdu.Directives
import Linglib.Fragments.Marathi.Particles
import Linglib.Fragments.Urdu.CausativeSystem
import Linglib.Fragments.Thai.Definiteness
import Linglib.Fragments.Thai.Morph
import Linglib.Fragments.Thai.Numerals
import Linglib.Fragments.Thai.TenseAspect
import Linglib.Fragments.Vietnamese.Numerals
import Linglib.Fragments.Vietnamese.TenseAspect
import Linglib.Fragments.Indonesian.Morph
import Linglib.Fragments.Indonesian.VoiceSystem
import Linglib.Fragments.Indonesian.Morphophonology
import Linglib.Fragments.Indonesian.Predicates
import Linglib.Fragments.Indonesian.TenseAspect
import Linglib.Fragments.Indonesian.Numerals
import Linglib.Fragments.Indonesian.Plurals
import Linglib.Fragments.Malayic.VoiceSystem
import Linglib.Fragments.Sinhala.Verbs
import Linglib.Fragments.Teop.Nouns
import Linglib.Fragments.Jarawara.PossessedNouns
import Linglib.Fragments.Januubi.Negation
import Linglib.Fragments.ZarmaSonrai.Negation
import Linglib.Fragments.Quechua.Morph
import Linglib.Fragments.Quechua.Negation
import Linglib.Fragments.Quechua.Directives
import Linglib.Fragments.Quechua.TenseAspect
import Linglib.Fragments.Hungarian.Case
import Linglib.Fragments.Hungarian.Coordination
import Linglib.Fragments.Hungarian.DiscourseParticles
import Linglib.Fragments.Hungarian.Reciprocals
import Linglib.Fragments.Hungarian.Morph
import Linglib.Fragments.Hungarian.Modals
import Linglib.Fragments.Hungarian.VowelHarmony
import Linglib.Fragments.Hungarian.Focus
import Linglib.Fragments.Hungarian.BodyParts
import Linglib.Fragments.Hungarian.Directives
import Linglib.Fragments.Hungarian.Numerals
import Linglib.Fragments.Hungarian.Plurals
import Linglib.Fragments.Hungarian.Reference
import Linglib.Fragments.Wan.Reciprocals
import Linglib.Fragments.Doyayo.AuxiliaryVerbs
import Linglib.Fragments.Finnish.Case
import Linglib.Fragments.Finnish.ConsonantGradation
import Linglib.Fragments.Finnish.Infinitives
import Linglib.Fragments.Finnish.Negation
import Linglib.Fragments.Finnish.Predicates
import Linglib.Fragments.Finnish.TemporalConnectives
import Linglib.Fragments.Finnish.VowelHarmony
import Linglib.Fragments.Finnish.Relativization
import Linglib.Fragments.Finnish.Morph
import Linglib.Fragments.Finnish.Possession
import Linglib.Fragments.Finnish.BodyParts
import Linglib.Fragments.Finnish.Directives
import Linglib.Fragments.Finnish.TenseAspect
import Linglib.Fragments.Finnish.Numerals
import Linglib.Fragments.Finnish.Plurals
import Linglib.Fragments.Finnish.Reference
import Linglib.Fragments.French.Binominals
import Linglib.Fragments.French.Modals
import Linglib.Fragments.French.Nouns
import Linglib.Fragments.French.Predicates
import Linglib.Fragments.French.BodyParts
import Linglib.Fragments.French.Color
import Linglib.Fragments.French.TenseAspect
import Linglib.Fragments.French.Negation
import Linglib.Fragments.French.Reference
import Linglib.Fragments.French.PolarityItems
import Linglib.Fragments.French.ModalIndefinites
import Linglib.Fragments.French.Reciprocals
import Linglib.Fragments.French.PolarityMarking
import Linglib.Fragments.French.Determiners
import Linglib.Fragments.Irish.Coordination
import Linglib.Fragments.Jakaltek.AuxiliaryVerbs
import Linglib.Fragments.Javanese.Modals
import Linglib.Fragments.Latin.Adjectives
import Linglib.Fragments.Latin.Case
import Linglib.Fragments.Latin.Coordination
import Linglib.Fragments.Latin.Indefinites
import Linglib.Fragments.Latin.Reference
import Linglib.Fragments.Latin.Directives
import Linglib.Fragments.Latvian.IndeterminatePronouns
import Linglib.Fragments.Japanese.Case
import Linglib.Fragments.Japanese.Comparison
import Linglib.Fragments.Japanese.Coordination
import Linglib.Fragments.Japanese.Classifier
import Linglib.Fragments.Japanese.Determiners
import Linglib.Fragments.Japanese.Nouns
import Linglib.Fragments.Koryak.Modals
import Linglib.Fragments.Korean.Case
import Linglib.Fragments.Korean.Comparison
import Linglib.Fragments.Korean.Evidentials
import Linglib.Fragments.Korean.Modals
import Linglib.Fragments.Korean.MedialVerbs
import Linglib.Fragments.Korean.Predicates
import Linglib.Fragments.Korean.Phonology
import Linglib.Fragments.Japanese.TemporalConnectives
import Linglib.Fragments.Japanese.TemporalDeictic
import Linglib.Fragments.Japanese.Particles
import Linglib.Fragments.Japanese.Passive
import Linglib.Fragments.Japanese.Predicates
import Linglib.Fragments.Japanese.Conditionals
import Linglib.Fragments.Japanese.Morph
import Linglib.Fragments.Japanese.Negation
import Linglib.Fragments.Japanese.Prosody
import Linglib.Fragments.Japanese.BodyParts
import Linglib.Fragments.Japanese.Color
import Linglib.Fragments.Japanese.Directives
import Linglib.Fragments.Japanese.TenseAspect
import Linglib.Fragments.Japanese.Numerals
import Linglib.Fragments.Japanese.Plurals
import Linglib.Fragments.Japanese.Reference
import Linglib.Fragments.Mongolian.Case
import Linglib.Fragments.Mandarin.Conditionals
import Linglib.Fragments.Mandarin.Definiteness
import Linglib.Fragments.Mandarin.DiscourseParticles
import Linglib.Fragments.Mandarin.Determiners
import Linglib.Fragments.Mandarin.Modals
import Linglib.Fragments.Mandarin.Classifiers
import Linglib.Fragments.Mandarin.Nouns
import Linglib.Fragments.Mandarin.Particles
import Linglib.Fragments.Mandarin.TemporalDeictic
import Linglib.Fragments.Mandarin.AspectComparison
import Linglib.Fragments.Mandarin.Predicates
import Linglib.Fragments.Mandarin.Reciprocals
import Linglib.Fragments.Mandarin.Resultatives
import Linglib.Fragments.Mandarin.Morph
import Linglib.Fragments.Mandarin.Negation
import Linglib.Fragments.Mandarin.BodyParts
import Linglib.Fragments.Mandarin.Color
import Linglib.Fragments.Mandarin.Directives
import Linglib.Fragments.Mandarin.TenseAspect
import Linglib.Fragments.Mandarin.Numerals
import Linglib.Fragments.Mandarin.Plurals
import Linglib.Fragments.Mandarin.Reference
import Linglib.Fragments.Turkish.Case
import Linglib.Fragments.Turkish.Comparison
import Linglib.Fragments.Turkish.Definiteness
import Linglib.Fragments.Turkish.MedialVerbs
import Linglib.Fragments.Turkish.Predicates
import Linglib.Fragments.Turkish.QuestionParticles
import Linglib.Fragments.Turkish.Morph
import Linglib.Fragments.Turkish.Anaphors
import Linglib.Fragments.Turkish.Negation
import Linglib.Fragments.Turkish.Possession
import Linglib.Fragments.Turkish.SuffixTemplate
import Linglib.Fragments.Turkish.TAM
import Linglib.Fragments.Turkish.VowelHarmony
import Linglib.Fragments.Turkish.BodyParts
import Linglib.Fragments.Turkish.Directives
import Linglib.Fragments.Turkish.TenseAspect
import Linglib.Fragments.Turkish.Numerals
import Linglib.Fragments.Turkish.Plurals
import Linglib.Fragments.Turkish.Reference
import Linglib.Fragments.Manambu.MedialVerbs
import Linglib.Fragments.Nungon.MedialVerbs
import Linglib.Fragments.Burmese.Negation
import Linglib.Fragments.Burmese.Numerals
import Linglib.Fragments.Cantonese.Definiteness
import Linglib.Fragments.Maori.Negation
import Linglib.Fragments.Hixkaryana.Negation
import Linglib.Fragments.Basque.Pronouns
import Linglib.Fragments.Basque.Agreement
import Linglib.Fragments.Basque.Postsyntax
import Linglib.Fragments.Basque.Reference
import Linglib.Fragments.Taos.Agreement
import Linglib.Fragments.Magahi.Pronouns
import Linglib.Fragments.Korean.Pronouns
import Linglib.Fragments.Korean.Relativization
import Linglib.Fragments.Korean.Morph
import Linglib.Fragments.Korean.BodyParts
import Linglib.Fragments.Korean.Color
import Linglib.Fragments.Korean.Directives
import Linglib.Fragments.Korean.TenseAspect
import Linglib.Fragments.Korean.Numerals
import Linglib.Fragments.Korean.Plurals
import Linglib.Fragments.Korean.Reference
import Linglib.Fragments.Japanese.Pronouns
import Linglib.Fragments.Tamil.Case
import Linglib.Fragments.Tamil.Pronouns
import Linglib.Fragments.Telugu.Case
import Linglib.Fragments.Galician.Pronouns
import Linglib.Fragments.Hindi.Case
import Linglib.Fragments.Hindi.Pronouns
import Linglib.Fragments.Hindi.Morph
import Linglib.Fragments.Hindi.TenseAspect
import Linglib.Fragments.Hindi.Numerals
import Linglib.Fragments.Hindi.Plurals
import Linglib.Fragments.Bengali.Numerals
import Linglib.Fragments.Maithili.Pronouns
import Linglib.Fragments.Punjabi.Pronouns
import Linglib.Fragments.Slavic.Russian.Case
import Linglib.Fragments.Slavic.Russian.DiscourseParticles
import Linglib.Fragments.Slavic.Russian.TemporalDeictic
import Linglib.Fragments.Slavic.Russian.Reciprocals
import Linglib.Fragments.Slavic.Russian.Morph
import Linglib.Fragments.Slavic.Russian.Negation
import Linglib.Fragments.Slavic.Russian.AdjAgreement
import Linglib.Fragments.Slavic.Russian.Possession
import Linglib.Fragments.Slavic.Russian.Gender
import Linglib.Fragments.Slavic.Russian.BodyParts
import Linglib.Fragments.Slavic.Russian.Color
import Linglib.Fragments.Slavic.Russian.Directives
import Linglib.Fragments.Slavic.Russian.TenseAspect
import Linglib.Fragments.Slavic.Russian.Numerals
import Linglib.Fragments.Slavic.Russian.Plurals
import Linglib.Fragments.Slavic.Russian.Reference
import Linglib.Fragments.Slavic.Serbian.Case
import Linglib.Fragments.Slavic.Serbian.TemporalConnectives
import Linglib.Fragments.Singlish.Questions
import Linglib.Fragments.Slavic.Slovenian.Case
import Linglib.Fragments.Slavic.Slovenian.QuestionParticles
import Linglib.Fragments.Pipil.AuxiliaryVerbs
import Linglib.Fragments.Poko.Tone
import Linglib.Fragments.Slavic.Polish.Case
import Linglib.Fragments.Slavic.Polish.QuestionParticles
import Linglib.Fragments.Slavic.Ukrainian.Case
import Linglib.Fragments.Slavic.Ukrainian.QuestionParticles
import Linglib.Fragments.Tagalog.TemporalConnectives
import Linglib.Fragments.Tagalog.Morph
import Linglib.Fragments.Tagalog.Phonology
import Linglib.Fragments.Tagalog.BodyParts
import Linglib.Fragments.Tagalog.Directives
import Linglib.Fragments.Tagalog.TenseAspect
import Linglib.Fragments.Tagalog.Numerals
import Linglib.Fragments.Lango.TenseAspect
import Linglib.Fragments.Tagalog.Plurals
import Linglib.Fragments.Tagalog.Reference
import Linglib.Fragments.Italian.DiscourseParticles
import Linglib.Fragments.Bantu.Params
import Linglib.Fragments.Swahili.Basic
import Linglib.Fragments.Xhosa.Basic
import Linglib.Fragments.Zapotec.Basic
import Linglib.Fragments.Shan.Classifiers
import Linglib.Fragments.Shan.Definiteness
import Linglib.Fragments.Shona.Basic
import Linglib.Fragments.Swahili.Reciprocals
import Linglib.Fragments.Swahili.Possession
import Linglib.Fragments.English.Possession
import Linglib.Fragments.Japanese.Possession
import Linglib.Fragments.HindiUrdu.Possession
import Linglib.Fragments.Mandarin.Possession
import Linglib.Fragments.Hungarian.Possession
import Linglib.Fragments.Irish.Possession
import Linglib.Fragments.Korean.Possession
import Linglib.Fragments.Arabic.ModernStandard.Possession
import Linglib.Fragments.Quechua.Possession
import Linglib.Fragments.Yoruba.Possession
import Linglib.Fragments.Georgian.Possession
import Linglib.Fragments.Hawaiian.Possession
import Linglib.Fragments.Fijian.Possession
import Linglib.Fragments.Mayan.Tsotsil.Possession
import Linglib.Fragments.Mayan.Tseltal.Possession
import Linglib.Fragments.Swahili.Morph
import Linglib.Fragments.Swahili.Relativization
import Linglib.Fragments.Swahili.BodyParts
import Linglib.Fragments.Swahili.Directives
import Linglib.Fragments.Swahili.TenseAspect
import Linglib.Fragments.Swahili.Numerals
import Linglib.Fragments.Swahili.Plurals
import Linglib.Fragments.Swahili.Reference
import Linglib.Fragments.Zulu.Plurals
import Linglib.Fragments.Hawaiian.Plurals
import Linglib.Fragments.Lezgian.Plurals
import Linglib.Fragments.Wambaya.Reciprocals
import Linglib.Fragments.Icelandic.Case
import Linglib.Fragments.Icelandic.Nominalizations
import Linglib.Fragments.Icelandic.Verbs
import Linglib.Fragments.Icelandic.Predicates
import Linglib.Fragments.Icelandic.Reciprocals
import Linglib.Fragments.Icelandic.TemporalConnectives
import Linglib.Fragments.Chichewa.Reciprocals
import Linglib.Fragments.Italian.Predicates
import Linglib.Fragments.Italian.Binominals
import Linglib.Fragments.Italian.Nouns
import Linglib.Fragments.Italian.Determiners
import Linglib.Fragments.Italian.Directives
import Linglib.Fragments.Italian.Pronouns
import Linglib.Fragments.Italian.Negation
import Linglib.Fragments.Italian.Tense
import Linglib.Fragments.Italian.Modals
import Linglib.Fragments.Italian.AdjAgreement
import Linglib.Fragments.Italian.PolarityItems
import Linglib.Fragments.Italian.ModalIndefinites
import Linglib.Fragments.Italian.NumberGender
import Linglib.Fragments.Italian.PolarityMarking
import Linglib.Fragments.Statimcets.Modals
import Linglib.Fragments.Spanish.Binominals
import Linglib.Fragments.Spanish.Clitics
import Linglib.Fragments.Spanish.Predicates
import Linglib.Fragments.Spanish.PersonFeatures
import Linglib.Fragments.Spanish.Pronouns
import Linglib.Fragments.Spanish.Morph
import Linglib.Fragments.Spanish.Gender
import Linglib.Fragments.Spanish.ModalIndefinites
import Linglib.Fragments.Spanish.Negation
import Linglib.Fragments.Spanish.PolarityItems
import Linglib.Fragments.Spanish.BodyParts
import Linglib.Fragments.Spanish.Color
import Linglib.Fragments.Spanish.TenseAspect
import Linglib.Fragments.Spanish.MoodChoice
import Linglib.Fragments.Spanish.PolarityMarking
import Linglib.Fragments.Portuguese.MoodChoice
import Linglib.Fragments.Portuguese.Modals
import Linglib.Fragments.Romanian.MoodChoice
import Linglib.Fragments.Swedish.AnswerParticles
import Linglib.Fragments.Swedish.QuestionParticles
import Linglib.Fragments.Mayan.Params
import Linglib.Fragments.Mayan.Mam.VoiceSystem
import Linglib.Fragments.Mayan.Mam.Agreement
import Linglib.Fragments.Mayan.Mam.ExtractionMorphology
import Linglib.Fragments.Kawapanan.Shawi.Basic
import Linglib.Fragments.Mixtec.SMPM.Basic
import Linglib.Fragments.Ga.Basic
import Linglib.Fragments.Ga.Predicates
import Linglib.Fragments.Mayan.Kaqchikel.AgentFocus
import Linglib.Fragments.Mayan.Kaqchikel.Agreement
import Linglib.Fragments.Mayan.Kiche.Adposition
import Linglib.Fragments.Mayan.Kiche.Agreement
import Linglib.Fragments.Mayan.Kiche.ExtractionMorphology
import Linglib.Fragments.Mayan.Kiche.VoiceSystem
import Linglib.Fragments.Mayan.Kiche.WordOrder
import Linglib.Fragments.Mayan.Qanjobal.Agreement
import Linglib.Fragments.Mayan.Qanjobal.AgentFocus
import Linglib.Fragments.Mayan.Tseltalan
import Linglib.Fragments.Mayan.Tsotsil.Agreement
import Linglib.Fragments.Mayan.Tseltal.Agreement
import Linglib.Fragments.Mayan.Tseltal.Numerals
import Linglib.Fragments.Mayan.Chol.Agreement
import Linglib.Fragments.Mayan.Chol.Classifiers
import Linglib.Fragments.Mayan.Yukatek.VerbClasses
import Linglib.Fragments.Mayan.Yukatek.Roots
import Linglib.Fragments.Mayan.Yukatek.Operators
import Linglib.Fragments.Chuj.VerbBuilding
import Linglib.Fragments.Chuj.ModalIndefinites
import Linglib.Fragments.Malagasy.Relativization
import Linglib.Fragments.TobaBatak.Basic
import Linglib.Fragments.TobaBatak.Relativization
import Linglib.Fragments.Tlingit.Modals
import Linglib.Fragments.Washo.Modals
import Linglib.Fragments.Welsh.Relativization
import Linglib.Fragments.Yakut.Indefinites
import Linglib.Fragments.Yakut.Case
import Linglib.Fragments.Kannada.Indefinites
import Linglib.Fragments.Slavic.Russian.PolarityItems
import Linglib.Fragments.Slavic.Russian.Indefinites
import Linglib.Fragments.German.PolarityItems
import Linglib.Fragments.German.ModalIndefinites
import Linglib.Fragments.German.QuestionParticles
import Linglib.Fragments.German.ClauseTypes
import Linglib.Fragments.German.ModalParticles
import Linglib.Fragments.Japanese.PolarityItems
import Linglib.Fragments.Korean.PolarityItems
import Linglib.Fragments.Mandarin.PolarityItems
import Linglib.Fragments.Mandarin.Questions
import Linglib.Fragments.Turkish.PolarityItems
import Linglib.Fragments.Hindi.PolarityItems
import Linglib.Fragments.Finnish.PolarityItems
import Linglib.Fragments.Hungarian.PolarityItems
import Linglib.Fragments.Georgian.PolarityItems
import Linglib.Fragments.Quechua.PolarityItems
import Linglib.Fragments.Yoruba.PolarityItems
import Linglib.Fragments.Yoruba.FocusParticles
import Linglib.Fragments.Yoruba.Relativization
import Linglib.Fragments.Yoruba.Numerals
import Linglib.Fragments.Yoruba.TenseAspect
import Linglib.Fragments.Thai.PolarityItems
import Linglib.Fragments.Tagalog.PolarityItems
import Linglib.Fragments.Swahili.PolarityItems
-- Phenomena
import Linglib.Phenomena.Causation.Studies.SlomanBarbeyHotaling2009
import Linglib.Phenomena.Causation.Studies.SpalekMcNally2026
import Linglib.Phenomena.TenseAspect.Studies.AlstottAravind2026
import Linglib.Theories.Semantics.Focus.PolarityLevel
import Linglib.Phenomena.TemporalConnectives.Studies.AlstottAravind2026
import Linglib.Phenomena.TemporalConnectives.AspectInteractionData
import Linglib.Phenomena.TemporalConnectives.Studies.Rett2020
import Linglib.Phenomena.Agreement.Basic
import Linglib.Phenomena.Agreement.DetNoun
import Linglib.Phenomena.Assertion.Basic
import Linglib.Phenomena.Assertion.Studies.Gunlogson2001
import Linglib.Phenomena.Assertion.Studies.BringGunlogson2000
import Linglib.Phenomena.Assertion.Studies.Krifka2015
import Linglib.Phenomena.Assertion.Studies.Rudin2025
import Linglib.Typology.Case
import Linglib.Phenomena.Case.Studies.Caha2009
import Linglib.Phenomena.Case.Studies.Scott2023
import Linglib.Phenomena.Case.Studies.Ozaki2026
import Linglib.Phenomena.Case.Studies.SadakaneKoizumi1995
import Linglib.Phenomena.Case.Studies.Baker2015
import Linglib.Phenomena.Case.Studies.Aissen2003
import Linglib.Phenomena.Case.Studies.Grimm2011
import Linglib.Phenomena.Case.Studies.DeHoopMalchukov2008
import Linglib.Phenomena.Case.Studies.Haspelmath2021
import Linglib.Phenomena.Case.Studies.Karlsson2017
import Linglib.Phenomena.Case.Studies.AndersonJM2006
import Linglib.Phenomena.Case.Studies.Woolford1997
import Linglib.Phenomena.Case.Studies.Marantz1991
import Linglib.Phenomena.Case.Studies.Pesetsky2013
import Linglib.Phenomena.Case.Studies.BakerVinokurova2010
import Linglib.Phenomena.Case.Studies.Comrie1989
import Linglib.Typology.ClauseChaining
import Linglib.Phenomena.ClauseChaining.Studies.SarvasyAikhenvald2025
import Linglib.Phenomena.Copulas.Studies.Stassen2013
import Linglib.Phenomena.Copulas.Studies.Partee1987
import Linglib.Phenomena.Copulas.Studies.Elbourne2026
import Linglib.Phenomena.Attitudes.ConjunctionDistribution.Data
import Linglib.Phenomena.Attitudes.Studies.Montague1973
import Linglib.Phenomena.Attitudes.IntentionalIdentity.Data
import Linglib.Phenomena.Attitudes.Studies.BondarenkoElliott2026
import Linglib.Phenomena.Attitudes.Studies.Pasternak2019
import Linglib.Phenomena.Complementation.Studies.ChatzikyriakidisEtAl2025
import Linglib.Phenomena.Anaphora.Studies.Hofmann2025
import Linglib.Phenomena.Anaphora.Bridging
import Linglib.Phenomena.Anaphora.Studies.OsborneLi2023
import Linglib.Phenomena.Anaphora.Studies.Reinhart1976
import Linglib.Phenomena.Anaphora.Studies.Hudson1990
import Linglib.Phenomena.Anaphora.Studies.SagWasowBender2003
import Linglib.Phenomena.Anaphora.Studies.BakayEtAl2026
import Linglib.Phenomena.Anaphora.Studies.Charlow2014
import Linglib.Phenomena.Anaphora.Studies.Chomsky1981
import Linglib.Phenomena.Anaphora.Studies.Cooper2023
import Linglib.Phenomena.Anaphora.Studies.Cooper2023Ch8
import Linglib.Phenomena.Anaphora.Studies.Heim1982.Basic
import Linglib.Phenomena.Anaphora.Studies.KampReyle1993
import Linglib.Phenomena.Anaphora.Studies.KeshetAbney2024
import Linglib.Phenomena.Anaphora.Studies.AbneyKeshet2025
import Linglib.Phenomena.Anaphora.Studies.Dekker2012
import Linglib.Phenomena.Anaphora.Coreference
import Linglib.Phenomena.Anaphora.CrossSentential
import Linglib.Phenomena.Anaphora.DonkeyAnaphora
import Linglib.Phenomena.Anaphora.Studies.Schwarz2013
import Linglib.Phenomena.Anaphora.Studies.PatelGroszGrosz2017
import Linglib.Phenomena.Anaphora.Studies.ParasiticAttitudes
import Linglib.Phenomena.Anaphora.Studies.Spector2025
import Linglib.Phenomena.Anaphora.Studies.Charlow2018
import Linglib.Phenomena.Anaphora.Studies.DalrympleHaug2024
import Linglib.Phenomena.Anaphora.Studies.Rakosi2019
import Linglib.Phenomena.Anaphora.Studies.Gong2022
import Linglib.Phenomena.Anaphora.Studies.HaugDalrymple2020
import Linglib.Phenomena.Anaphora.Studies.GroenendijkStokhof1991
import Linglib.Phenomena.Alignment.Studies.Dixon1994
import Linglib.Phenomena.Ergativity.Basic
import Linglib.Phenomena.Ergativity.Studies.CoonMateoPedroPreminger2014
import Linglib.Phenomena.Ergativity.Studies.Imanishi2014
import Linglib.Phenomena.Ergativity.Studies.Imanishi2020
import Linglib.Phenomena.Ergativity.Studies.Bohnemeyer2004
import Linglib.Phenomena.Ergativity.Studies.Scott2023
import Linglib.Phenomena.ArgumentStructure.DativeAlternation
import Linglib.Phenomena.ArgumentStructure.Passive
import Linglib.Phenomena.ArgumentStructure.Subcategorization
import Linglib.Phenomena.ArgumentStructure.Studies.Polinsky2013
import Linglib.Phenomena.ArgumentStructure.Unaccusativity.Data
import Linglib.Phenomena.ArgumentStructure.Studies.Storment2026
import Linglib.Phenomena.ArgumentStructure.DiathesisAlternations.Data
import Linglib.Phenomena.ArgumentStructure.Studies.Adger2003
import Linglib.Phenomena.ArgumentStructure.Studies.Levin1993
import Linglib.Phenomena.ArgumentStructure.Studies.Osborne2019
import Linglib.Phenomena.ArgumentStructure.Studies.TheoryComparison
import Linglib.Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026
import Linglib.Phenomena.ArgumentStructure.Studies.Dendikken1995
import Linglib.Phenomena.ArgumentStructure.Studies.Collins2005
import Linglib.Phenomena.ArgumentStructure.Studies.Kratzer1996
import Linglib.Phenomena.ArgumentStructure.Studies.Dowty1991
import Linglib.Phenomena.ArgumentStructure.Studies.Beavers2010
import Linglib.Phenomena.ArgumentStructure.Studies.BeaversZubair2013
import Linglib.Phenomena.ArgumentStructure.Studies.BeaversUdayana2022
import Linglib.Phenomena.ArgumentStructure.Studies.Everdell2024
import Linglib.Phenomena.ArgumentStructure.Studies.Creissels2025
import Linglib.Phenomena.ArgumentStructure.Studies.Siloni2012
import Linglib.Phenomena.ArgumentStructure.Studies.Wood2015
import Linglib.Phenomena.ArgumentStructure.Studies.StapsRooryck2024
import Linglib.Phenomena.ArgumentStructure.Studies.Hewett2026
import Linglib.Phenomena.ArgumentStructure.Studies.Nordlinger2023
import Linglib.Phenomena.Modality.Studies.Hacquard2006
import Linglib.Phenomena.Modality.Studies.Hacquard2010
import Linglib.Phenomena.TenseAspect.Studies.Zhao2025
import Linglib.Phenomena.TenseAspect.Diagnostics
import Linglib.Phenomena.TenseAspect.Studies.Smith1997
import Linglib.Phenomena.AuxiliaryVerbs.Diagnostics
import Linglib.Phenomena.AuxiliaryVerbs.NegativeAuxiliaries
import Linglib.Phenomena.AuxiliaryVerbs.Selection
import Linglib.Phenomena.AuxiliaryVerbs.Studies.Amato2025
import Linglib.Phenomena.AuxiliaryVerbs.Studies.Anderson2006
import Linglib.Phenomena.AuxiliaryVerbs.Studies.Olivier2026
import Linglib.Phenomena.AuxiliaryVerbs.Studies.Sorace2000
import Linglib.Typology.AuxiliaryVerbs
import Linglib.Phenomena.Plurals.Studies.Charlow2021.Data
import Linglib.Phenomena.Plurals.Studies.Charlow2021.CumulativeReadings
import Linglib.Phenomena.TenseAspect.Studies.Cumming2026
import Linglib.Phenomena.TenseAspect.Studies.Lakoff1970
import Linglib.Phenomena.Countability.Studies.Moon2026
import Linglib.Phenomena.Conditionals.LeftNested.Data
import Linglib.Phenomena.Conditionals.Studies.AlonsoOvalle2009
import Linglib.Phenomena.Conditionals.Studies.Belnap1970
import Linglib.Phenomena.Conditionals.Studies.CarianiGoldstein2020
import Linglib.Phenomena.Conditionals.Studies.CiardelliZhangChampollion2018
import Linglib.Phenomena.Conditionals.Studies.CiardelliZhangChampollion2018Lumping
import Linglib.Phenomena.Conditionals.Studies.EvcenBaleBarner2026
import Linglib.Phenomena.Conditionals.Studies.GrusdtLassiterFranke2022
import Linglib.Phenomena.Conditionals.Studies.Iatridou2000
import Linglib.Phenomena.Conditionals.Studies.KocurekJerzakRudolph2020
import Linglib.Phenomena.Conditionals.Studies.Kratzer2012Lumping
import Linglib.Phenomena.Conditionals.Studies.Lassiter2025
import Linglib.Phenomena.Conditionals.Studies.McKayVanInwagen1977
import Linglib.Phenomena.Conditionals.Studies.Mizuno2024
import Linglib.Phenomena.Conditionals.Studies.RamotowskaEtAl2025
import Linglib.Phenomena.Conditionals.Studies.Santorio2018
import Linglib.Phenomena.Conditionals.Studies.Stalnaker1975
import Linglib.Phenomena.Conditionals.Studies.Stalnaker1981
import Linglib.Phenomena.Conditionals.Studies.ZaniCiardelliSanfelici2026
import Linglib.Phenomena.DefaultReasoning.TweetyNixon
import Linglib.Phenomena.DefaultReasoning.Studies.Spohn1988
import Linglib.Phenomena.DefaultReasoning.Studies.GoldszmidtPearl1996
import Linglib.Phenomena.DefaultReasoning.Studies.DarwichePearl1997
import Linglib.Phenomena.DefaultReasoning.Studies.Veltman1996
import Linglib.Phenomena.Definiteness.Studies.Moroney2021
import Linglib.Phenomena.Definiteness.Studies.Jenks2018
import Linglib.Phenomena.Clarification.Basic
import Linglib.Phenomena.Clarification.Studies.DongEtAl2026
import Linglib.Phenomena.Clarification.Studies.TsvilodubEtAl2026
import Linglib.Phenomena.Dialogue.Basic
import Linglib.Phenomena.Dialogue.Studies.Anderson2021
import Linglib.Phenomena.Complementation.Studies.Noonan2007
import Linglib.Phenomena.Complementation.Studies.Dryer2013
import Linglib.Phenomena.Complementation.Studies.Cristofaro2013
import Linglib.Phenomena.Complementation.Studies.Cacchioli2025
import Linglib.Phenomena.Complementation.Studies.Grano2024
import Linglib.Phenomena.Complementation.Studies.Karttunen1971
import Linglib.Phenomena.Causation.Studies.Nadathur2024
import Linglib.Phenomena.Complementation.Studies.Osborne2019Control
import Linglib.Phenomena.Complementation.Studies.TheilerRoelofsenAloni2018
import Linglib.Phenomena.Control.Studies.Chierchia1984
import Linglib.Phenomena.Control.Studies.Landau2015
import Linglib.Phenomena.Control.Studies.Ostrove2026
import Linglib.Phenomena.Control.Studies.Allotey2021
import Linglib.Fragments.Tigrinya.ClausePrefixes
import Linglib.Phenomena.Constructions.Studies.FillmoreKayOConnor1988
import Linglib.Phenomena.Constructions.Studies.GoldbergShirtz2025
import Linglib.Phenomena.Constructions.Studies.KayFillmore1999
import Linglib.Phenomena.Constructions.Studies.OsborneGross2012.Data
import Linglib.Phenomena.Constructions.ParticleVerbs.Data
import Linglib.Phenomena.Constructions.ParticleVerbs.Studies.Dendikken1995
import Linglib.Phenomena.Constructions.Resultatives.Studies.Dendikken1995
import Linglib.Phenomena.Constructions.Resultatives.Studies.Levin2026
import Linglib.Phenomena.Constructions.Resultatives.Studies.Tay2024
import Linglib.Phenomena.Constructions.Causatives.Studies.Dendikken1995
import Linglib.Phenomena.Causation.Studies.BeaversEtAl2021
import Linglib.Phenomena.Causation.Studies.MartinRoseNichols2025
import Linglib.Phenomena.Causation.Studies.MartinSchaeferKastner2025
import Linglib.Phenomena.Causation.Studies.NadathurLauer2020
import Linglib.Phenomena.Causation.Studies.MunozPerez2026
import Linglib.Phenomena.Causation.Studies.Coon2019
import Linglib.Phenomena.Coordination.Studies.BillEtAl2025
import Linglib.Phenomena.Coordination.Studies.BrueningAlKhalaf2020
import Linglib.Phenomena.Coordination.Studies.Bruening2025
import Linglib.Phenomena.Coordination.Studies.Schwarzer2026
import Linglib.Phenomena.Coordination.Studies.Stassen2000
import Linglib.Phenomena.Coordination.Studies.Haspelmath2007
import Linglib.Phenomena.WordOrder.Studies.FutrellEtAl2020
import Linglib.Phenomena.Ellipsis.FragmentAnswers
import Linglib.Phenomena.Ellipsis.Gapping
import Linglib.Phenomena.Ellipsis.Sluicing
import Linglib.Phenomena.Ellipsis.VPEllipsis
import Linglib.Phenomena.Ellipsis.NPEllipsis
import Linglib.Phenomena.Ellipsis.ClarificationEllipsis
import Linglib.Phenomena.Ellipsis.Studies.BenzSalzmann2025
import Linglib.Phenomena.Ellipsis.Studies.Saab2026
import Linglib.Phenomena.Ellipsis.Studies.AnandHardtMcCloskey2021
import Linglib.Phenomena.Ellipsis.Studies.AnandHardtMcCloskey2025
import Linglib.Phenomena.Ellipsis.Studies.GinzburgCooper2004
import Linglib.Phenomena.Ellipsis.Studies.Landau2026
import Linglib.Phenomena.Ellipsis.Studies.CitkoGracaninYuksek2025
import Linglib.Phenomena.Ellipsis.Studies.Kalyakin2026
import Linglib.Phenomena.Ellipsis.Studies.Funakoshi2016
import Linglib.Phenomena.Ellipsis.Studies.Merchant2013
import Linglib.Phenomena.Entailment.Basic
import Linglib.Phenomena.Entailment.Monotonicity
import Linglib.Phenomena.WordOrder.CrossSerial
import Linglib.Typology.Relativization.Defs
import Linglib.Typology.Relativization.Basic
import Linglib.Phenomena.Focus.Basic
import Linglib.Phenomena.Focus.Studies.Roberts2012
import Linglib.Phenomena.Focus.Studies.Rooth1992
import Linglib.Phenomena.Focus.ProsodicExhaustivity
import Linglib.Phenomena.Focus.Studies.IppolitoKissWilliams2022
import Linglib.Phenomena.Focus.Studies.IppolitoKissWilliams2025.Data
import Linglib.Phenomena.Focus.Studies.IppolitoKissWilliams2025
import Linglib.Phenomena.Focus.AdditiveParticles.Data
import Linglib.Phenomena.Focus.AdditiveParticles.Studies.Ahn2015
import Linglib.Phenomena.Focus.Studies.ThomasDeo2020
import Linglib.Phenomena.Generics.BareNames
import Linglib.Phenomena.Generics.BarePlurals
import Linglib.Phenomena.Generics.KindReference
import Linglib.Phenomena.Generics.Compare
import Linglib.Phenomena.Generics.Studies.Cohen1999
import Linglib.Phenomena.Generics.Studies.Cohen2013
import Linglib.Phenomena.Generics.Studies.Guerrini2026
import Linglib.Phenomena.Generics.Studies.Krifka2013
import Linglib.Phenomena.Reference.Studies.Longobardi2001
import Linglib.Phenomena.Generics.Studies.Kirkpatrick2024
import Linglib.Phenomena.Generics.Studies.Nickel2009
import Linglib.Phenomena.Generics.Studies.BonehDoron2013
import Linglib.Phenomena.Generics.Studies.DelPrete2013
import Linglib.Phenomena.Generics.Studies.AsherPelletier2013
import Linglib.Phenomena.Gender.Studies.Corbett1991
import Linglib.Phenomena.Gender.Studies.Kramer2020
import Linglib.Phenomena.Gradability.ComparisonClass
import Linglib.Phenomena.Gradability.Studies.AlexandropoulouGotzner2024
import Linglib.Phenomena.Gradability.Studies.AlexandropoulouGotzner2024JoS
import Linglib.Phenomena.Gradability.Studies.CarianiSantorioWellwood2024
import Linglib.Phenomena.Gradability.Studies.Bochnak2015
import Linglib.Phenomena.Gradability.Studies.CobrerosEtAl2012
import Linglib.Phenomena.Gradability.Studies.Fine1975
import Linglib.Phenomena.Gradability.Studies.Kamp1975
import Linglib.Phenomena.Gradability.Studies.Klein1980
import Linglib.Phenomena.Gradability.Studies.Nouwen2024
import Linglib.Phenomena.Gradability.Studies.Nouwen2024PMF
import Linglib.Phenomena.Gradability.Studies.Partee2010
import Linglib.Phenomena.Gradability.Studies.Rett2015
import Linglib.Phenomena.Gradability.Vagueness
-- Phenomena: Comparison (extracted from Gradability/)
import Linglib.Phenomena.Comparison.Compare
import Linglib.Phenomena.Comparison.Studies.Stassen2013
import Linglib.Phenomena.Comparison.Studies.Bresnan1973
import Linglib.Phenomena.Comparison.Studies.Kennedy1999
import Linglib.Phenomena.Comparison.Studies.Kennedy2007
import Linglib.Phenomena.Comparison.Studies.Kennedy2007Typology
import Linglib.Phenomena.Comparison.Studies.Heim2001
import Linglib.Phenomena.Comparison.Studies.Stassen1985
import Linglib.Phenomena.Comparison.Studies.Wellwood2015
import Linglib.Phenomena.Comparison.Studies.FoxHackl2006
import Linglib.Phenomena.Comparison.Studies.VonStechow1984
import Linglib.Phenomena.Comparison.Studies.Buring2007
import Linglib.Phenomena.Comparison.Studies.Bobaljik2012
import Linglib.Phenomena.Comparison.Studies.BhattPancheva2004
import Linglib.Phenomena.Comparison.Studies.Lechner2004
import Linglib.Phenomena.Comparison.Studies.BhattTakahashi2011
import Linglib.Theories.Semantics.Degree.Intensional
import Linglib.Phenomena.Nonliteral.Humor.Studies.KaoEtAl2016
import Linglib.Phenomena.Nonliteral.Hyperbole.KaoEtAl2014
import Linglib.Phenomena.Directives.Studies.Roberts2023
import Linglib.Phenomena.Directives.Studies.RuytenbeekEtAl2017
import Linglib.Phenomena.Directives.Studies.SumersEtAl2023
-- Phenomena: Implicit Causality (Solstad & Bott 2022)
import Linglib.Phenomena.ImplicitCausality.Studies.SolstadBott2022
-- Phenomena: Presupposition — Solstad & Bott 2024 (occasion verb projectivity)
import Linglib.Phenomena.Presupposition.Studies.SolstadBott2024
-- Phenomena: Imprecision (extracted from Gradability/)
import Linglib.Phenomena.Imprecision.Studies.Haslinger2025
import Linglib.Phenomena.Imprecision.Studies.SoltWaldon2019
import Linglib.Phenomena.Numerals.Studies.WoodinEtAl2024
import Linglib.Phenomena.Imprecision.Studies.EgreEtAl2023
import Linglib.Phenomena.Imprecision.Studies.BeltramaSchwarz2024
import Linglib.Phenomena.Imprecision.Studies.BeltramaSoltBurnett2022
import Linglib.Phenomena.Gradability.Studies.LassiterGoodman2017
import Linglib.Phenomena.Gradability.Studies.LassiterGoodman2017PMF
import Linglib.Phenomena.Gradability.Studies.BumfordRett2021
-- Phenomena: Intonation (prosodic hierarchy, catathesis, cross-linguistic comparison)
import Linglib.Phenomena.Intonation.Studies.BeckmanPierrehumbert1986
-- Phenomena: Iconicity (sign language classifier predicates, viewpoints)
import Linglib.Phenomena.Iconicity.Basic
import Linglib.Phenomena.Iconicity.Studies.SchlenkerEtAl2026
import Linglib.Phenomena.ArgumentStructure.Studies.MajidBosterBowerman2008
import Linglib.Phenomena.Color.Studies.ZaslavskyEtAl2019
import Linglib.Phenomena.ArgumentStructure.Studies.BeaversKoontzGarboden2020
import Linglib.Phenomena.ArgumentStructure.Studies.Lucy1994
import Linglib.Phenomena.Islands.MannerOfSpeaking
import Linglib.Phenomena.FillerGap.Studies.Amato2025
import Linglib.Phenomena.FillerGap.Studies.Erlewine2016
import Linglib.Phenomena.FillerGap.Studies.Erlewine2018
import Linglib.Phenomena.FillerGap.Studies.ElkinsTorrenceBrown2026
import Linglib.Phenomena.FillerGap.Studies.ErlewineSommerlot2025
import Linglib.Phenomena.Relativization.Studies.KeenanComrie1977
import Linglib.Phenomena.FillerGap.Studies.PickeringBarry1991
import Linglib.Phenomena.WordOrder.Studies.Steedman2000CrossSerial
import Linglib.Phenomena.Islands.Studies.Adger2025
import Linglib.Phenomena.Islands.Studies.CartnerEtAl2026
import Linglib.Phenomena.Islands.Studies.HofmeisterSag2010
import Linglib.Phenomena.Islands.Studies.Ross1967
import Linglib.Phenomena.Islands.Studies.ShenHuang2026
import Linglib.Phenomena.Kinship.Studies.Hudson2010
import Linglib.Phenomena.Quantification.Studies.Charlow2020
import Linglib.Phenomena.FillerGap.Studies.LuPanDegen2025
import Linglib.Phenomena.Islands.Studies.Osborne2019
import Linglib.Phenomena.FillerGap.Studies.SagWasowBender2003Extraction
import Linglib.Phenomena.Relativization.Studies.SagWasowBender2003RelativeClauses
import Linglib.Phenomena.Relativization.Studies.Scott2021
import Linglib.Phenomena.SyntacticAmbiguity.Basic
import Linglib.Phenomena.SyntacticAmbiguity.Studies.PaapeVasishth2026
import Linglib.Phenomena.Nonliteral.Irony.KaoEtAl2015
import Linglib.Phenomena.Nonliteral.Irony.Studies.SpinosoDiPiano2025
import Linglib.Phenomena.Nonliteral.Studies.Clark1983
import Linglib.Phenomena.Nonliteral.Studies.RelevanceTheory
import Linglib.Phenomena.Nonliteral.Metaphor.KaoEtAl2014
import Linglib.Phenomena.Numerals.Studies.BylininaNouwen2020
import Linglib.Phenomena.Numerals.Studies.ClausWalch2024
import Linglib.Phenomena.Numerals.Studies.Cummins2015
import Linglib.Phenomena.Numerals.Studies.Kennedy2015
import Linglib.Phenomena.Numerals.Studies.Snyder2026
import Linglib.Phenomena.Numerals.Embedding
import Linglib.Phenomena.Numerals.Studies.FoxHackl2006
import Linglib.Phenomena.Numerals.Studies.HuangSpelkeSnedeker2013
import Linglib.Phenomena.Numerals.Studies.Spector2013
import Linglib.Phenomena.Quantification.Studies.BaleSchwarz2022
import Linglib.Phenomena.Quantification.Studies.BaleSchwarz2026
import Linglib.Phenomena.Quantification.Studies.Scontras2014
import Linglib.Phenomena.Modality.Studies.Kratzer2012Conditionals
import Linglib.Phenomena.Modality.Studies.Cooper2023
import Linglib.Phenomena.Modality.ModalConcord.Data
import Linglib.Phenomena.Modality.Studies.RotterLiu2025Concord
import Linglib.Phenomena.Modality.ModalConcord.LiuRotter2025
import Linglib.Phenomena.Modality.Studies.LiuRotter2025
import Linglib.Phenomena.Modality.Studies.Matthewson2013
import Linglib.Phenomena.Modality.Studies.Matthewson2016
import Linglib.Phenomena.TenseAspect.Studies.Mendes2025
import Linglib.Phenomena.Modality.Basic
import Linglib.Phenomena.Modality.EpistemicEvidentiality
import Linglib.Phenomena.Modality.FreeChoice
import Linglib.Phenomena.Modality.Studies.Kratzer2012Practical
import Linglib.Phenomena.Modality.Studies.Kratzer2012Informational
import Linglib.Phenomena.Modality.GermanModals
import Linglib.Phenomena.Modality.Studies.Alsop2024
import Linglib.Phenomena.Modality.Studies.ChampollionAlsopGrosu2019
import Linglib.Phenomena.Modality.Studies.FreeChoiceFarsi
import Linglib.Phenomena.Modality.Studies.AlonsoOvalleMoghiseh2025
import Linglib.Phenomena.Modality.Studies.AlonsoOvalleMoghiseh2025Generic
import Linglib.Phenomena.Modality.Studies.Khoo2015
import Linglib.Phenomena.Modality.Studies.Aikhenvald2004
import Linglib.Phenomena.Modality.Studies.ImelGuoST2026
import Linglib.Phenomena.Modality.Studies.AghaJeretic2022
import Linglib.Phenomena.Modality.Studies.AghaJeretic2026
import Linglib.Phenomena.Modality.Studies.Rubinstein2014
import Linglib.Phenomena.Modality.Studies.Boylan2023
import Linglib.Phenomena.Modality.Studies.Narrog2010
import Linglib.Phenomena.Modality.Studies.Narrog2012
import Linglib.Phenomena.Modality.Studies.HerbstrittFranke2019
import Linglib.Phenomena.Modality.Studies.Huijsmans2025
import Linglib.Theories.Semantics.BSML.Defs
import Linglib.Theories.Semantics.BSML.Enrichment
import Linglib.Theories.Semantics.BSML.FreeChoice
import Linglib.Theories.Semantics.BSML.Negation
import Linglib.Theories.Semantics.BSML.Bridge
import Linglib.Phenomena.Modality.Studies.Aloni2022
import Linglib.Phenomena.Modality.Studies.Cariani2013
import Linglib.Phenomena.Modality.Studies.Heim1992
import Linglib.Phenomena.Modality.Studies.Lassiter2017
import Linglib.Phenomena.Modality.Studies.PhillipsBrown2025
import Linglib.Phenomena.Modality.Studies.CarianiSantorio2018
import Linglib.Phenomena.Modality.Studies.BarLevFox2020
import Linglib.Phenomena.Modality.Studies.DelPinalBassiSauerland2024
import Linglib.Phenomena.Modality.Studies.Kratzer1977
import Linglib.Phenomena.Modality.Studies.YingEtAl2025
import Linglib.Phenomena.Modality.Studies.CiardelliGuerrini2026
import Linglib.Phenomena.Modality.Studies.ElliottSudo2025
import Linglib.Phenomena.Modality.Studies.AnandHacquard2013
import Linglib.Phenomena.Modality.Studies.Condoravdi2002
import Linglib.Phenomena.Modality.Studies.Fox2007
import Linglib.Phenomena.Modality.Studies.Yalcin2007
import Linglib.Phenomena.Modality.Studies.Mandelkern2019
import Linglib.Phenomena.Modality.Studies.KlinedinstRothschild2012
import Linglib.Phenomena.Modality.Studies.HollidayMandelkern2024
import Linglib.Phenomena.Indefinites.Studies.Haspelmath1997
import Linglib.Phenomena.ModalIndefinites.Studies.AlonsoOvalleMenendezBenito2010
import Linglib.Phenomena.ModalIndefinites.Studies.AlonsoOvalleRoyer2024
import Linglib.Phenomena.ModalIndefinites.Studies.KratzerShimoyama2002
import Linglib.Phenomena.Negation.Basic
import Linglib.Fragments.Italian.ExpletiveNegation
import Linglib.Phenomena.Negation.Studies.JinKoenig2021
import Linglib.Phenomena.Negation.Studies.Rett2026
import Linglib.Phenomena.Negation.Studies.Tsiakmakis2025
import Linglib.Phenomena.Negation.Studies.NapoliNespor1976
import Linglib.Phenomena.WordOrder.NonProjectivity
import Linglib.Phenomena.Negation.DoubleNegation
import Linglib.Phenomena.Negation.Studies.Stakov2026
import Linglib.Phenomena.Negation.Studies.Stakov2026Typology
import Linglib.Phenomena.Negation.FlexibleNegation
import Linglib.Phenomena.Morphology.Studies.AlbrightHayes2003
import Linglib.Phenomena.Morphology.Studies.ODonnell2015
import Linglib.Phenomena.Morphology.Studies.Bybee1985
import Linglib.Phenomena.Morphology.Studies.ZwickyPullum1983
import Linglib.Phenomena.Morphology.Studies.KalinBjorkmanEtAl2026
import Linglib.Phenomena.Morphology.Studies.Baker1985
import Linglib.Phenomena.Morphology.Studies.HalleMarantz1993
import Linglib.Phenomena.Morphology.Studies.McNallyDeSwart2011
import Linglib.Phenomena.Morphology.Studies.BickelNichols2013
import Linglib.Phenomena.Morphology.Studies.AckermanMalouf2013
import Linglib.Phenomena.Morphology.CategoryChanging
import Linglib.Phenomena.Morphology.Productivity.FrequencySpectrum
import Linglib.Phenomena.Morphology.Studies.Panagiotidis2015
import Linglib.Phenomena.Morphology.Studies.HahnDegenFutrell2021
import Linglib.Phenomena.Morphology.Studies.Adamson2024
import Linglib.Phenomena.Morphology.Studies.Bhadra2024
import Linglib.Phenomena.Morphology.Studies.Benz2025
import Linglib.Phenomena.Morphology.Studies.Wood2023
import Linglib.Phenomena.TemplaticMorphology.Studies.Faust2026
import Linglib.Phenomena.Allomorphy.Studies.Stojkovic2026
import Linglib.Phenomena.Allomorphy.Studies.Aitha2026
import Linglib.Phenomena.Allomorphy.Studies.Middleton2026
import Linglib.Phenomena.Negation.Studies.StankovaSimik2024.Data
import Linglib.Phenomena.Negation.Studies.Greco2020
import Linglib.Phenomena.Negation.Studies.Krifka2007
import Linglib.Phenomena.Negation.Studies.Miestamo2005
import Linglib.Phenomena.Negation.Studies.Dryer2013
import Linglib.Phenomena.Negation.Studies.VanDerSandtMaier2003
import Linglib.Phenomena.Negation.Studies.Horn1989
import Linglib.Phenomena.Negation.Studies.PlunkettSundell2013
import Linglib.Phenomena.Negation.Denial
import Linglib.Phenomena.Plurals.Basic
import Linglib.Phenomena.Plurals.Homogeneity
import Linglib.Phenomena.Plurals.NonMaximality
import Linglib.Phenomena.Plurals.Studies.HaslingerEtAl2025
import Linglib.Phenomena.Plurals.Studies.HaslingerHienEtAl2025
import Linglib.Phenomena.Questions.Studies.QingEtAl2025
import Linglib.Phenomena.Plurals.Studies.Charlow2021.Compare
import Linglib.Phenomena.Plurals.Studies.Champollion2017
import Linglib.Phenomena.Plurals.Multiplicity
import Linglib.Phenomena.Plurals.Studies.TieuEtAl2020
import Linglib.Phenomena.Plurals.Studies.TieuKrizChemla2019
import Linglib.Phenomena.Plurals.Studies.Kriz2016
import Linglib.Phenomena.Plurals.Studies.KrizChemla2015
import Linglib.Phenomena.Plurals.Studies.AugurzkyEtAl2023
import Linglib.Phenomena.Plurals.Studies.KrizSpector2021
import Linglib.Phenomena.Polarity.Studies.Chierchia2006
import Linglib.Phenomena.Polarity.Studies.Chierchia2013
import Linglib.Phenomena.Polarity.Studies.DenicEtAl2021
import Linglib.Phenomena.Polarity.Studies.GarassinoJacob2018
import Linglib.Phenomena.Polarity.Studies.Hoeksema1983
import Linglib.Phenomena.Polarity.Studies.Hohle1992
import Linglib.Phenomena.Polarity.Studies.Ladusaw1979
import Linglib.Phenomena.Polarity.Studies.Lahiri1998
import Linglib.Phenomena.Polarity.Studies.MaticNikolaeva2018
import Linglib.Phenomena.Polarity.Studies.Schwab2022
import Linglib.Phenomena.Polarity.Studies.TurcoBraunDimroth2014
import Linglib.Phenomena.Polarity.Studies.VonFintel1993
import Linglib.Phenomena.Polarity.Studies.VonFintel1999
import Linglib.Phenomena.Polarity.Studies.Haspelmath1997
import Linglib.Phenomena.Emotion.Studies.HoulihanEtAl2023
import Linglib.Phenomena.Politeness.Honorifics
import Linglib.Phenomena.Politeness.Studies.FrancikClark1985
import Linglib.Phenomena.Politeness.Studies.MachinoEtAl2025
import Linglib.Phenomena.Politeness.Studies.YoonEtAl2020
import Linglib.Phenomena.Politeness.Studies.YoonEtAl2020PMF
import Linglib.Phenomena.Processing.Studies.GiulianelliEtAl2026
import Linglib.Phenomena.Polysemy.Studies.Gotham2017
import Linglib.Phenomena.Polysemy.Studies.Sutton2024
import Linglib.Phenomena.Polysemy.Studies.XuEtAl2024
import Linglib.Phenomena.Polysemy.Studies.ErkHerbelot2024
import Linglib.Phenomena.Possession.Studies.Heine1997
import Linglib.Phenomena.Possession.Studies.NicholsBickel2013
import Linglib.Phenomena.Possession.Studies.HaninkKoontzGarboden2025
import Linglib.Phenomena.Possession.Studies.Myler2016
import Linglib.Phenomena.Possession.Studies.AissenPolian2025
import Linglib.Phenomena.Possession.Studies.KampanarouAlexiadou2026
import Linglib.Phenomena.Pronouns.ProDropRegistry
import Linglib.Phenomena.Pronouns.Studies.Arnold2026
import Linglib.Phenomena.Pronouns.Studies.KonnellyCowper2020
import Linglib.Phenomena.Pronouns.Studies.Olivier2026
import Linglib.Phenomena.PsychVerbs.Studies.Kim2024_UPH
import Linglib.Phenomena.PsychVerbs.Studies.Kim2024
import Linglib.Phenomena.PsychVerbs.Studies.Pesetsky1995
import Linglib.Phenomena.Presupposition.Basic
import Linglib.Phenomena.Presupposition.Diagnostics
import Linglib.Phenomena.Presupposition.ProjectiveContent
import Linglib.Phenomena.Presupposition.Gradience
import Linglib.Phenomena.Presupposition.Studies.DegenTonhauser2021
import Linglib.Phenomena.Presupposition.Studies.DegenTonhauser2022
import Linglib.Phenomena.Presupposition.Studies.GroveWhite2025
import Linglib.Phenomena.Presupposition.Studies.HeKaiserIskarous2025
import Linglib.Phenomena.Expressives.Studies.HarrisPotts2009
import Linglib.Phenomena.Expressives.Studies.LoGuercio2025
import Linglib.Phenomena.Quotation.Studies.KirkGiannini2024
import Linglib.Phenomena.Quotation.Studies.Maier2014
import Linglib.Phenomena.Quotation.Studies.Rudin2025LI
import Linglib.Phenomena.Presupposition.Studies.ScontrasTonhauser2025
import Linglib.Phenomena.Presupposition.Studies.Wang2025
import Linglib.Phenomena.Presupposition.Studies.Warstadt2022
import Linglib.Phenomena.Presupposition.Studies.Yagi2025
import Linglib.Phenomena.Presupposition.Studies.Sharvit2025
import Linglib.Phenomena.Presupposition.Studies.TonhauserBeaverDegen2018
import Linglib.Phenomena.Presupposition.Studies.Schlenker2009
import Linglib.Phenomena.Presupposition.Studies.Heim1983
import Linglib.Phenomena.Presupposition.Studies.RobertsSimons2024
import Linglib.Phenomena.Presupposition.Studies.QingGoodmanLassiter2016
import Linglib.Phenomena.Presupposition.Studies.TowerDerivation
import Linglib.Phenomena.Presupposition.Studies.WangDavidson2026
import Linglib.Phenomena.Presupposition.Studies.Heim1992
import Linglib.Phenomena.Presupposition.Studies.JereticEtAl2025
import Linglib.Phenomena.Presupposition.Studies.Williams2026
import Linglib.Phenomena.Presupposition.Studies.White2014
import Linglib.Phenomena.Presupposition.Studies.GiorgoloAsudeh2012
import Linglib.Phenomena.Presupposition.Studies.Grove2022
import Linglib.Phenomena.Presupposition.Studies.Beaver2001.Basic
import Linglib.Phenomena.Presupposition.Studies.Blutner2000
import Linglib.Phenomena.Presupposition.Studies.Karttunen1973
import Linglib.Phenomena.Presupposition.Studies.Glass2025
import Linglib.Phenomena.Modality.OutlookMarkers
import Linglib.Phenomena.Classifiers.Studies.Aikhenvald2000
import Linglib.Phenomena.Classifiers.Studies.Chierchia1998
import Linglib.Phenomena.Classifiers.Studies.Downing1996
import Linglib.Phenomena.Classifiers.Studies.WangSun2026
import Linglib.Phenomena.Classifiers.Studies.TaraldsenEtAl2018
import Linglib.Phenomena.Classifiers.Studies.LittleMoroneyRoyer2022
import Linglib.Phenomena.Classifiers.Studies.Sudo2016
import Linglib.Phenomena.Quantification.Basic
import Linglib.Phenomena.Quantification.Studies.Bruening2001
import Linglib.Phenomena.Quantification.Inventory
import Linglib.Phenomena.Quantification.Studies.BarwiseCooper1981
import Linglib.Phenomena.Quantification.Studies.Cooper2023
import Linglib.Phenomena.Quantification.Studies.ScontrasPearl2021
import Linglib.Phenomena.Quantification.Studies.ScontrasPearl2021PMF
import Linglib.Phenomena.Quantification.Studies.RitchieSchiller2024
import Linglib.Phenomena.Quantification.Studies.DavidsonGagne2022
import Linglib.Phenomena.Quantification.Studies.Elliott2025
import Linglib.Phenomena.Quantification.Studies.Mirrazi2024
import Linglib.Phenomena.Quantification.Studies.TesslerTenenbaumGoodman2022
import Linglib.Phenomena.Quantification.Studies.LuckingGinzburg2022
import Linglib.Phenomena.Questions.Basic
import Linglib.Phenomena.Questions.Studies.BhattDayal2020
import Linglib.Phenomena.Questions.Studies.Dryer2013
import Linglib.Fragments.English.Questions
import Linglib.Fragments.HindiUrdu.Questions
import Linglib.Fragments.Japanese.Questions
import Linglib.Fragments.Italian.Questions
import Linglib.Phenomena.Questions.Embedding
import Linglib.Phenomena.Questions.Coordination
import Linglib.Phenomena.Questions.Exhaustivity
import Linglib.Phenomena.Questions.FocusAnswer
import Linglib.Phenomena.Questions.MentionSome
import Linglib.Phenomena.Questions.MultipleWh
import Linglib.Phenomena.Questions.Studies.Zheng2025
import Linglib.Phenomena.Questions.Studies.RomeroHan2004
import Linglib.Phenomena.Questions.Studies.Romero2024
import Linglib.Phenomena.Questions.PolarAnswers
import Linglib.Phenomena.Questions.PolarAnswerStructure
import Linglib.Phenomena.Questions.Studies.Holmberg2016
import Linglib.Phenomena.Questions.PragmaticAnswerhood
import Linglib.Phenomena.Questions.ScopeReadings
import Linglib.Phenomena.Questions.SlavicPQStrategies
import Linglib.Phenomena.Questions.Studies.GartnerGyuris2017
import Linglib.Phenomena.Questions.WhComplement
import Linglib.Phenomena.Questions.Studies.Dayal2025
import Linglib.Phenomena.Questions.Studies.ChanShen2026
import Linglib.Phenomena.Questions.Studies.AlonsoOvalleMoghiseh2025b
import Linglib.Phenomena.Questions.Studies.SeeligerRepp2018
import Linglib.Phenomena.Questions.Studies.Simik2024
import Linglib.Phenomena.Questions.Studies.Theiler2021
import Linglib.Phenomena.Reference.Studies.AnandNevins2004
import Linglib.Phenomena.Reference.Studies.Ariel2001
import Linglib.Phenomena.Reference.Studies.CohnGordonEtAl2019
import Linglib.Phenomena.Reference.Studies.DaleReiter1995
import Linglib.Phenomena.Reference.Studies.DegenEtAl2020
import Linglib.Phenomena.Reference.Studies.EngelhardtEtAl2006
import Linglib.Phenomena.Reference.DirectReference
import Linglib.Phenomena.Reference.Studies.FrankGoodman2012
import Linglib.Phenomena.Reference.Studies.FrankGoodman2012PMF
import Linglib.Phenomena.Reference.Studies.HawkinsGweonGoodman2021
import Linglib.Phenomena.Reference.Studies.Ney2026
import Linglib.Phenomena.Reference.Studies.SikosEtAl2021
import Linglib.Phenomena.Reference.Studies.Percus2000
import Linglib.Phenomena.Reference.Studies.QingFranke2015
import Linglib.Phenomena.Reference.Studies.KursatDegen2021
import Linglib.Phenomena.Reference.Studies.GilesEtAl2026
import Linglib.Phenomena.Reference.Studies.KehlerRohde2013
import Linglib.Phenomena.Reference.Studies.KwonLee2026
import Linglib.Phenomena.Reference.Studies.RonderosEtAl2024
import Linglib.Phenomena.Reference.Studies.RosaArnold2017
import Linglib.Phenomena.Reference.Studies.Schlenker2003
import Linglib.Phenomena.Reference.Studies.SedivyEtAl1999
import Linglib.Phenomena.Reference.Studies.Sidner1983
import Linglib.Phenomena.Reference.Studies.Beaver2004
import Linglib.Phenomena.Reference.Studies.GroszJoshiWeinstein1995
import Linglib.Phenomena.Reference.Studies.PoesioEtAl2004
import Linglib.Phenomena.Reference.Studies.WesterbeekKoolenMaes2015
import Linglib.Phenomena.Reference.Studies.Krifka2026
import Linglib.Phenomena.ScalarImplicatures.Basic
import Linglib.Phenomena.ScalarImplicatures.QuantityDomain
import Linglib.Phenomena.ScalarImplicatures.Hurford
import Linglib.Phenomena.ScalarImplicatures.Embedded.Basic
import Linglib.Phenomena.ScalarImplicatures.Embedded.Attitudes
import Linglib.Phenomena.ScalarImplicatures.Embedded.Conditionals
import Linglib.Phenomena.ScalarImplicatures.Embedded.Questions
import Linglib.Phenomena.ScalarImplicatures.Studies.FrankeBergen2020
import Linglib.Phenomena.ScalarImplicatures.Studies.BaleEtAl2025
import Linglib.Phenomena.ScalarImplicatures.Studies.ChemlaSpector2011
import Linglib.Phenomena.ScalarImplicatures.Studies.ChowErlewine2022
import Linglib.Phenomena.Persuasion.Studies.BarnettEtAl2022
import Linglib.Phenomena.ScalarImplicatures.Studies.CremersWilcoxSpector2023
import Linglib.Phenomena.ScalarImplicatures.Studies.GeurtsPouscoulous2009
import Linglib.Phenomena.ScalarImplicatures.Studies.MeyerFeiman2021
import Linglib.Phenomena.ScalarImplicatures.Studies.Ronai2024
import Linglib.Phenomena.ScalarImplicatures.Studies.VanTielEtAl2016
import Linglib.Phenomena.ScalarImplicatures.Studies.VanTielEtAl2021
import Linglib.Phenomena.TenseAspect.Studies.HeimKratzer1998Data
import Linglib.Phenomena.TenseAspect.Studies.HeimKratzer1998
import Linglib.Phenomena.TenseAspect.Studies.TsiliaZhao2026
import Linglib.Phenomena.TenseAspect.Studies.Zhao2025ThenPresent
import Linglib.Phenomena.TenseAspect.Studies.Schlenker2004
import Linglib.Phenomena.TenseAspect.Studies.Krifka1998
import Linglib.Phenomena.TenseAspect.Studies.Klecha2016
import Linglib.Phenomena.TenseAspect.Studies.Filip2012
import Linglib.Phenomena.TenseAspect.Studies.Krifka1998Movement
import Linglib.Phenomena.TenseAspect.Studies.Krifka1989
import Linglib.Phenomena.TenseAspect.Studies.DimensionCoherence
import Linglib.Phenomena.TenseAspect.Studies.AspectualConsistency
import Linglib.Phenomena.TenseAspect.Studies.KennedyLevin2008
import Linglib.Phenomena.TenseAspect.Studies.HayKennedyLevin1999
import Linglib.Phenomena.TemporalConnectives.Compare
import Linglib.Phenomena.TemporalConnectives.NegationData
import Linglib.Phenomena.TemporalConnectives.Studies.BeaverCondoravdi2003
import Linglib.Phenomena.TenseAspect.Studies.Cruse1973
import Linglib.Phenomena.TenseAspect.Studies.OgiharaST2024
import Linglib.Phenomena.TenseAspect.Studies.Koev2017
import Linglib.Phenomena.TenseAspect.Studies.Egressy2026
import Linglib.Phenomena.TenseAspect.Studies.GokselKerslake2005
import Linglib.Phenomena.TenseAspect.Studies.Izvorski1997
import Linglib.Phenomena.WordOrder.Basic
import Linglib.Phenomena.WordOrder.SubjectAuxInversion
import Linglib.Phenomena.WordOrder.Studies.Greenberg1963
import Linglib.Phenomena.WordOrder.Studies.DryerHaspelmath2013
import Linglib.Phenomena.WordOrder.Gradience
import Linglib.Phenomena.WordOrder.Studies.HahnDegenFutrell2021
import Linglib.Phenomena.TenseAspect.Studies.Rouillard2026
import Linglib.Phenomena.ScalarImplicatures.Studies.Horn1972
import Linglib.Phenomena.ScalarImplicatures.Studies.ReesReksnesRohde2026
import Linglib.Phenomena.ScalarImplicatures.Studies.RelevanceTheory
import Linglib.Phenomena.ScalarImplicatures.Studies.Geurts2010
import Linglib.Phenomena.ScalarImplicatures.Studies.RSAHurford
import Linglib.Phenomena.ScalarImplicatures.Studies.PottsEtAl2016
import Linglib.Phenomena.ScalarImplicatures.Studies.PottsLevy2015
import Linglib.Phenomena.ScalarImplicatures.Studies.GoodmanStuhlmuller2013
import Linglib.Phenomena.ScalarImplicatures.Studies.GoodmanStuhlmuller2013PMF
import Linglib.Typology.Phonology
import Linglib.Phenomena.Phonology.Alternation
import Linglib.Phenomena.Phonology.Studies.Maddieson2013
import Linglib.Phenomena.Phonology.Studies.AfkirZellou2025
import Linglib.Fragments.German.Phonology
import Linglib.Fragments.Finnish.Phonology
import Linglib.Fragments.Turkish.Phonology
import Linglib.Fragments.Slavic.Russian.Phonology
import Linglib.Fragments.French.Phonology
import Linglib.Fragments.Spanish.Phonology
import Linglib.Fragments.Japanese.Phonology
import Linglib.Fragments.Mandarin.Phonology
import Linglib.Fragments.HindiUrdu.Phonology
import Linglib.Fragments.Georgian.Phonology
import Linglib.Fragments.Hungarian.Phonology
import Linglib.Fragments.Swahili.Phonology
import Linglib.Fragments.Yoruba.Phonology
import Linglib.Fragments.Maori.Phonology
import Linglib.Fragments.Zulu.Phonology
import Linglib.Phenomena.Phonology.Studies.Anttila1997
import Linglib.Phenomena.Phonology.Studies.Belth2026
import Linglib.Phenomena.Phonology.Studies.Benua1997
import Linglib.Phenomena.Phonology.Studies.Berent2026
import Linglib.Phenomena.Phonology.Studies.BerentEtAl2016
import Linglib.Phenomena.Phonology.Studies.BreissKatsudaKawahara2026
import Linglib.Phenomena.Phonology.Studies.Clements1985
import Linglib.Phenomena.Phonology.Studies.CoetzeePater2011
import Linglib.Phenomena.Phonology.Studies.Flemming2021
import Linglib.Phenomena.Phonology.Studies.FaustLampitelli2026
import Linglib.Phenomena.Phonology.Studies.FrischPierrehumbertBroe2004
import Linglib.Phenomena.Phonology.Studies.GoldwaterJohnson2003
import Linglib.Phenomena.Phonology.Studies.Hansson2010
import Linglib.Phenomena.Phonology.Studies.Jaeger2007
import Linglib.Phenomena.Phonology.Studies.Kawahara2015
import Linglib.Phenomena.Phonology.Studies.Magri2025
import Linglib.Phenomena.Phonology.Studies.MarcoRasin2026
import Linglib.Phenomena.Phonology.Studies.MeinhardtEtAl2024
import Linglib.Phenomena.Phonology.Studies.RoseWalker2004
import Linglib.Phenomena.Phonology.Studies.Sagey1986
import Linglib.Phenomena.Phonology.Studies.SPEDerivations
import Linglib.Phenomena.Phonology.Studies.Storme2026
import Linglib.Phenomena.Phonology.Studies.Zuraw2010
import Linglib.Phenomena.Phonology.Studies.ZurawHayes2017
import Linglib.Phenomena.Reduplication.Studies.McCarthyPrince1995
import Linglib.Phenomena.VowelHarmony.Studies.SiptarTorkenczy2000
import Linglib.Phenomena.Phonotactics.Studies.HayesWilson2008
import Linglib.Phenomena.Tone.Studies.Hyman2006
import Linglib.Phenomena.Tone.Studies.Lionnet2025
import Linglib.Phenomena.Tone.Studies.AkinboFwangwar2026
import Linglib.Phenomena.Tone.Studies.McPhersonLamont2026
import Linglib.Phenomena.CompensatoryLengthening.Studies.Hayes1989
-- Theories: CCG
import Linglib.Theories.Syntax.CCG.Core.Basic
import Linglib.Theories.Syntax.CCG.Core.Combinators
import Linglib.Theories.Interfaces.SyntaxSemantics.CCG.Interface
import Linglib.Theories.Interfaces.SyntaxSemantics.CCG.Homomorphism
import Linglib.Phenomena.Agreement.Studies.Cysouw2009
import Linglib.Phenomena.Agreement.Studies.Scott2023
import Linglib.Phenomena.Agreement.DifferentialIndexing
import Linglib.Phenomena.Agreement.Studies.Aissen2003
import Linglib.Phenomena.Agreement.Studies.PrasertsonSmithCulbertson2026
import Linglib.Phenomena.Agreement.Studies.AdamsonZompi2025
import Linglib.Phenomena.Agreement.Studies.BejarRezac2009
import Linglib.Phenomena.Agreement.Studies.Deal2024
import Linglib.Phenomena.Agreement.Studies.ClemDeal2024
import Linglib.Phenomena.Agreement.Studies.PanchevaZubizarreta2018
import Linglib.Theories.Syntax.Minimalist.Agreement.FeatureRecursion
import Linglib.Theories.Syntax.Minimalist.Agreement.GenderResolution
import Linglib.Theories.Syntax.Minimalist.Agreement.CoordinateResolution
import Linglib.Phenomena.Agreement.Studies.Corbett2000
import Linglib.Phenomena.Agreement.Studies.Carstens2026
import Linglib.Phenomena.Agreement.Studies.HalpertHammerly2026
import Linglib.Phenomena.Agreement.Studies.AdamsonAnagnostopoulou2025
import Linglib.Phenomena.Agreement.Studies.Amato2025
import Linglib.Phenomena.Agreement.Studies.Toosarvandani2023
import Linglib.Phenomena.Agreement.Studies.Harbour2016
import Linglib.Phenomena.Agreement.Studies.Keine2019
import Linglib.Phenomena.Agreement.Studies.Keine2020
import Linglib.Phenomena.Agreement.Studies.Preminger2014
import Linglib.Phenomena.Agreement.Studies.Pietraszko2026
import Linglib.Phenomena.Coordination.Studies.Steedman2000
import Linglib.Theories.Syntax.CCG.CrossSerial
-- CCGDerivations moved to Studies/Steedman2000
import Linglib.Theories.Syntax.CCG.Gapping
import Linglib.Phenomena.Entailment.Studies.ScontrasPearl2021
import Linglib.Theories.Syntax.CCG.Formal.Equivalence
import Linglib.Core.Computability.CFGTree
import Linglib.Core.Computability.CFGFragment
import Linglib.Core.Computability.PumpingLemma
import Linglib.Core.Computability.NonContextFree
import Linglib.Theories.Syntax.CCG.Formal.GenerativeCapacity
import Linglib.Theories.Syntax.CCG.Scope
import Linglib.Theories.Syntax.CCG.Intonation
-- Cross-theory comparisons (distributed into theory directories)
import Linglib.Theories.Syntax.Mueller2013
import Linglib.Theories.Syntax.Minimalist.CategorialFeatures
-- Phenomenon-level comparisons (moved from Comparisons/)
import Linglib.Phenomena.Anaphora.Studies.BarkerPullum1990
import Linglib.Phenomena.Assertion.Compare
import Linglib.Phenomena.Gradability.Compare
import Linglib.Phenomena.Modality.ComparePosition
import Linglib.Phenomena.Modality.Studies.Ferreira2023
import Linglib.Phenomena.Presupposition.Compare
import Linglib.Phenomena.ScalarImplicatures.ExhaustivityLimit
import Linglib.Phenomena.ScalarImplicatures.ScopeExpressivity
import Linglib.Phenomena.TenseAspect.Compare
import Linglib.Phenomena.TenseAspect.CompareTenseModal
import Linglib.Phenomena.TenseAspect.ComparePartee
-- Theories: Dependency Grammar
import Linglib.Theories.Syntax.DependencyGrammar.Core.Nominal
import Linglib.Theories.Syntax.DependencyGrammar.Formal.HeadCriteria
import Linglib.Theories.Syntax.DependencyGrammar.Formal.DependencyLength
import Linglib.Theories.Syntax.DependencyGrammar.Formal.HarmonicOrder
import Linglib.Theories.Syntax.DependencyGrammar.Formal.Catena
import Linglib.Theories.Syntax.DependencyGrammar.Formal.CatenalConstruction
import Linglib.Theories.Syntax.DependencyGrammar.Formal.EnhancedDependencies
import Linglib.Theories.Syntax.DependencyGrammar.Formal.VPDivergence
import Linglib.Theories.Syntax.DependencyGrammar.Formal.NonProjective
import Linglib.Theories.Syntax.DependencyGrammar.Formal.Government
import Linglib.Theories.Syntax.DependencyGrammar.Formal.Ellipsis
import Linglib.Theories.Syntax.DependencyGrammar.Formal.Discontinuity
import Linglib.Theories.Syntax.DependencyGrammar.Formal.Islands
import Linglib.Theories.Syntax.DependencyGrammar.Formal.CoordinationParallelism
-- Theories: Word Grammar
import Linglib.Theories.Syntax.WordGrammar.LexicalRules
import Linglib.Theories.Syntax.WordGrammar.Network
import Linglib.Theories.Processing.Cost.Profile
import Linglib.Theories.Processing.CueBasedRetrieval.Basic
import Linglib.Theories.Processing.LanguageModel.Basic
import Linglib.Theories.Processing.Memory.Basic
import Linglib.Theories.Processing.Memory.LossyContext
import Linglib.Theories.Processing.MemorySurprisal.Basic
import Linglib.Theories.Processing.PredictiveUncertainty.Config
import Linglib.Theories.Processing.PredictiveUncertainty.IAS
import Linglib.Theories.Syntax.DependencyGrammar.Coordination
import Linglib.Theories.Syntax.DependencyGrammar.Coreference
import Linglib.Theories.Syntax.DependencyGrammar.CRDC
import Linglib.Phenomena.WordOrder.Studies.ArnoldEtAl2000
import Linglib.Phenomena.WordOrder.Studies.Gibson2025
import Linglib.Phenomena.WordOrder.Studies.KuhlmannNivre2006
import Linglib.Phenomena.WordOrder.Studies.HarizanovGribanova2019
import Linglib.Phenomena.WordOrder.Studies.Steedman2000
import Linglib.Phenomena.WordOrder.Studies.Chomsky1995
import Linglib.Phenomena.WordOrder.Studies.SagWasowBender2003
import Linglib.Phenomena.WordOrder.Studies.Adger2003
import Linglib.Phenomena.WordOrder.Studies.Pollock1989
import Linglib.Phenomena.WordOrder.Studies.ColeHermon2008
import Linglib.Phenomena.WordOrder.Studies.Westergaard2009
import Linglib.Phenomena.WordOrder.Studies.AlexeyenkoZeijlstra2025
import Linglib.Phenomena.WordOrder.Studies.FedzechkinaEtAl2017
import Linglib.Phenomena.WordOrder.Studies.BachBrownMarslenWilson1986
import Linglib.Phenomena.WordOrder.Studies.Shieber1985
import Linglib.Phenomena.WordOrder.Studies.PullumGazdar1982
import Linglib.Phenomena.WordOrder.Studies.ArregiPietraszko2021
import Linglib.Phenomena.WordOrder.Studies.BroekhuisCorver2026
import Linglib.Theories.Syntax.DependencyGrammar.LongDistance
-- Theories: Discourse — Centering Theory (Grosz, Joshi & Weinstein 1995)
import Linglib.Theories.Discourse.Centering.Defs
import Linglib.Theories.Discourse.Centering.Basic
import Linglib.Theories.Discourse.Centering.Coherence
import Linglib.Theories.Discourse.Centering.Constraints
import Linglib.Theories.Discourse.Centering.Rule1
import Linglib.Theories.Discourse.Centering.Rule2
import Linglib.Theories.Discourse.Centering.Transition
import Linglib.Theories.Discourse.Centering.Instances.GrammaticalRole
import Linglib.Theories.Discourse.Centering.Instances.InformationStatus
-- Theories: Interfaces — Centering ↔ DRT bridge
import Linglib.Theories.Interfaces.SemanticsDiscourse.CenteringDRSExpr
-- Theories: Dynamic Semantics
-- Theories: Dynamic Semantics — Core
import Linglib.Theories.Semantics.Dynamic.Connectives.Assignment
import Linglib.Theories.Semantics.Dynamic.Connectives.CCP
import Linglib.Theories.Semantics.Dynamic.Core.ContextFilter
import Linglib.Theories.Semantics.Dynamic.DiscourseRef
import Linglib.Theories.Semantics.Dynamic.Boxes.Accessibility
import Linglib.Theories.Semantics.Dynamic.Boxes.Syntax
import Linglib.Theories.Semantics.Dynamic.Connectives.Defs
import Linglib.Theories.Semantics.Dynamic.Core.DynamicTy2
import Linglib.Theories.Semantics.Dynamic.Effects.HasFiberedLookup
import Linglib.Theories.Semantics.Dynamic.Intensional
import Linglib.Theories.Semantics.Dynamic.Core.Translation
import Linglib.Theories.Semantics.Dynamic.Connectives.WeakestPrecondition
import Linglib.Theories.Semantics.Dynamic.Core.Update
-- Theories: Dynamic Semantics — ABLE (Beaver 2001)
import Linglib.Phenomena.Presupposition.Studies.Beaver2001.ABLE
-- Theories: Dynamic Semantics — Frameworks
import Linglib.Phenomena.Anaphora.Studies.Heim1982.FileChangeSemantics
import Linglib.Theories.Semantics.Dynamic.UpdateSemantics.Basic
import Linglib.Theories.Semantics.Dynamic.UpdateSemantics.Default
import Linglib.Theories.Semantics.Dynamic.UpdateSemantics.Frames
import Linglib.Theories.Semantics.Dynamic.DPL.Basic
import Linglib.Theories.Semantics.Dynamic.DRT.Basic
import Linglib.Theories.Semantics.Dynamic.Effects.Bilateral
import Linglib.Theories.Semantics.Dynamic.Bilateral.BUS
import Linglib.Theories.Semantics.Dynamic.Bilateral.ICDRT
import Linglib.Theories.Semantics.Dynamic.Bilateral.ICDRTConnectives
import Linglib.Phenomena.Anaphora.Studies.Charlow2019
import Linglib.Theories.Semantics.Dynamic.Effects.Nondeterminism
import Linglib.Theories.Semantics.Dynamic.Effects.Probability
import Linglib.Theories.Semantics.Dynamic.CDRT.Basic
import Linglib.Theories.Semantics.Dynamic.CDRT.Fragment
import Linglib.Phenomena.Plurals.Studies.Charlow2021.Basic
import Linglib.Phenomena.Plurals.Studies.Charlow2021.UpdateTheoretic
import Linglib.Phenomena.Plurals.Studies.Charlow2021.HigherOrder
import Linglib.Phenomena.Plurals.Studies.Charlow2021.SubtypePolymorphism
import Linglib.Phenomena.Plurals.Studies.Charlow2021.PostSuppositional
import Linglib.Theories.Semantics.PIP.Basic
import Linglib.Theories.Semantics.PIP.Bridges
import Linglib.Theories.Semantics.PIP.Composition
import Linglib.Theories.Semantics.PIP.Connectives
import Linglib.Theories.Semantics.PIP.Expr
import Linglib.Theories.Semantics.PIP.Felicity
import Linglib.Theories.Semantics.Dynamic.PLA.Basic
import Linglib.Theories.Semantics.Dynamic.PLA.Belief
import Linglib.Theories.Semantics.Dynamic.PLA.DeepTheorems
import Linglib.Theories.Semantics.Dynamic.PLA.Epistemic
import Linglib.Theories.Semantics.Dynamic.PLA.Quantifiers
import Linglib.Theories.Semantics.Dynamic.PLA.Semantics
import Linglib.Theories.Semantics.Dynamic.PLA.Update
-- Theories: Decision-Theoretic Semantics (Merin 1999)
import Linglib.Theories.Pragmatics.DecisionTheoretic.Core
import Linglib.Theories.Pragmatics.DecisionTheoretic.ScalarImplicature
import Linglib.Theories.Pragmatics.DecisionTheoretic.But
import Linglib.Theories.Pragmatics.DecisionTheoretic.Even
import Linglib.Theories.Pragmatics.DecisionTheoretic.Also
import Linglib.Theories.Pragmatics.DecisionTheoretic.PartitionAdjunction
-- Theories: Bias-Conditioned Negation (cross-construction predicate)
import Linglib.Theories.Pragmatics.Bias
-- Theories: Gricean Pragmatics
import Linglib.Theories.Pragmatics.GriceanMaxims
-- Theories: Bidirectional OT (Blutner 2000)
import Linglib.Theories.Pragmatics.Bidirectional
-- Theories: Relevance Theory (Sperber & Wilson)
import Linglib.Theories.Pragmatics.RelevanceTheory.CognitiveEnvironment
import Linglib.Theories.Pragmatics.RelevanceTheory.CognitiveEffects
import Linglib.Theories.Pragmatics.RelevanceTheory.Relevance
import Linglib.Theories.Pragmatics.RelevanceTheory.Ostension
import Linglib.Theories.Pragmatics.RelevanceTheory.Comprehension
-- Theories: TTR (Type Theory with Records)
import Linglib.Theories.Semantics.TypeTheoretic.Core
import Linglib.Theories.Semantics.TypeTheoretic.Discourse
-- Theories: Construction Grammar
import Linglib.Theories.Syntax.ConstructionGrammar.Basic
import Linglib.Theories.Syntax.ConstructionGrammar.Studies.FillmoreKayOConnor1988
import Linglib.Theories.Syntax.ConstructionGrammar.Studies.GoldbergShirtz2025
import Linglib.Theories.Syntax.ConstructionGrammar.ArgumentStructure
import Linglib.Theories.Syntax.ConstructionGrammar.Slot
import Linglib.Theories.Syntax.ConstructionGrammar.GrammarDist
import Linglib.Phenomena.Constructions.Studies.Dunn2025
import Linglib.Theories.Syntax.ConstructionGrammar.Resultatives
import Linglib.Phenomena.Constructions.Resultatives.Studies.GoldbergJackendoff2004
-- Theories: HPSG
import Linglib.Theories.Syntax.HPSG.Core.Basic
import Linglib.Theories.Syntax.HPSG.Core.HeadFiller
import Linglib.Theories.Syntax.HPSG.Core.LexicalRules
import Linglib.Theories.Syntax.HPSG.Core.RelativeClauses
import Linglib.Theories.Syntax.HPSG.Coreference
import Linglib.Theories.Syntax.HPSG.Inversion
-- Theories: Information Structure (now in Focus/)
import Linglib.Theories.Semantics.Focus.KratzerSelkirk2020
-- Theories: Minimalism
import Linglib.Theories.Syntax.Minimalist.Features
import Linglib.Theories.Syntax.Minimalist.Checking
import Linglib.Theories.Syntax.Minimalist.Agree
import Linglib.Theories.Syntax.Minimalist.Probe
import Linglib.Theories.Syntax.Minimalist.CyclicAgree
import Linglib.Theories.Syntax.Minimalist.NestedAgree
import Linglib.Theories.Syntax.Minimalist.PersonGeometry
import Linglib.Theories.Syntax.Minimalist.PConstraint
import Linglib.Theories.Syntax.Minimalist.ObligatoryOperations
import Linglib.Theories.Syntax.Case.Alignment
import Linglib.Theories.Syntax.Case.CaseFilter
import Linglib.Theories.Syntax.Case.Dependent
import Linglib.Theories.Syntax.Case.Licensing
import Linglib.Theories.Syntax.Minimalist.LateMerger
import Linglib.Theories.Syntax.Minimalist.Ellipsis.DeletionDomain
import Linglib.Theories.Syntax.Minimalist.Ellipsis.FormalMatching
import Linglib.Theories.Syntax.Minimalist.Ellipsis.Nominal
import Linglib.Theories.Syntax.Minimalist.HeadMovement.HMC
import Linglib.Theories.Syntax.Minimalist.Coreference
import Linglib.Theories.Syntax.Minimalist.HeadMovement.Basic
import Linglib.Theories.Syntax.Minimalist.HeadMovement.VerbMovement
import Linglib.Phenomena.WordOrder.Studies.HarizanovGribanova2019Bulgarian
import Linglib.Phenomena.WordOrder.Studies.HarizanovGribanova2019Germanic
import Linglib.Phenomena.WordOrder.Studies.HarizanovGribanova2019Amalgamation
import Linglib.Theories.Syntax.Minimalist.Movement.Smuggling
import Linglib.Phenomena.Politeness.Studies.AlokBhalla2026
import Linglib.Phenomena.Politeness.Studies.Wang2023
import Linglib.Phenomena.SentenceMood.Studies.Gutzmann2015
import Linglib.Phenomena.SentenceMood.Studies.Deo2025
import Linglib.Phenomena.SocialMeaning.ING
import Linglib.Phenomena.SocialMeaning.Studies.Burnett2019
import Linglib.Phenomena.SocialMeaning.Studies.Eckert2008
import Linglib.Phenomena.SocialMeaning.Studies.Labov2006
import Linglib.Phenomena.SocialMeaning.Studies.Labov2012
import Linglib.Phenomena.SocialMeaning.Studies.Ochs1992
import Linglib.Theories.Syntax.Minimalist.Inversion
import Linglib.Theories.Syntax.Minimalist.SpeechActs
import Linglib.Theories.Syntax.Minimalist.Polarity
import Linglib.Theories.Syntax.Minimalist.Questions
import Linglib.Theories.Syntax.Minimalist.Labeling
import Linglib.Theories.Syntax.Minimalist.Phase
import Linglib.Theories.Syntax.Minimalist.Multidominance
import Linglib.Theories.Syntax.Minimalist.Economy
import Linglib.Theories.Syntax.Minimalist.Modification
import Linglib.Theories.Syntax.Minimalist.Scope
import Linglib.Theories.Interfaces.SyntaxSemantics.Minimalist.Interface
import Linglib.Theories.Syntax.Minimalist.CombinationSchemata
import Linglib.Theories.Syntax.Minimalist.RelativeClauses
import Linglib.Theories.Syntax.Minimalist.Basic
import Linglib.Theories.Syntax.Minimalist.Derivation
import Linglib.Theories.Syntax.Minimalist.HeadFunction
import Linglib.Theories.Syntax.Minimalist.Selection
import Linglib.Theories.Syntax.Minimalist.Voice
import Linglib.Theories.Syntax.Minimalist.Applicative
import Linglib.Theories.Syntax.Minimalist.ApplicativeDiagnostics
import Linglib.Theories.Syntax.Minimalist.SmallClause
import Linglib.Theories.Syntax.Minimalist.Copula
import Linglib.Theories.Syntax.Minimalist.Cascade
import Linglib.Theories.Interfaces.SyntaxSemantics.Minimalist.EventStructureBridge
import Linglib.Theories.Interfaces.SyntaxSemantics.Minimalist.VoiceTheta
import Linglib.Theories.Interfaces.SyntaxSemantics.Minimalist.TopologicalMapping
import Linglib.Theories.Interfaces.SyntaxSemantics.Minimalist.DegreeMovement
import Linglib.Theories.Morphology.DM.Fission
import Linglib.Theories.Morphology.FragmentGrammars.MultinomialPCFG
import Linglib.Theories.Morphology.FragmentGrammars.DMPCFG
import Linglib.Theories.Morphology.FragmentGrammars.AdaptorGrammar
import Linglib.Theories.Morphology.FragmentGrammars.FragmentGrammar
import Linglib.Theories.Morphology.FragmentGrammars.FragmentLambda
import Linglib.Theories.Morphology.UsageBased.Network
import Linglib.Theories.Morphology.DM.Categorizer
import Linglib.Theories.Morphology.DM.CategorizerSemantics
import Linglib.Theories.Morphology.DM.VocabularyInsertion
import Linglib.Theories.Morphology.DM.NominalStructure
import Linglib.Theories.Morphology.DM.RichExponent
import Linglib.Theories.Morphology.DM.Allosemy
import Linglib.Theories.Morphology.DM.Impoverishment
import Linglib.Theories.Morphology.DM.Metathesis
import Linglib.Theories.Morphology.DM.PostsyntacticDerivation
import Linglib.Theories.Morphology.DM.LinearPostsyntax
import Linglib.Theories.Morphology.DM.PostSyntacticOps
import Linglib.Theories.Morphology.Nanosyntax.Core
import Linglib.Theories.Morphology.Nanosyntax.TreeSpellout
import Linglib.Phenomena.ArgumentStructure.Studies.Pylkkanen2008
import Linglib.Phenomena.ArgumentStructure.Studies.Larson1988
import Linglib.Phenomena.ArgumentStructure.Studies.Bruening2021
import Linglib.Phenomena.ArgumentStructure.Studies.Newman2024
import Linglib.Theories.Syntax.Minimalist.Algebra
import Linglib.Theories.Syntax.Minimalist.Counting
import Linglib.Theories.Syntax.Minimalist.Properties.BinaryOptimality
import Linglib.Theories.Syntax.Minimalist.Hopf.Defs
import Linglib.Theories.Syntax.Minimalist.Hopf.AdmissibleCut
import Linglib.Theories.Syntax.Minimalist.Hopf.Comul
import Linglib.Theories.Syntax.Minimalist.Hopf.Merge
import Linglib.Theories.Syntax.Minimalist.Hopf.MergeAction
import Linglib.Theories.Syntax.Minimalist.Properties.MinimalSearch
import Linglib.Theories.Syntax.Minimalist.Properties.NoComplexityLoss
import Linglib.Theories.Syntax.Minimalist.SpellOut
import Linglib.Theories.Interfaces.SyntaxPhonology.Minimalist.LCA
import Linglib.Theories.Interfaces.SyntaxPhonology.Minimalist.Spellout
import Linglib.Theories.Interfaces.SyntaxPhonology.Minimalist.CyclicLinearization
import Linglib.Theories.Syntax.MereologicalSyntax.Basic
import Linglib.Theories.Syntax.MereologicalSyntax.Bridge
import Linglib.Theories.Syntax.MereologicalSyntax.Interpretation
import Linglib.Theories.Syntax.SynGraph
-- Theories: Semantics.Degree (degree semantics frameworks)
import Linglib.Theories.Semantics.Degree.Aggregation
import Linglib.Theories.Semantics.Degree.Core
import Linglib.Theories.Semantics.Degree.MeasureFunction
import Linglib.Theories.Semantics.Degree.Comparative
import Linglib.Theories.Semantics.Degree.Equative
import Linglib.Theories.Semantics.Degree.Superlative
import Linglib.Theories.Semantics.Degree.ThanClause
import Linglib.Theories.Semantics.Degree.Differential
import Linglib.Theories.Semantics.Degree.Question
import Linglib.Theories.Semantics.Degree.Abstraction
import Linglib.Theories.Semantics.Degree.Intervals
import Linglib.Theories.Semantics.Comparison.Delineation
import Linglib.Theories.Semantics.Comparison.Hierarchy
import Linglib.Theories.Semantics.Comparison.Metalinguistic
import Linglib.Theories.Semantics.Comparison.MetalinguisticDegree
import Linglib.Theories.Semantics.Degree.Granularity
-- Theories: Semantics.Supervaluation (general supervaluation framework)
import Linglib.Theories.Semantics.Supervaluation.Basic
import Linglib.Theories.Semantics.Supervaluation.TCS
-- Theories: Semantics.Modality.Orthologic (Holliday-Mandelkern possibility semantics for epistemic modals)
import Linglib.Theories.Semantics.Modality.Orthologic.Frames
import Linglib.Theories.Semantics.Modality.Orthologic.Modal
import Linglib.Theories.Semantics.Modality.Orthologic.RegularProp
-- Theories: Semantics.Montague (Montague architecture)
import Linglib.Theories.Semantics.Gradability.Antonymy
import Linglib.Theories.Semantics.Gradability.AntonymPrediction
import Linglib.Theories.Semantics.Gradability.AntonymQuadruplet
import Linglib.Theories.Semantics.Gradability.ClauseEmbedding
import Linglib.Theories.Semantics.Gradability.Classification
import Linglib.Theories.Semantics.Gradability.Intensification
import Linglib.Theories.Semantics.Gradability.Aggregation
import Linglib.Theories.Semantics.Gradability.Theory
import Linglib.Theories.Semantics.Reference.Binding
import Linglib.Theories.Syntax.Minimalist.MinimalPronoun
import Linglib.Theories.Syntax.Minimalist.LongDistanceAgree
import Linglib.Theories.Semantics.Composition.Tree
import Linglib.Theories.Semantics.Composition.QuantifierComposition
import Linglib.Theories.Semantics.Composition.Glue
import Linglib.Theories.Semantics.Composition.WriterMonad
import Linglib.Theories.Semantics.Composition.SetMonad
import Linglib.Theories.Semantics.Composition.Applicative
import Linglib.Theories.Semantics.Composition.Effects
import Linglib.Theories.Semantics.Composition.LexiconBuilder
import Linglib.Theories.Semantics.Composition.MaybeMonad
import Linglib.Theories.Semantics.Composition.TypeShifting
import Linglib.Theories.Semantics.Entailment.Polarity
import Linglib.Core.Modality.HistoricalAlternatives
import Linglib.Theories.Semantics.Tense.Modal.AtOperator
import Linglib.Theories.Semantics.Composition.PredicateTransfer
import Linglib.Theories.Semantics.Composition.Scope
import Linglib.Phenomena.Entailment.MontagueTruthConditions
import Linglib.Phenomena.Reference.Studies.AhnZhu2025
import Linglib.Phenomena.Indefinites.Studies.DeganoAloni2025
import Linglib.Theories.Semantics.Probabilistic.Measurement.Basic
import Linglib.Theories.Semantics.Numerals.Basic
import Linglib.Theories.Semantics.Numerals.Degree
import Linglib.Theories.Semantics.Numerals.Precision
import Linglib.Theories.Semantics.Definiteness.Basic
import Linglib.Theories.Semantics.Quantification.DomainRestriction
import Linglib.Phenomena.Polarity.Studies.KadmonLandman1993Apparatus
import Linglib.Theories.Semantics.Quantification.Quantifier
import Linglib.Theories.Semantics.Quantification.Syllogistic.Defs
import Linglib.Theories.Semantics.Quantification.Syllogistic.Forms
import Linglib.Theories.Semantics.Quantification.Syllogistic.Square
import Linglib.Theories.Semantics.Quantification.Lexicon
import Linglib.Theories.Semantics.Quantification.Exceptive
import Linglib.Theories.Semantics.Quantification.Possessive
import Linglib.Theories.Semantics.Quantification.UnifiedUniversal
import Linglib.Theories.Semantics.Quantification.ONEModifiers
import Linglib.Theories.Semantics.Quantification.ChoiceFunction
import Linglib.Theories.Semantics.Quantification.Cumulativity
import Linglib.Theories.Pragmatics.Expressives.Basic
import Linglib.Theories.Pragmatics.Expressives.OutlookMarker
import Linglib.Theories.Semantics.Quotation.Mixed
import Linglib.Theories.Semantics.Quotation.Demonstration
import Linglib.Theories.Semantics.Probabilistic.Scenarios.Basic
import Linglib.Theories.Semantics.Probabilistic.ParamPred
import Linglib.Theories.Semantics.Probabilistic.BayesianSemantics
import Linglib.Theories.Semantics.Probabilistic.ConditionalAssertability
import Linglib.Theories.Semantics.Probabilistic.PrototypeTheory
import Linglib.Core.Categorical.AgentCat
import Linglib.Core.Categorical.ScaleCat
import Linglib.Theories.Interfaces.SyntaxSemantics.SyntaxInterface
import Linglib.Theories.Interfaces.SyntaxSemantics.Borer2005
import Linglib.Theories.Interfaces.SyntaxSemantics.Linking
import Linglib.Theories.Interfaces.SyntaxSemantics.VoiceSemantics
import Linglib.Theories.Semantics.Composition.Modification
import Linglib.Theories.Semantics.Quantification.CovertQuantifier
import Linglib.Theories.Semantics.Noun.Binominal
import Linglib.Theories.Semantics.Noun.MereoReference
import Linglib.Theories.Semantics.Classifier.Basic
import Linglib.Theories.Semantics.Classifier.Composition
import Linglib.Theories.Semantics.Classifier.Defs
import Linglib.Theories.Semantics.Classifier.TypeN
import Linglib.Theories.Semantics.Noun.GradableNouns
import Linglib.Theories.Semantics.Noun.Kind.Anaphora
import Linglib.Theories.Semantics.Noun.Kind.Carlson1977
import Linglib.Theories.Semantics.Noun.Kind.Chierchia1998
import Linglib.Theories.Semantics.Noun.Kind.Dayal2004
import Linglib.Theories.Semantics.Noun.Kind.Generics
import Linglib.Theories.Semantics.Noun.Kind.GenericsDynamic
import Linglib.Theories.Semantics.Noun.Kind.Krifka2004
import Linglib.Theories.Semantics.Noun.Kind.Mendia2020
import Linglib.Theories.Semantics.Noun.Relational.Barker2011
import Linglib.Theories.Semantics.Plurality.Cover
import Linglib.Theories.Semantics.Plurality.Cumulativity
import Linglib.Theories.Semantics.Plurality.CandidateInterpretation
import Linglib.Theories.Semantics.Plurality.Distributivity
import Linglib.Theories.Semantics.Plurality.Link1983
import Linglib.Theories.Semantics.Plurality.ExistentialPL
import Linglib.Phenomena.Quantification.Studies.Montague1973
import Linglib.Theories.Semantics.Entailment.AntiAdditivity
import Linglib.Theories.Semantics.Entailment.Basic
import Linglib.Theories.Semantics.Entailment.Intolerance
import Linglib.Theories.Semantics.Entailment.Monotonicity
import Linglib.Phenomena.Entailment.NegationTests
import Linglib.Phenomena.Entailment.Studies.Montague1973
import Linglib.Theories.Semantics.Entailment.PresuppositionLicensing
import Linglib.Theories.Semantics.Entailment.PresuppositionPolarity
import Linglib.Theories.Semantics.Entailment.ScaleInteraction
import Linglib.Theories.Semantics.Entailment.StrawsonEntailment
import Linglib.Theories.Semantics.Negation.CzechNegation
import Linglib.Theories.Semantics.Negation.Defs
import Linglib.Theories.Semantics.Focus.BackgroundedIslands
import Linglib.Phenomena.Focus.Studies.DeoThomas2025
import Linglib.Phenomena.Focus.Studies.TurkHirsch2026
import Linglib.Phenomena.Focus.Studies.Francescotti1995
import Linglib.Phenomena.Focus.Studies.Umbach2004
import Linglib.Phenomena.Focus.Studies.HartmannZimmermann2007
import Linglib.Phenomena.Focus.Studies.Kiss1998
import Linglib.Theories.Semantics.Focus.Interpretation
import Linglib.Theories.Semantics.Focus.Particles
import Linglib.Theories.Semantics.Focus.MeaningStructureMapping
import Linglib.Theories.Semantics.Presupposition.BeliefEmbedding
import Linglib.Theories.Semantics.Presupposition.LocalContext
import Linglib.Theories.Semantics.Presupposition.OntologicalPreconditions
import Linglib.Theories.Semantics.Presupposition.TonhauserDerivation
import Linglib.Theories.Semantics.Presupposition.Accommodation
import Linglib.Theories.Semantics.Presupposition.MaximizePresupposition
import Linglib.Theories.Semantics.Presupposition.PhiFeatures
import Linglib.Theories.Semantics.Tense.Compositional
import Linglib.Theories.Semantics.Tense.TenseAspectComposition
import Linglib.Theories.Semantics.Tense.TemporalAdverbials
import Linglib.Theories.Semantics.Tense.Evidential
import Linglib.Theories.Semantics.Tense.ParticipantPerspective
import Linglib.Theories.Semantics.Tense.Perspective
import Linglib.Theories.Semantics.Tense.TemporalConnectives
import Linglib.Theories.Semantics.Tense.PerfectPolysemy
import Linglib.Theories.Semantics.Tense.SequenceOfTense
import Linglib.Theories.Semantics.Tense.TOChain
import Linglib.Theories.Semantics.Tense.ConditionalShift
import Linglib.Theories.Semantics.Tense.Aspect.Core
import Linglib.Features.Aktionsart
import Linglib.Theories.Semantics.Tense.Aspect.Composition
import Linglib.Theories.Semantics.Tense.Aspect.SubintervalProperty
import Linglib.Theories.Semantics.Tense.MaximalInformativity
import Linglib.Theories.Semantics.Tense.PTS
import Linglib.Theories.Semantics.Verb.DegreeAchievement
import Linglib.Theories.Semantics.Verb.ChangeOfState.Theory
import Linglib.Theories.Semantics.Verb.Habituals
import Linglib.Theories.Semantics.Verb.SelectionalPreferences
-- Theories: Semantics.Iconic (Iconological Semantics for sign language)
import Linglib.Theories.Semantics.Iconic.Basic
-- Theories: Semantics.Events (neo-Davidsonian)
import Linglib.Theories.Semantics.Events.Basic
import Linglib.Theories.Semantics.Events.DegreeEvents
import Linglib.Theories.Semantics.Events.ThematicRoles
import Linglib.Theories.Semantics.Events.EventRelations
import Linglib.Theories.Semantics.Events.Mereology
import Linglib.Theories.Semantics.Events.StratifiedReference
import Linglib.Theories.Semantics.Events.ThematicRoleProperties
import Linglib.Theories.Semantics.Events.ScalarResult
import Linglib.Theories.Semantics.Events.AffectednessHierarchy
import Linglib.Theories.Semantics.Events.Incrementality
import Linglib.Theories.Semantics.Events.CumulativityPropagation
import Linglib.Theories.Semantics.Events.GradualChange
import Linglib.Theories.Semantics.Events.PropagationGap
import Linglib.Theories.Semantics.Events.MeasurePhrases
import Linglib.Theories.Semantics.Events.ArgumentRealization
import Linglib.Theories.Semantics.Verb.AgentivityLattice
import Linglib.Theories.Semantics.Verb.EntailmentProfile
import Linglib.Theories.Semantics.Verb.Affectedness
import Linglib.Theories.Semantics.Verb.LevinTheory
import Linglib.Theories.Semantics.Verb.LevinClassProfiles
import Linglib.Theories.Semantics.Verb.EventStructure
import Linglib.Theories.Semantics.Verb.ArgDerivation
import Linglib.Theories.Semantics.Verb.Roots.Basic
import Linglib.Theories.Semantics.Verb.Roots.Template
import Linglib.Theories.Semantics.Verb.Roots.Typology
import Linglib.Theories.Semantics.Verb.Roots.Closure
import Linglib.Theories.Semantics.Verb.Roots.SalienceClass
import Linglib.Theories.Morphology.RootTypology
import Linglib.Theories.Morphology.TheorySpace
import Linglib.Theories.Semantics.Events.SpatialTrace
import Linglib.Theories.Semantics.Events.EventAdjacency
import Linglib.Theories.Semantics.Events.InitialFinalParts
import Linglib.Theories.Semantics.Events.MovementRelations
import Linglib.Theories.Semantics.Events.DimensionBridge
import Linglib.Theories.Semantics.Events.TemporalDecomposition
import Linglib.Theories.Semantics.Events.SpatiotemporalDistance
import Linglib.Theories.Semantics.Attitudes.BuilderProperties
import Linglib.Theories.Semantics.Attitudes.CDistributivity
import Linglib.Theories.Semantics.Attitudes.ContentComposition
import Linglib.Theories.Semantics.Attitudes.ContextQuantification
import Linglib.Theories.Semantics.Attitudes.Doxastic
import Linglib.Theories.Semantics.Attitudes.Parasitic
import Linglib.Theories.Semantics.Attitudes.Preferential
import Linglib.Theories.Semantics.Attitudes.SituationDependent
import Linglib.Theories.Semantics.Attitudes.NegRaising
import Linglib.Theories.Semantics.Attitudes.Monotonicity
import Linglib.Theories.Semantics.Attitudes.Factivity
import Linglib.Theories.Semantics.Attitudes.PreExistence
import Linglib.Theories.Semantics.Attitudes.EpistemicThreshold
import Linglib.Theories.Semantics.Attitudes.RationalAttitude
import Linglib.Theories.Semantics.Attitudes.Representationality
import Linglib.Theories.Semantics.Attitudes.CondoravdiLauer
import Linglib.Theories.Semantics.Truthmaker.Basic
import Linglib.Theories.Semantics.Truthmaker.Inexact
import Linglib.Theories.Semantics.Truthmaker.Closure
import Linglib.Theories.Semantics.Truthmaker.Entailment
import Linglib.Theories.Semantics.Causation.Interpretation
import Linglib.Theories.Semantics.Causation.CCSelection
import Linglib.Theories.Semantics.Causation.CoerciveImplication
import Linglib.Phenomena.Causation.Studies.CaoWhiteLassiter2025
import Linglib.Theories.Semantics.Causation.Strength
import Linglib.Theories.Semantics.Causation.Necessity
import Linglib.Theories.Semantics.Causation.Sufficiency
import Linglib.Theories.Semantics.Causation.Implicative
import Linglib.Theories.Semantics.Causation.ProductionDependence
import Linglib.Theories.Semantics.Causation.Resultatives
import Linglib.Theories.Semantics.Causation.Psych
import Linglib.Theories.Semantics.Causation.PsychLink
import Linglib.Theories.Semantics.Causation.Morphological
import Linglib.Theories.Semantics.Causation.CauserSort
import Linglib.Theories.Semantics.Causation.Progressive
import Linglib.Phenomena.Causation.Studies.BarAsherSiegal2026
import Linglib.Phenomena.PsychVerbs.Studies.HartshorneEtAl2016
import Linglib.Theories.Semantics.Conditionals.Basic
import Linglib.Theories.Semantics.Conditionals.ConditionalType
import Linglib.Theories.Semantics.Conditionals.Counterfactual
import Linglib.Theories.Semantics.Conditionals.Counterfactual.QuantifierEmbedding
import Linglib.Theories.Semantics.Conditionals.Counterfactual.Implicature
import Linglib.Theories.Semantics.Conditionals.Exhaustivity
import Linglib.Theories.Semantics.Conditionals.LeftNested
import Linglib.Theories.Semantics.Conditionals.Marker
import Linglib.Theories.Semantics.Conditionals.PremiseSemantic
import Linglib.Theories.Semantics.Conditionals.Presupposition
import Linglib.Theories.Semantics.Conditionals.Restrictor
import Linglib.Theories.Semantics.Conditionals.Stalnaker
import Linglib.Theories.Semantics.Conditionals.Sweetser
import Linglib.Theories.Semantics.Conditionals.WillConditional
import Linglib.Theories.Semantics.Modality.Directive
import Linglib.Theories.Semantics.Modality.Disjunction
import Linglib.Theories.Semantics.Modality.Exclusion
import Linglib.Theories.Semantics.Modality.BiasedPQ
import Linglib.Theories.Semantics.Modality.Kratzer.Background
import Linglib.Theories.Semantics.Modality.Kratzer.Ordering
import Linglib.Theories.Semantics.Modality.Kratzer.Operators
import Linglib.Theories.Semantics.Modality.Kratzer.Flavor
import Linglib.Theories.Semantics.Modality.Kratzer.XMarking
import Linglib.Theories.Semantics.Attitudes.Desire
import Linglib.Theories.Semantics.Modality.EpistemicLogic
import Linglib.Theories.Semantics.Modality.EpistemicProbability
import Linglib.Theories.Semantics.Modality.KnowledgeProbability
import Linglib.Theories.Semantics.Modality.ProbabilityOrdering
import Linglib.Theories.Semantics.Modality.ActualityEntailments
import Linglib.Theories.Semantics.Modality.Assert
import Linglib.Theories.Semantics.Modality.Temporal
import Linglib.Theories.Semantics.Modality.TemporalConstraint
import Linglib.Theories.Semantics.Modality.Typology
import Linglib.Theories.Semantics.Modality.Inertia
import Linglib.Theories.Semantics.Modality.EventRelativity
import Linglib.Theories.Semantics.Modality.ModalIndefinites
import Linglib.Theories.Semantics.Modality.Selectional
import Linglib.Theories.Semantics.Modality.Narrog
import Linglib.Theories.Semantics.Mood.Basic
import Linglib.Theories.Semantics.Mood.Dynamic
import Linglib.Theories.Semantics.Mood.Gutzmann
import Linglib.Theories.Semantics.Mood.VerbalMood
import Linglib.Theories.Semantics.UseConditional.LTU
import Linglib.Theories.Semantics.Reference.Basic
import Linglib.Theories.Semantics.Reference.Kaplan
import Linglib.Theories.Semantics.Reference.Donnellan
import Linglib.Theories.Semantics.Reference.Almog2014
import Linglib.Theories.Semantics.Reference.Demonstratives
import Linglib.Theories.Semantics.Reference.KaplanLD
import Linglib.Theories.Semantics.Reference.Monsters
import Linglib.Theories.Semantics.Reference.PersonFeatures
import Linglib.Theories.Semantics.Reference.ShiftedIndexicals
import Linglib.Theories.Semantics.Reference.FreeIndirectDiscourse
import Linglib.Theories.Semantics.Reference.Kripke
import Linglib.Theories.Semantics.Reference.Reciprocals
import Linglib.Theories.Semantics.Reference.Acquaintance
import Linglib.Theories.Semantics.Tense.Basic
import Linglib.Theories.Semantics.Tense.Dynamic
import Linglib.Theories.Semantics.Tense.LexicalType
import Linglib.Theories.Semantics.Tense.TemporalConnectives.Before
import Linglib.Theories.Semantics.Tense.DeRe
import Linglib.Phenomena.TenseAspect.Studies.Abusch1997
import Linglib.Phenomena.TenseAspect.Studies.HeimComments1994
import Linglib.Phenomena.TenseAspect.Studies.VonStechow2009
import Linglib.Theories.Semantics.Tense.SOT.Decomposition
import Linglib.Phenomena.TenseAspect.Studies.Kratzer1998
import Linglib.Theories.Semantics.Tense.SOT.Ambiguity
import Linglib.Phenomena.TenseAspect.Studies.Ogihara1996
import Linglib.Theories.Semantics.Tense.Modal.Matrix
import Linglib.Theories.Semantics.Tense.Counterfactual.Defs
import Linglib.Phenomena.TenseAspect.Studies.Sharvit2014
import Linglib.Phenomena.TemporalConnectives.Studies.Giannakidou2002
import Linglib.Typology.TemporalConnectives
import Linglib.Theories.Syntax.Minimalist.Tense.AgreeSOT
import Linglib.Theories.Syntax.Minimalist.Tense.InfinitivalTense
-- Theories: Semantics.Questions
import Linglib.Core.Question.Partition.Constructors
import Linglib.Phenomena.Questions.Studies.GroenendijkStokhof1984
import Linglib.Phenomena.Questions.Studies.Belnap1982
import Linglib.Phenomena.Questions.Studies.Karttunen1977
import Linglib.Phenomena.Questions.Studies.Dayal2016
import Linglib.Phenomena.Questions.Studies.VanRooy2003
import Linglib.Phenomena.Questions.Studies.Heim1994
import Linglib.Phenomena.Questions.Studies.Fox2018
import Linglib.Phenomena.Questions.Studies.Xiang2022
import Linglib.Phenomena.Questions.Studies.George2011
import Linglib.Phenomena.Questions.Studies.CiardelliGroenendijkRoelofsen2018
import Linglib.Theories.Semantics.Questions.Probabilistic
import Linglib.Theories.Pragmatics.DecisionTheoretic.MerinBridge
import Linglib.Theories.Semantics.Questions.Resolution
import Linglib.Theories.Semantics.Questions.Exhaustivity
import Linglib.Theories.Interfaces.SyntaxSemantics.LeftPeriphery
import Linglib.Phenomena.ScalarImplicatures.Studies.BrehenyEtAl2018
import Linglib.Phenomena.ScalarImplicatures.Studies.Katzir2007
import Linglib.Phenomena.ScalarImplicatures.Studies.KatzirSingh2015
import Linglib.Phenomena.ScalarImplicatures.Studies.Magri2009
import Linglib.Phenomena.ScalarImplicatures.Studies.Denic2023
-- Theories: Alternatives + Exhaustification + Implicature
import Linglib.Theories.Pragmatics.AvoidAmbiguity
import Linglib.Theories.Pragmatics.Implicature.Basic
import Linglib.Theories.Pragmatics.Implicature.Competence
import Linglib.Theories.Pragmatics.Implicature.Defs
import Linglib.Theories.Pragmatics.Implicature.Diagnostics
import Linglib.Theories.Pragmatics.Implicature.EpistemicBlocking
import Linglib.Theories.Pragmatics.Implicature.Markedness
import Linglib.Theories.Pragmatics.Implicature.Scales
import Linglib.Theories.Semantics.Alternatives.AltMeaning
import Linglib.Theories.Semantics.Alternatives.AtomicConstraint
import Linglib.Theories.Semantics.Alternatives.FoxKatzir2011
import Linglib.Theories.Semantics.Alternatives.Indirect
import Linglib.Theories.Semantics.Alternatives.Pronounceable
import Linglib.Theories.Semantics.Alternatives.Source
import Linglib.Theories.Semantics.Alternatives.Structural
import Linglib.Theories.Semantics.Alternatives.Symmetric
import Linglib.Theories.Semantics.Exhaustification.Combinators
import Linglib.Theories.Semantics.Exhaustification.Excluder
import Linglib.Theories.Semantics.Exhaustification.FreeChoice
import Linglib.Theories.Semantics.Exhaustification.InnocentExclusion
import Linglib.Theories.Semantics.Exhaustification.Operators.Antiexhaustive
import Linglib.Theories.Semantics.Exhaustification.Operators.Basic
import Linglib.Theories.Semantics.Exhaustification.Operators.Decidable
import Linglib.Theories.Semantics.Exhaustification.Operators.InnocentInclusion
import Linglib.Theories.Semantics.Exhaustification.PresuppositionalExhaustification
import Linglib.Theories.Semantics.Exhaustification.Relevance
import Linglib.Theories.Semantics.Exhaustification.ScalePredictions
import Linglib.Theories.Semantics.Exhaustification.Tolerant
import Linglib.Theories.Semantics.Exhaustification.Trivalent
import Linglib.Theories.Semantics.Polarity.Operator
import Linglib.Theories.Semantics.Presupposition.TriggerTypology
-- Phenomena studies depending on Implicature/Alternatives/Exhaustification
import Linglib.Phenomena.Gradability.Studies.Rett2015Implicature
import Linglib.Phenomena.Plurals.Studies.BaleKhanjian2014
import Linglib.Phenomena.Plurals.Studies.BarLev2021
import Linglib.Phenomena.Plurals.Studies.Enguehard2024
import Linglib.Phenomena.Plurals.Studies.Magri2014
import Linglib.Phenomena.Plurals.Studies.Sauerland2003
import Linglib.Phenomena.Plurals.Studies.VerbalNumber
import Linglib.Phenomena.Polarity.Studies.AlonsoOvalleMoghiseh2025
import Linglib.Phenomena.Polarity.Studies.AlonsoOvalleMoghiseh2025Closure
import Linglib.Phenomena.Polarity.Studies.Gajewski2002
import Linglib.Phenomena.Polarity.Studies.Gajewski2011
import Linglib.Phenomena.Polarity.Studies.Israel2001
import Linglib.Phenomena.Polarity.Studies.KadmonLandman1993
import Linglib.Phenomena.Presupposition.Studies.Wang2025
import Linglib.Phenomena.ScalarImplicatures.Studies.Chierchia2004
import Linglib.Phenomena.ScalarImplicatures.Studies.FoxSpector2018
import Linglib.Phenomena.ScalarImplicatures.Studies.MontagueExhaustivity
import Linglib.Phenomena.ScalarImplicatures.Studies.Spector2007
import Linglib.Phenomena.ScalarImplicatures.Studies.Spector2016
-- Theories: IBR
import Linglib.Theories.Pragmatics.IBR.Core
import Linglib.Theories.Pragmatics.IBR.Convergence
import Linglib.Theories.Pragmatics.IBR.ScalarGames
import Linglib.Theories.Pragmatics.IBR.RSABridge
-- Theories: RSA
import Linglib.Theories.Pragmatics.RSA.BToM
import Linglib.Theories.Pragmatics.RSA.Speaker.CombinedUtility
import Linglib.Theories.Pragmatics.RSA.Defs
import Linglib.Theories.Pragmatics.RSA.Basic
import Linglib.Theories.Pragmatics.RSA.Operators
import Linglib.Theories.Pragmatics.RSA.Monotonicity
import Linglib.Theories.Pragmatics.RSA.Compositional
import Linglib.Theories.Pragmatics.RSA.EmbeddedSI
import Linglib.Theories.Pragmatics.RSA.Channel
import Linglib.Theories.Pragmatics.RSA.Ranking
import Linglib.Theories.Pragmatics.RSA.Limits
import Linglib.Theories.Pragmatics.RSA.Speaker.Discrimination
import Linglib.Theories.Pragmatics.RSA.ArgumentativeStrength
import Linglib.Theories.Pragmatics.RSA.Speaker.Noncooperative
import Linglib.Theories.Pragmatics.RSA.InformationTheory
import Linglib.Theories.Pragmatics.RSA.LexicalUncertainty
import Linglib.Theories.Pragmatics.RSA.Sequential
import Linglib.Theories.Pragmatics.RSA.Noisy
import Linglib.Theories.Pragmatics.RSA.Composition
import Linglib.Theories.Pragmatics.RSA.LatentOperators
import Linglib.Phenomena.ArealTypology.Studies.Haspelmath2001
import Linglib.Theories.Diachronic.Areal
import Linglib.Theories.Diachronic.Grammaticalization
import Linglib.Theories.Diachronic.Lexicalization
import Linglib.Theories.Diachronic.ModalChange
import Linglib.Theories.Diachronic.Subjectification
import Linglib.Phenomena.Causation.Studies.BellerGerstenberg2025
import Linglib.Phenomena.Causation.Studies.KonukEtAl2026
import Linglib.Phenomena.Causation.Studies.KoontzGarboden2009
import Linglib.Phenomena.Causation.Studies.Krejci2012
import Linglib.Phenomena.Causation.Studies.Song1996
import Linglib.Phenomena.Causation.Studies.Lewis1973
import Linglib.Phenomena.Causation.Studies.Glass2023
import Linglib.Phenomena.Ellipsis.Studies.BergenGoodman2015
import Linglib.Phenomena.Ellipsis.Studies.Osborne2019
import Linglib.Phenomena.Ellipsis.Studies.Osborne2019Parallelism
import Linglib.Phenomena.Ellipsis.Studies.Steedman2000Gapping
import Linglib.Phenomena.Persuasion.Studies.MacuchSilvaEtAl2024
import Linglib.Phenomena.ScalarImplicatures.Studies.Franke2011
import Linglib.Phenomena.Dialogue.Studies.HardingGerstenbergIcard2025
import Linglib.Phenomena.Dialogue.Studies.Ginzburg2012
import Linglib.Phenomena.Dialogue.Studies.PurverGinzburg2004
-- Nouwen2024RSA merged into Nouwen2024
import Linglib.Phenomena.Quantification.Studies.Steedman2000
import Linglib.Phenomena.Negation.Studies.TesslerFranke2020
import Linglib.Phenomena.Generics.Studies.TesslerGoodman2019
import Linglib.Phenomena.Gradability.Studies.TesslerGoodman2022
import Linglib.Phenomena.Gradability.Studies.Horn1984
import Linglib.Phenomena.Gradability.Studies.Kennedy2007Licensing
import Linglib.Phenomena.Gradability.Studies.Morzycki2009
import Linglib.Phenomena.Gradability.Studies.Rouillard2026
import Linglib.Phenomena.Gradability.Studies.DAmbrosioHedden2024
import Linglib.Phenomena.Gradability.Studies.Sassoon2013
import Linglib.Phenomena.Gradability.Studies.Solt2018Multidim
import Linglib.Phenomena.Gradability.Studies.Solt2018Proportional
import Linglib.Phenomena.Gradability.Studies.Tham2025
import Linglib.Phenomena.Gradability.Studies.Beltrama2025
import Linglib.Phenomena.Gradability.Studies.WaldonEtAl2023
import Linglib.Phenomena.Gradability.Studies.RudolphKocurek2024
import Linglib.Phenomena.Reference.Studies.WaldonDegen2021
import Linglib.Phenomena.Reference.Studies.SchlotterbeckWang2023
import Linglib.Phenomena.Reference.Studies.Elbourne2013
import Linglib.Phenomena.Reference.Studies.Longobardi2005
import Linglib.Phenomena.Reference.Studies.Zimmermann2026
import Linglib.Phenomena.Indefinites.Studies.Bubnov2026
import Linglib.Phenomena.Indefinites.Studies.Dekier2021
import Linglib.Phenomena.Reference.Studies.AhnKocabDavidson2026
import Linglib.Phenomena.Binominals.Studies.TenWolde2023
import Linglib.Theories.Dialogue.Stalnaker
import Linglib.Theories.Dialogue.ReasonableInference
import Linglib.Theories.Dialogue.FarkasBruce
import Linglib.Theories.Dialogue.FarkasAdapter
import Linglib.Theories.Dialogue.QuotationFBOntology
import Linglib.Theories.Dialogue.Krifka
import Linglib.Theories.Dialogue.Brandom
import Linglib.Theories.Dialogue.Gunlogson
import Linglib.Theories.Dialogue.Lauer
import Linglib.Theories.Dialogue.DisjunctiveUpdate
-- Theories: Dialogue (KOS)
import Linglib.Theories.Dialogue.KOS.Defs
import Linglib.Theories.Dialogue.KOS.Move
import Linglib.Theories.Dialogue.KOS.Basic
import Linglib.Theories.Dialogue.KOS.InquiryCycle
import Linglib.Theories.Dialogue.KOS.Genre
import Linglib.Theories.Dialogue.KOS.Grounding
import Linglib.Theories.Dialogue.KOS.SelfRepair
import Linglib.Theories.Dialogue.KOS.NSUTaxonomy
import Linglib.Theories.Dialogue.KOS.Examples
import Linglib.Theories.Dialogue.KOS.Grammar
import Linglib.Theories.Dialogue.KOS.RepriseContent
import Linglib.Theories.Dialogue.KOS.Austinian
import Linglib.Theories.Dialogue.KOS.CooperInfoState
-- Theories: Phonology
import Linglib.Theories.Phonology.Featural.Features
import Linglib.Theories.Phonology.Featural.Geometry
import Linglib.Theories.Phonology.Featural.ComplexSegments
import Linglib.Theories.Phonology.Featural.Bundle
import Linglib.Theories.Phonology.Featural.ElementTheory
import Linglib.Theories.Phonology.Autosegmental.Defs
import Linglib.Theories.Phonology.Autosegmental.RegisterTier
import Linglib.Theories.Phonology.Autosegmental.GrammaticalTone
import Linglib.Theories.Phonology.Autosegmental.Floating
import Linglib.Theories.Phonology.Tier
import Linglib.Theories.Phonology.OCPMerger
import Linglib.Theories.Phonology.Government.StrictCV
import Linglib.Theories.Phonology.Tone.Constraints
import Linglib.Theories.Phonology.Autosegmental.BasemapCorrespondence
import Linglib.Theories.Phonology.Autosegmental.CoPScope
import Linglib.Theories.Phonology.Prosodic.Syllable.Defs
import Linglib.Theories.Phonology.Prosodic.Syllable.Foot
import Linglib.Theories.Phonology.Prosodic.Syllable.NaturalClass
import Linglib.Theories.Phonology.Prosodic.Moraic.Defs
import Linglib.Theories.Phonology.Prosodic.Moraic.CompensatoryLengthening
import Linglib.Theories.Phonology.Prosodic.Accent
import Linglib.Theories.Phonology.Prosodic.Word
import Linglib.Theories.Phonology.Prosodic.Templates
import Linglib.Theories.Phonology.Process.LocalRewrite
import Linglib.Theories.Phonology.Process.Alternation
import Linglib.Theories.Phonology.Process.Harmony.Defs
import Linglib.Theories.Phonology.Process.Harmony.OT
import Linglib.Theories.Phonology.OptimalityTheory.Constraints
import Linglib.Theories.Phonology.OptimalityTheory.Correspondence
import Linglib.Theories.Phonology.OptimalityTheory.TCT
import Linglib.Theories.Phonology.OptimalityTheory.StratalCorr
import Linglib.Theories.Phonology.ParadigmUniformity.Defs
import Linglib.Theories.Phonology.ParadigmUniformity.OptimalParadigms
import Linglib.Theories.Phonology.ParadigmUniformity.LexicalConservatism
import Linglib.Theories.Phonology.ParadigmUniformity.Antifaithfulness
import Linglib.Theories.Phonology.ParadigmUniformity.Transderivational
import Linglib.Theories.Phonology.OptimalityTheory.StratalOT
import Linglib.Theories.Phonology.OptimalityTheory.CophonologyTheory
import Linglib.Theories.Phonology.OptimalityTheory.Doubling
import Linglib.Theories.Phonology.Subregular.TierProjection
import Linglib.Theories.Phonology.Subregular.ForbidPairs
import Linglib.Theories.Phonology.Subregular.OCP
import Linglib.Theories.Phonology.Subregular.Agree
import Linglib.Theories.Phonology.LexicalFrequency.Defs
import Linglib.Theories.Phonology.LexicalFrequency.IndexedConstraints
import Linglib.Theories.Phonology.LexicalFrequency.RepresentationStrength
import Linglib.Theories.Phonology.LexicalFrequency.ScaledWeights
import Linglib.Theories.Phonology.LexicalFrequency.Separation
import Linglib.Theories.Phonology.LexicalFrequency.UseListed
-- Theories: Sociolinguistics
import Linglib.Theories.Sociolinguistics.PropertySpace
import Linglib.Theories.Sociolinguistics.SCM
import Linglib.Theories.Sociolinguistics.EckertMontague
import Linglib.Theories.Sociolinguistics.SocialMeaningGame
-- Theories: SDS
import Linglib.Theories.Semantics.Probabilistic.SDS.ConceptNode
import Linglib.Theories.Semantics.Probabilistic.SDS.Core
import Linglib.Theories.Semantics.Probabilistic.SDS.GraphicalModel
import Linglib.Theories.Semantics.Probabilistic.SDS.JointPosterior
import Linglib.Theories.Semantics.Probabilistic.SDS.Marginalization
import Linglib.Theories.Semantics.Probabilistic.SDS.MeasureTheory
import Linglib.Theories.Semantics.Probabilistic.SDS.ScenarioMix
import Linglib.Theories.Semantics.Probabilistic.SDS.ThresholdInstances
import Linglib.Theories.Semantics.Probabilistic.SDS.ThresholdSemantics
-- Storment2026 mathlib-style refactor: VerbCore↔smuggling bridge,
-- Probing primitives (Roberts 2010, Storment 2025), InverseVoice family,
-- and three meta-bridges in Unaccusativity/.
import Linglib.Theories.Interfaces.SyntaxSemantics.VerbSmuggling
import Linglib.Theories.Syntax.Minimalist.Probing.DefectiveGoal
import Linglib.Theories.Syntax.Minimalist.Probing.DefectiveCircumvention
import Linglib.Theories.Syntax.Minimalist.Movement.InverseVoice
import Linglib.Phenomena.ArgumentStructure.Unaccusativity.ProtoRoles
import Linglib.Phenomena.ArgumentStructure.Unaccusativity.VerbClasses
import Linglib.Phenomena.ArgumentStructure.Unaccusativity.IslandSensitivity
-- Pylkkänen ↔ Collins/Storment Voice contrast: first divergence meta-bridge
-- under the cross-theory meta-bridges convention.
import Linglib.Theories.Syntax.Minimalist.VoiceProjection