-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathLinglib.lean
More file actions
2274 lines (2273 loc) · 115 KB
/
Linglib.lean
File metadata and controls
2274 lines (2273 loc) · 115 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
/-
# Linglib
A Lean 4 library for formal linguistics, covering semantics, pragmatics,
and their interfaces. See README.md for documentation links.
-/
-- Core
import Linglib.Core.Gender
import Linglib.Core.Lexical.Word
import Linglib.Core.Lexical.PolarityItem
import Linglib.Core.Grammar
import Linglib.Core.Lexical.Pronouns
import Linglib.Core.Logic.Truth3
import Linglib.Core.Logic.Consequence
import Linglib.Core.Logic.ThreeValuedLogic
import Linglib.Core.Empirical
import Linglib.Core.Semantics.Proposition
import Linglib.Core.Semantics.ParameterizedUpdate
import Linglib.Core.Lexical.UD
import Linglib.Core.Tree
import Linglib.Core.Coordination
import Linglib.Core.Logic.Duality
import Linglib.Core.Logic.NonBivalence
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.PolarizedIndividuals
import Linglib.Core.Logic.SquareOfOpposition
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.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.Situations
import Linglib.Core.Logic.BeliefRevision
import Linglib.Core.Order.Normality
import Linglib.Core.Order.Plausibility
import Linglib.Core.Order.Satisfaction
import Linglib.Core.Order.FeaturePreorder
import Linglib.Core.Logic.RankingFunction
import Linglib.Core.Logic.SystemZ
import Linglib.Core.Register
import Linglib.Core.SocialMeaning
import Linglib.Core.Conjectures
import Linglib.Core.Semantics.CommonGround
import Linglib.Core.Parse
import Linglib.Core.Semantics.Presupposition
import Linglib.Core.Semantics.PresuppositionContext
import Linglib.Core.Semantics.Postsupposition
import Linglib.Core.Semantics.ContentLayer
import Linglib.Core.Agent.ProductOfExperts
import Linglib.Core.Partition
import Linglib.Core.Negation
import Linglib.Core.Polarity
import Linglib.Core.PolarityPartition
import Linglib.Core.PropertyDomain
import Linglib.Core.Modality.ModalIndefinite
import Linglib.Core.Modality.ModalBaseKind
import Linglib.Core.Modality.ModalTypes
import Linglib.Core.SelectionFunction
import Linglib.Core.QUD.Basic
import Linglib.Core.QUD.PrecisionProjection
import Linglib.Core.QUD.Relevance
import Linglib.Core.InfoState
import Linglib.Core.Inquisitive
import Linglib.Core.Issue.Basic
import Linglib.Core.Issue.Hamblin
import Linglib.Core.Issue.Partition
import Linglib.Core.Issue.Answerhood
import Linglib.Core.Issue.Granularity
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.Core.CoreferenceStatus
import Linglib.Core.BindingSemantics
import Linglib.Core.CombinationKind
import Linglib.Core.AssertionTypes
import Linglib.Core.ImplicatureTypes
import Linglib.Core.FelicityTypes
import Linglib.Core.ScopeTypes
import Linglib.Core.ExtractionMorphology
import Linglib.Core.VoiceSystem
import Linglib.Core.Alternation
import Linglib.Core.StructuralEquationModel
import Linglib.Core.CausalBayesNet
import Linglib.Core.NestedRestriction
import Linglib.Core.Lexical.RootFeatures
import Linglib.Core.Lexical.VerbClass
import Linglib.Core.Lexical.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.Logic.ConstraintEvaluation
import Linglib.Core.Logic.OT
import Linglib.Core.OT.Defs
import Linglib.Core.OT.ERC
import Linglib.Core.OT.Antimatroid
import Linglib.Core.OT.ERCAntimatroid
import Linglib.Core.Agent.DecisionTheory
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.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.NormalCDF
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.Core.GameTheory
import Linglib.Core.Evidence
import Linglib.Core.Epistemicity
import Linglib.Core.Logophoricity
import Linglib.Core.Temporal.Time
import Linglib.Core.Temporal.Allen
import Linglib.Core.Temporal.OrientationTime
import Linglib.Core.Temporal.Domain
import Linglib.Core.Temporal.RelationOrigin
import Linglib.Core.Temporal.System
import Linglib.Core.Temporal.Reichenbach
import Linglib.Core.Temporal.Tense
import Linglib.Core.Context.Basic
import Linglib.Core.Context.Tower
import Linglib.Core.Context.Shifts
import Linglib.Core.Context.Rich
import Linglib.Core.InformationStructure
import Linglib.Core.Prosody
import Linglib.Core.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.Core.IndefiniteType
import Linglib.Core.SpecificityCondition
import Linglib.Core.Prominence
import Linglib.Core.FormFrequency
import Linglib.Core.Genericity
import Linglib.Core.FormalLanguage
import Linglib.Core.StringHom
import Linglib.Core.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.Morphology.Containment
import Linglib.Theories.Interfaces.Morphosyntax.CaseContainment
import Linglib.Theories.Interfaces.Morphosyntax.DegreeContainment
import Linglib.Core.Relativization.Basic
import Linglib.Core.Relativization.Extraction
import Linglib.Core.Relativization.Hierarchy
import Linglib.Core.Lexical.NounCategorization
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.Core.ContentIndividual
import Linglib.Core.Agent.BToM
import Linglib.Core.Agent.Emotion
import Linglib.Core.Path
import Linglib.Core.Assignment
import Linglib.Core.Continuation
import Linglib.Core.CylindricAlgebra
import Linglib.Core.CylindricAlgebra.VarAssignment
import Linglib.Core.CylindricAlgebra.DynamicSemantics
import Linglib.Core.PrivativePair
import Linglib.Core.Person
import Linglib.Theories.Interfaces.SyntaxSemantics.Minimalism.PhiSemantics
import Linglib.Core.Number
import Linglib.Core.Lexical.MorphRule
import Linglib.Core.Lexical.Binominal
import Linglib.Core.Efficiency
import Linglib.Core.SearchEfficiency
import Linglib.Core.InformationTheory
import Linglib.Core.Distributions
import Linglib.Core.FinitePMF
import Linglib.Core.Divergence
import Linglib.Core.ChannelCapacity
import Linglib.Core.Inheritance
import Linglib.Core.Morphology.MorphProfile
import Linglib.Core.Morphology.Wordhood
import Linglib.Core.Morphology.FormMeaningMapping
import Linglib.Core.Morphology.ConsonantalRoot
import Linglib.Theories.Morphology.Core.Circumfix
import Linglib.Theories.Morphology.Core.Exponence
import Linglib.Theories.Morphology.Core.MirrorPrinciple
import Linglib.Theories.Morphology.Core.Monotonicity
import Linglib.Theories.Morphology.Core.ScaleFromParadigm
import Linglib.Theories.Morphology.Core.WordStructure
import Linglib.Theories.Morphology.Derivation.Operator
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.Interval.QInterval
import Linglib.Core.Interval.PadeExp
import Linglib.Core.Interval.RpowInterval
import Linglib.Core.Interval.LogInterval
import Linglib.Core.Interval.SqrtInterval
import Linglib.Core.Modality.DeonticNecessity
import Linglib.Core.SubjectProperties
import Linglib.Core.NullSubject.Basic
import Linglib.Core.NullSubject.Defs
import Linglib.Core.NullSubject.Universals
import Linglib.Core.Subjectivity
import Linglib.Core.WALS.Datapoint
import Linglib.Core.WALS.Languages
import Linglib.Core.WALS.Features.F1A
import Linglib.Core.WALS.Features.F2A
import Linglib.Core.WALS.Features.F3A
import Linglib.Core.WALS.Features.F4A
import Linglib.Core.WALS.Features.F5A
import Linglib.Core.WALS.Features.F6A
import Linglib.Core.WALS.Features.F7A
import Linglib.Core.WALS.Features.F8A
import Linglib.Core.WALS.Features.F9A
import Linglib.Core.WALS.Features.F10A
import Linglib.Core.WALS.Features.F10B
import Linglib.Core.WALS.Features.F11A
import Linglib.Core.WALS.Features.F12A
import Linglib.Core.WALS.Features.F13A
import Linglib.Core.WALS.Features.F14A
import Linglib.Core.WALS.Features.F15A
import Linglib.Core.WALS.Features.F16A
import Linglib.Core.WALS.Features.F17A
import Linglib.Core.WALS.Features.F18A
import Linglib.Core.WALS.Features.F19A
import Linglib.Core.WALS.Features.F20A
import Linglib.Core.WALS.Features.F21A
import Linglib.Core.WALS.Features.F21B
import Linglib.Core.WALS.Features.F22A
import Linglib.Core.WALS.Features.F23A
import Linglib.Core.WALS.Features.F24A
import Linglib.Core.WALS.Features.F25A
import Linglib.Core.WALS.Features.F25B
import Linglib.Core.WALS.Features.F26A
import Linglib.Core.WALS.Features.F27A
import Linglib.Core.WALS.Features.F28A
import Linglib.Core.WALS.Features.F29A
import Linglib.Core.WALS.Features.F30A
import Linglib.Core.WALS.Features.F31A
import Linglib.Core.WALS.Features.F32A
import Linglib.Core.WALS.Features.F33A
import Linglib.Core.WALS.Features.F34A
import Linglib.Core.WALS.Features.F35A
import Linglib.Core.WALS.Features.F36A
import Linglib.Core.WALS.Features.F37A
import Linglib.Core.WALS.Features.F38A
import Linglib.Core.WALS.Features.F39A
import Linglib.Core.WALS.Features.F39B
import Linglib.Core.WALS.Features.F40A
import Linglib.Core.WALS.Features.F41A
import Linglib.Core.WALS.Features.F42A
import Linglib.Core.WALS.Features.F43A
import Linglib.Core.WALS.Features.F44A
import Linglib.Core.WALS.Features.F45A
import Linglib.Core.WALS.Features.F46A
import Linglib.Core.WALS.Features.F47A
import Linglib.Core.WALS.Features.F48A
import Linglib.Core.WALS.Features.F49A
import Linglib.Core.WALS.Features.F50A
import Linglib.Core.WALS.Features.F51A
import Linglib.Core.WALS.Features.F52A
import Linglib.Core.WALS.Features.F53A
import Linglib.Core.WALS.Features.F54A
import Linglib.Core.WALS.Features.F55A
import Linglib.Core.WALS.Features.F56A
import Linglib.Core.WALS.Features.F57A
import Linglib.Core.WALS.Features.F58A
import Linglib.Core.WALS.Features.F58B
import Linglib.Core.WALS.Features.F59A
import Linglib.Core.WALS.Features.F60A
import Linglib.Core.WALS.Features.F61A
import Linglib.Core.WALS.Features.F62A
import Linglib.Core.WALS.Features.F63A
import Linglib.Core.WALS.Features.F64A
import Linglib.Core.WALS.Features.F65A
import Linglib.Core.WALS.Features.F66A
import Linglib.Core.WALS.Features.F67A
import Linglib.Core.WALS.Features.F68A
import Linglib.Core.WALS.Features.F69A
import Linglib.Core.WALS.Features.F70A
import Linglib.Core.WALS.Features.F71A
import Linglib.Core.WALS.Features.F72A
import Linglib.Core.WALS.Features.F73A
import Linglib.Core.WALS.Features.F74A
import Linglib.Core.WALS.Features.F75A
import Linglib.Core.WALS.Features.F76A
import Linglib.Core.WALS.Features.F77A
import Linglib.Core.WALS.Features.F78A
import Linglib.Core.WALS.Features.F79A
import Linglib.Core.WALS.Features.F79B
import Linglib.Core.WALS.Features.F80A
import Linglib.Core.WALS.Features.F81A
import Linglib.Core.WALS.Features.F81B
import Linglib.Core.WALS.Features.F82A
import Linglib.Core.WALS.Features.F83A
import Linglib.Core.WALS.Features.F84A
import Linglib.Core.WALS.Features.F85A
import Linglib.Core.WALS.Features.F86A
import Linglib.Core.WALS.Features.F87A
import Linglib.Core.WALS.Features.F88A
import Linglib.Core.WALS.Features.F89A
import Linglib.Core.WALS.Features.F90A
import Linglib.Core.WALS.Features.F90B
import Linglib.Core.WALS.Features.F90C
import Linglib.Core.WALS.Features.F90D
import Linglib.Core.WALS.Features.F90E
import Linglib.Core.WALS.Features.F90F
import Linglib.Core.WALS.Features.F90G
import Linglib.Core.WALS.Features.F91A
import Linglib.Core.WALS.Features.F92A
import Linglib.Core.WALS.Features.F93A
import Linglib.Core.WALS.Features.F94A
import Linglib.Core.WALS.Features.F95A
import Linglib.Core.WALS.Features.F96A
import Linglib.Core.WALS.Features.F97A
import Linglib.Core.WALS.Features.F98A
import Linglib.Core.WALS.Features.F99A
import Linglib.Core.WALS.Features.F100A
import Linglib.Core.WALS.Features.F101A
import Linglib.Core.WALS.Features.F102A
import Linglib.Core.WALS.Features.F103A
import Linglib.Core.WALS.Features.F104A
import Linglib.Core.WALS.Features.F105A
import Linglib.Core.WALS.Features.F106A
import Linglib.Core.WALS.Features.F107A
import Linglib.Core.WALS.Features.F108A
import Linglib.Core.WALS.Features.F108B
import Linglib.Core.WALS.Features.F109A
import Linglib.Core.WALS.Features.F109B
import Linglib.Core.WALS.Features.F110A
import Linglib.Core.WALS.Features.F111A
import Linglib.Core.WALS.Features.F112A
import Linglib.Core.WALS.Features.F113A
import Linglib.Core.WALS.Features.F114A
import Linglib.Core.WALS.Features.F115A
import Linglib.Core.WALS.Features.F116A
import Linglib.Core.WALS.Features.F117A
import Linglib.Core.WALS.Features.F118A
import Linglib.Core.WALS.Features.F119A
import Linglib.Core.WALS.Features.F120A
import Linglib.Core.WALS.Features.F121A
import Linglib.Core.WALS.Features.F122A
import Linglib.Core.WALS.Features.F123A
import Linglib.Core.WALS.Features.F124A
import Linglib.Core.WALS.Features.F125A
import Linglib.Core.WALS.Features.F126A
import Linglib.Core.WALS.Features.F127A
import Linglib.Core.WALS.Features.F128A
import Linglib.Core.WALS.Features.F129A
import Linglib.Core.WALS.Features.F130A
import Linglib.Core.WALS.Features.F130B
import Linglib.Core.WALS.Features.F131A
import Linglib.Core.WALS.Features.F132A
import Linglib.Core.WALS.Features.F133A
import Linglib.Core.WALS.Features.F134A
import Linglib.Core.WALS.Features.F135A
import Linglib.Core.WALS.Features.F136A
import Linglib.Core.WALS.Features.F136B
import Linglib.Core.WALS.Features.F137A
import Linglib.Core.WALS.Features.F137B
import Linglib.Core.WALS.Features.F138A
import Linglib.Core.WALS.Features.F139A
import Linglib.Core.WALS.Features.F140A
import Linglib.Core.WALS.Features.F141A
import Linglib.Core.WALS.Features.F142A
import Linglib.Core.WALS.Features.F143A
import Linglib.Core.WALS.Features.F143B
import Linglib.Core.WALS.Features.F143C
import Linglib.Core.WALS.Features.F143D
import Linglib.Core.WALS.Features.F143E
import Linglib.Core.WALS.Features.F143F
import Linglib.Core.WALS.Features.F143G
import Linglib.Core.WALS.Features.F144A
import Linglib.Core.WALS.Features.F144B
import Linglib.Core.WALS.Features.F144C
import Linglib.Core.WALS.Features.F144D
import Linglib.Core.WALS.Features.F144E
import Linglib.Core.WALS.Features.F144F
import Linglib.Core.WALS.Features.F144G
import Linglib.Core.WALS.Features.F144H
import Linglib.Core.WALS.Features.F144I
import Linglib.Core.WALS.Features.F144J
import Linglib.Core.WALS.Features.F144K
import Linglib.Core.WALS.Features.F144L
import Linglib.Core.WALS.Features.F144M
import Linglib.Core.WALS.Features.F144N
import Linglib.Core.WALS.Features.F144O
import Linglib.Core.WALS.Features.F144P
import Linglib.Core.WALS.Features.F144Q
import Linglib.Core.WALS.Features.F144R
import Linglib.Core.WALS.Features.F144S
import Linglib.Core.WALS.Features.F144T
import Linglib.Core.WALS.Features.F144U
import Linglib.Core.WALS.Features.F144V
import Linglib.Core.WALS.Features.F144W
import Linglib.Core.WALS.Features.F144X
import Linglib.Core.WALS.Features.F144Y
import Linglib.Tactics.NonnegOfForall
import Linglib.Tactics.RSAPredict
import Linglib.Tactics.OntSort
import Linglib.Tactics.NgeFS
import Linglib.Tactics.CancelFin4
-- Fragments
import Linglib.Fragments.Arabic.Relativization
import Linglib.Fragments.Arabic.Morph
import Linglib.Fragments.ASL.Classifiers
import Linglib.Fragments.ASL.Height
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.Danish.V2
import Linglib.Fragments.Norwegian.V2
import Linglib.Fragments.English.Definiteness
import Linglib.Fragments.English.Determiners
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.Lexicon
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.Pronouns
import Linglib.Fragments.English.PropositionalLexemes
import Linglib.Fragments.English.Scales
import Linglib.Fragments.English.Tense
import Linglib.Fragments.English.TemporalDeictic
import Linglib.Fragments.English.Will
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.Bulgarian.Evidentials
import Linglib.Fragments.Czech.Case
import Linglib.Fragments.Czech.Determiners
import Linglib.Fragments.Czech.Particles
import Linglib.Fragments.Czech.Reciprocals
import Linglib.Fragments.Czech.Negation
import Linglib.Fragments.Drubea.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.Gender
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.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.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.Negation
import Linglib.Fragments.Greek.Nouns
import Linglib.Fragments.Greek.TemporalConnectives
import Linglib.Fragments.Greek.TemporalDeictic
import Linglib.Fragments.Greek.Reciprocals
import Linglib.Fragments.Greek.AdjAgreement
import Linglib.Fragments.Greek.Modals
import Linglib.Fragments.Greek.MoodChoice
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.Urdu.CausativeSystem
import Linglib.Fragments.Thai.Definiteness
import Linglib.Fragments.Thai.Morph
import Linglib.Fragments.Indonesian.Morph
import Linglib.Fragments.Indonesian.VoiceSystem
import Linglib.Fragments.Indonesian.Morphophonology
import Linglib.Fragments.Indonesian.Predicates
import Linglib.Fragments.Malayic.VoiceSystem
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.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.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.French.Binominals
import Linglib.Fragments.French.Modals
import Linglib.Fragments.French.Nouns
import Linglib.Fragments.French.Predicates
import Linglib.Fragments.French.Negation
import Linglib.Fragments.French.ModalIndefinites
import Linglib.Fragments.French.Reciprocals
import Linglib.Fragments.French.PolarityMarking
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.Latvian.IndeterminatePronouns
import Linglib.Fragments.Japanese.Case
import Linglib.Fragments.Japanese.Comparison
import Linglib.Fragments.Japanese.Coordination
import Linglib.Fragments.Japanese.Determiners
import Linglib.Fragments.Japanese.Classifiers
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.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.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.Manambu.MedialVerbs
import Linglib.Fragments.Nungon.MedialVerbs
import Linglib.Fragments.Burmese.Negation
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.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.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.Maithili.Pronouns
import Linglib.Fragments.Punjabi.Pronouns
import Linglib.Fragments.Russian.Case
import Linglib.Fragments.Russian.DiscourseParticles
import Linglib.Fragments.Russian.TemporalDeictic
import Linglib.Fragments.Russian.Reciprocals
import Linglib.Fragments.Russian.Morph
import Linglib.Fragments.Russian.Negation
import Linglib.Fragments.Russian.AdjAgreement
import Linglib.Fragments.Russian.Possession
import Linglib.Fragments.Russian.Gender
import Linglib.Fragments.Serbian.Case
import Linglib.Fragments.Serbian.TemporalConnectives
import Linglib.Fragments.Singlish.Questions
import Linglib.Fragments.Slovenian.Case
import Linglib.Fragments.Slovenian.QuestionParticles
import Linglib.Fragments.Pipil.AuxiliaryVerbs
import Linglib.Fragments.Polish.Case
import Linglib.Fragments.Polish.QuestionParticles
import Linglib.Fragments.Ukrainian.Case
import Linglib.Fragments.Ukrainian.QuestionParticles
import Linglib.Fragments.Tagalog.TemporalConnectives
import Linglib.Fragments.Tagalog.Morph
import Linglib.Fragments.Tagalog.Phonology
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.Swahili.Morph
import Linglib.Fragments.Swahili.Relativization
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.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.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.Agreement
import Linglib.Fragments.Mayan.Kiche.ExtractionMorphology
import Linglib.Fragments.Mayan.Kiche.VoiceSystem
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.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.Russian.PolarityItems
import Linglib.Fragments.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.Thai.PolarityItems
import Linglib.Fragments.Tagalog.PolarityItems
import Linglib.Fragments.Swahili.PolarityItems
-- Phenomena
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.Focus.AdditiveParticles.Data
import Linglib.Phenomena.Focus.AdditiveParticles.Studies.Thomas2026
import Linglib.Phenomena.Focus.AdditiveParticles.Studies.Ahn2015
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.Case.Data
import Linglib.Phenomena.Case.Typology
import Linglib.Phenomena.Case.Studies.Caha2009
import Linglib.Phenomena.Case.Studies.Scott2023
import Linglib.Phenomena.Case.Studies.Ozaki2026
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.Phenomena.ClauseChaining.Typology
import Linglib.Phenomena.ClauseChaining.Data
import Linglib.Phenomena.ClauseChaining.Studies.SarvasyAikhenvald2025
import Linglib.Phenomena.Copulas.Typology
import Linglib.Phenomena.Copulas.Studies.Partee1987
import Linglib.Phenomena.Copulas.Studies.Elbourne2026
import Linglib.Phenomena.Copulas.Studies.Romero2005
import Linglib.Phenomena.Complementation.Attitudes.IntensionalExamples
import Linglib.Phenomena.Complementation.Attitudes.IntentionalIdentity.Data
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.DGNominal
import Linglib.Phenomena.Anaphora.Studies.HPSGCoreference
import Linglib.Phenomena.Anaphora.Studies.BakayEtAl2026
import Linglib.Phenomena.Anaphora.Studies.MinimalismCoreference
import Linglib.Phenomena.Anaphora.Studies.Cooper2023
import Linglib.Phenomena.Anaphora.Studies.Heim1982
import Linglib.Phenomena.Anaphora.Studies.KampReyle1993
import Linglib.Phenomena.Anaphora.Studies.KeshetAbney2024
import Linglib.Phenomena.Anaphora.Studies.AbneyKeshet2025
import Linglib.Phenomena.Anaphora.Coreference
import Linglib.Phenomena.Anaphora.CrossSentential
import Linglib.Phenomena.Anaphora.DonkeyAnaphora
import Linglib.Phenomena.Anaphora.Typology
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.Typology
import Linglib.Phenomena.Ergativity.Basic
import Linglib.Phenomena.Ergativity.Studies.CoonMateoPedroPreminger2014
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.Typology
import Linglib.Phenomena.ArgumentStructure.Unaccusativity.Data
import Linglib.Phenomena.ArgumentStructure.Studies.Storment2026
import Linglib.Phenomena.ArgumentStructure.DiathesisAlternations.Data
import Linglib.Phenomena.ArgumentStructure.Studies.Levin1993
import Linglib.Phenomena.ArgumentStructure.Studies.CCGSubcategorization
import Linglib.Phenomena.ArgumentStructure.Studies.MinimalismSubcategorization
import Linglib.Phenomena.ArgumentStructure.Studies.Osborne2019
import Linglib.Phenomena.ArgumentStructure.Studies.TheoryComparison
import Linglib.Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026
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.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.Modality.Studies.Hacquard2006
import Linglib.Phenomena.Modality.Studies.Hacquard2010
import Linglib.Phenomena.TenseAspect.Studies.Zhao2025
import Linglib.Phenomena.TenseAspect.Studies.Rothstein2004
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.Anderson2006
import Linglib.Phenomena.AuxiliaryVerbs.Studies.Sorace2000
import Linglib.Phenomena.AuxiliaryVerbs.Typology
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.Data
import Linglib.Phenomena.Conditionals.LeftNested.Data
import Linglib.Phenomena.Conditionals.Studies.Lassiter2025
import Linglib.Phenomena.Conditionals.Studies.GrusdtLassiterFranke2022
import Linglib.Phenomena.Conditionals.Studies.RamotowskaEtAl2025
import Linglib.Phenomena.Conditionals.Studies.EvcenBaleBarner2026
import Linglib.Phenomena.Conditionals.Studies.Iatridou2000
import Linglib.Phenomena.Conditionals.Studies.Mizuno2024
import Linglib.Phenomena.Conditionals.Studies.ZaniCiardelliSanfelici2026
import Linglib.Phenomena.Conditionals.Studies.Belnap1970
import Linglib.Phenomena.Conditionals.Studies.McKayVanInwagen1977
import Linglib.Phenomena.Conditionals.Studies.Stalnaker1981
import Linglib.Phenomena.Conditionals.Studies.Stalnaker1975
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.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.Attitudes.ConjunctionDistribution.Data
import Linglib.Phenomena.Complementation.Studies.Noonan2007
import Linglib.Phenomena.Complementation.Typology
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.Causation.Studies.BeaversEtAl2021
import Linglib.Phenomena.Causation.Typology
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.Data
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.Typology
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