-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathLinglib.lean
More file actions
2932 lines (2932 loc) · 124 KB
/
Copy pathLinglib.lean
File metadata and controls
2932 lines (2932 loc) · 124 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.
import Linglib.Core.Algebra.FreeMonoid.Destutter
import Linglib.Core.Algebra.FreeMonoid.FreeSemigroup
import Linglib.Core.Algebra.Group.Aperiodic
import Linglib.Core.Algebra.Group.End
import Linglib.Core.Algebra.Group.Idempotent
import Linglib.Core.Algebra.Group.Pseudovariety
import Linglib.Core.Algebra.Group.Submonoid.Operations
import Linglib.Core.Algebra.Group.Subquotient
import Linglib.Core.Algebra.Group.WithOne
import Linglib.Core.Algebra.IdempotentPower
import Linglib.Core.Algebra.Opposites
import Linglib.Core.Algebra.Order.ToIntervalMod
import Linglib.Core.Algebra.PreLie.GuinOudom
import Linglib.Core.Algebra.PreLie.OudomGuinCirc
import Linglib.Core.Algebra.PreLie.OudomGuinCircConstruct
import Linglib.Core.Algebra.PreLie.OudomGuinCircTotal
import Linglib.Core.Algebra.RootedTree.BMinus
import Linglib.Core.Algebra.RootedTree.BirkhoffFactorization
import Linglib.Core.Algebra.RootedTree.BirkhoffFactorizationSemiring
import Linglib.Core.Algebra.RootedTree.BirkhoffLaurent
import Linglib.Core.Algebra.RootedTree.ConnesKreimer
import Linglib.Core.Algebra.RootedTree.Coproduct.CutAvoidingNonplanar
import Linglib.Core.Algebra.RootedTree.Coproduct.Defs
import Linglib.Core.Algebra.RootedTree.Coproduct.DeletionNonplanar
import Linglib.Core.Algebra.RootedTree.Coproduct.GenericNonplanar
import Linglib.Core.Algebra.RootedTree.Coproduct.Pruning
import Linglib.Core.Algebra.RootedTree.Coproduct.PruningDuality
import Linglib.Core.Algebra.RootedTree.Coproduct.PruningNonplanar
import Linglib.Core.Algebra.RootedTree.Coproduct.Trace
import Linglib.Core.Algebra.RootedTree.Coproduct.TraceCoassoc
import Linglib.Core.Algebra.RootedTree.Coproduct.TraceNonplanar
import Linglib.Core.Algebra.RootedTree.DysonSchwinger
import Linglib.Core.Algebra.RootedTree.FormSet
import Linglib.Core.Algebra.RootedTree.GrossmanLarson
import Linglib.Core.Algebra.RootedTree.GrossmanLarsonAssoc
import Linglib.Core.Algebra.RootedTree.GrossmanLarsonMonoid
import Linglib.Core.Algebra.RootedTree.GrossmanLarsonPairing
import Linglib.Core.Algebra.RootedTree.GrossmanLarsonSplit
import Linglib.Core.Algebra.RootedTree.HopfAlgebraNonplanar
import Linglib.Core.Algebra.RootedTree.InsertionLieDuality
import Linglib.Core.Algebra.RootedTree.PreLie.Basic
import Linglib.Core.Algebra.RootedTree.PreLie.Graft
import Linglib.Core.Algebra.RootedTree.PreLie.Insert
import Linglib.Core.Algebra.RootedTree.PreLie.InsertSum
import Linglib.Core.Algebra.RootedTree.PreLie.Insertion
import Linglib.Core.Algebra.RootedTree.PreLie.InsertionAddHost
import Linglib.Core.Algebra.RootedTree.PreLie.InsertionCompose
import Linglib.Core.Algebra.RootedTree.PreLie.InsertionNodeDecomp
import Linglib.Core.Algebra.RootedTree.PreLie.InsertionNonplanar
import Linglib.Core.Algebra.RootedTree.PreLie.OudomGuinBridge
import Linglib.Core.Algebra.RootedTree.PreLie.OudomGuinBridgePairing
import Linglib.Core.Algebra.RootedTree.PreLie.Path
import Linglib.Core.Algebra.RotaBaxter
import Linglib.Core.Algebra.RotaBaxterLaurent
import Linglib.Core.Algebra.Semigroup.IdempotentPower
import Linglib.Core.Algebra.Semigroup.Pseudovariety
import Linglib.Core.Analysis.Convex.Function
import Linglib.Core.Analysis.LeastSquares
import Linglib.Core.Analysis.SpecialFunctions.Log.NegMulLog
import Linglib.Core.Categorical.AgentCat
import Linglib.Core.Categorical.PartitionCat
import Linglib.Core.CategoryTheory.Monoidal.LabeledTuple
import Linglib.Core.Combinatorics.Antimatroid
import Linglib.Core.Combinatorics.RootedTree.Aut
import Linglib.Core.Combinatorics.RootedTree.ContractUnary
import Linglib.Core.Computability.Bimachine
import Linglib.Core.Computability.ContextFreeGrammar.Closure
import Linglib.Core.Computability.ContextFreeGrammar.InterRegular
import Linglib.Core.Computability.ContextFreeGrammar.Map
import Linglib.Core.Computability.ContextFreeGrammar.Pumping
import Linglib.Core.Computability.ContextFreeGrammar.Tree
import Linglib.Core.Computability.ContextFreeGrammar.Weighted
import Linglib.Core.Computability.Definite
import Linglib.Core.Computability.ElgotMezei
import Linglib.Core.Computability.Lens
import Linglib.Core.Computability.Mealy
import Linglib.Core.Computability.MyhillNerode
import Linglib.Core.Computability.NonContextFree.AmBnCmDn
import Linglib.Core.Computability.NonContextFree.AnBnCn
import Linglib.Core.Computability.NonContextFree.AnBnCnDn
import Linglib.Core.Computability.NonContextFree.BlockWitness
import Linglib.Core.Computability.NonRegular.AnBn
import Linglib.Core.Computability.PiecewiseTestable
import Linglib.Core.Computability.ScanDirection
import Linglib.Core.Computability.ShuffleIdeal
import Linglib.Core.Computability.StarFree
import Linglib.Core.Computability.Subsequential
import Linglib.Core.Computability.SyntacticMonoid
import Linglib.Core.Computability.SyntacticSemigroup
import Linglib.Core.Computability.TransitionMonoid
import Linglib.Core.Computability.Variety.Correspondence
import Linglib.Core.Computability.Variety.Equations
import Linglib.Core.Computability.Variety.Langs
import Linglib.Core.Computability.Variety.OmegaEquations
import Linglib.Core.Computability.Variety.Definite
import Linglib.Core.Computability.Variety.SemigroupLangs
import Linglib.Core.Data.Fin.Tuple.Basic
import Linglib.Core.Data.Fintype.List
import Linglib.Core.Data.Fintype.Sets
import Linglib.Core.Data.Fintype.Transfer
import Linglib.Core.Data.List.Bookend
import Linglib.Core.Data.List.Chain
import Linglib.Core.Data.List.Destutter
import Linglib.Core.Data.List.EqOn
import Linglib.Core.Data.List.Config
import Linglib.Core.Data.List.DropRight
import Linglib.Core.Data.List.Factors
import Linglib.Core.Data.List.Perm
import Linglib.Core.Data.List.Sublist
import Linglib.Core.Data.List.TakeDrop
import Linglib.Core.Data.Multiset.Antidiagonal
import Linglib.Core.Data.Multiset.Powerset
import Linglib.Core.Data.Multiset.Rel
import Linglib.Core.Data.Option.Compatible
import Linglib.Core.Data.Part
import Linglib.Core.Data.RoseTree.Basic
import Linglib.Core.Data.RoseTree.Count
import Linglib.Core.Data.RoseTree.DecEq
import Linglib.Core.Data.RoseTree.Get
import Linglib.Core.Data.RoseTree.Leaves
import Linglib.Core.Data.RoseTree.Nonplanar
import Linglib.Core.Data.RoseTree.Perm
import Linglib.Core.Data.RoseTree.Traversable
import Linglib.Core.Data.Setoid.Basic
import Linglib.Core.GroupTheory.Congruence.Hom
import Linglib.Core.InformationTheory.KullbackLeibler.Basic
import Linglib.Core.InformationTheory.KullbackLeibler.Cond
import Linglib.Core.InformationTheory.MutualInformation
import Linglib.Core.Learning.Luce
import Linglib.Core.Learning.RescorlaWagner
import Linglib.Core.Learning.WidrowHoff
import Linglib.Core.LinearAlgebra.SymmetricAlgebra.Derivation
import Linglib.Core.LinearAlgebra.SymmetricPower.Lift
import Linglib.Core.LinearAlgebra.SymmetricPower.ToSymmetricAlgebra
import Linglib.Core.Order.Aristotelian
import Linglib.Logic.Aristotelian.Bitstring
import Linglib.Logic.Aristotelian.Diagram
import Linglib.Logic.Aristotelian.Morphism
import Linglib.Logic.Aristotelian.Partition
import Linglib.Logic.Aristotelian.Probabilistic
import Linglib.Logic.Aristotelian.Square
import Linglib.Logic.Assignment
import Linglib.Logic.BeliefRevision
import Linglib.Logic.Bilateral.Classical
import Linglib.Logic.Bilateral.Defs
import Linglib.Core.Order.Bilattice.Basic
import Linglib.Core.Order.Bilattice.Interlaced
import Linglib.Core.Order.Bilattice.Product
import Linglib.Core.Order.Bilattice.Representation
import Linglib.Logic.Consequence
import Linglib.Logic.CylindricAlgebra
import Linglib.Logic.Duality
import Linglib.Core.Relation.FactorsThroughOn
import Linglib.Core.ModelTheory.Binders
import Linglib.Logic.Modal.FirstOrder.Comparative
import Linglib.Core.ModelTheory.EhrenfeuchtFraisse
import Linglib.Core.ModelTheory.EhrenfeuchtFraisseGame
import Linglib.Core.ModelTheory.FiniteModel
import Linglib.Logic.Modal.FirstOrder.Kripke
import Linglib.Logic.Modal.FirstOrder.Monadic
import Linglib.Logic.Modal.FirstOrder.Correspondence
import Linglib.Core.ModelTheory.Lindstrom
import Linglib.Core.ModelTheory.QuantifierRank
import Linglib.Core.ModelTheory.TotalPreorder
import Linglib.Logic.Modal.BSML.Bisimulation
import Linglib.Logic.Modal.BSML.Bridge
import Linglib.Logic.Modal.BSML.Characteristic
import Linglib.Logic.Modal.BSML.ClassicalValidities
import Linglib.Logic.Modal.BSML.Defs
import Linglib.Logic.Modal.BSML.Enrichment
import Linglib.Logic.Modal.BSML.ExpressiveCompleteness
import Linglib.Logic.Modal.BSML.NaturalDeduction
import Linglib.Logic.Modal.BSML.Properties
import Linglib.Logic.Modal.BSML.Scenarios
import Linglib.Logic.Modal.Basic
import Linglib.Logic.Modal.Bisimulation
import Linglib.Logic.Modal.Defs
import Linglib.Logic.Modal.Dependence
import Linglib.Logic.Modal.Inclusion
import Linglib.Logic.Modal.Inquisitive
import Linglib.Logic.Modal.Kripke
import Linglib.Logic.Modal.QBSML.Compactness
import Linglib.Logic.Modal.QBSML.Defs
import Linglib.Logic.Modal.QBSML.Enrichment
import Linglib.Logic.Modal.QBSML.FreeChoice
import Linglib.Logic.Modal.QBSML.Properties
import Linglib.Logic.Orthologic
import Linglib.Logic.Orthologic.FrameSemantics
import Linglib.Logic.RankingFunction
import Linglib.Logic.SystemZ
import Linglib.Logic.Team.Algebra
import Linglib.Logic.Team.Closure
import Linglib.Logic.Team.Definability
import Linglib.Logic.Temporal.Basic
import Linglib.Logic.Temporal.Defs
import Linglib.Logic.Temporal.Soundness
import Linglib.Core.Data.Trivalent
import Linglib.Core.Order.Bilattice.Kleene
import Linglib.Logic.Trivalent.Prop3
import Linglib.Logic.TweetyNixon
import Linglib.Logic.Trivalent.Propositional
import Linglib.Core.Optimization.Decoder
import Linglib.Core.Optimization.Dequantization.LogSumExp.Basic
import Linglib.Core.Optimization.Dequantization.LogSumExp.Limit
import Linglib.Core.Optimization.Dequantization.LogSumExp.Softmax
import Linglib.Core.Optimization.Evaluation
import Linglib.Core.Optimization.Linearization
import Linglib.Core.Optimization.NoiseKernel
import Linglib.Core.Optimization.Pareto
import Linglib.Core.Optimization.PermSubsetCombinatorics
import Linglib.Core.Optimization.Profile
import Linglib.Core.Optimization.Semiring
import Linglib.Core.Optimization.System
import Linglib.Core.Order.AllenRelation
import Linglib.Core.Order.Antichain
import Linglib.Core.Order.Argmax
import Linglib.Core.Order.Boundedness
import Linglib.Core.Order.Branching
import Linglib.Core.Order.Caratheodory
import Linglib.Core.Order.Command
import Linglib.Core.Order.ComparativeProbability.Cancellation
import Linglib.Core.Order.ComparativeProbability.CancellationFin4
import Linglib.Core.Order.ComparativeProbability.Completeness
import Linglib.Core.Order.ComparativeProbability.Conditional
import Linglib.Core.Order.ComparativeProbability.Defs
import Linglib.Core.Order.ComparativeProbability.Entailments
import Linglib.Core.Order.ComparativeProbability.Patterns
import Linglib.Core.Order.ComparativeProbability.Representability
import Linglib.Core.Order.ComparativeProbability.Systems
import Linglib.Core.Order.ComparativeScale
import Linglib.Core.Order.Comparison
import Linglib.Core.Order.DeMorganAlgebra.Basic
import Linglib.Core.Order.DeMorganAlgebra.Defs
import Linglib.Core.Order.Flat
import Linglib.Core.Order.FourierMotzkin
import Linglib.Core.Order.Interval
import Linglib.Core.Order.IntervalContent
import Linglib.Core.Order.IterateFixedPoint
import Linglib.Core.Order.LeftLinear
import Linglib.Core.Order.Markedness
import Linglib.Core.Order.Monotone.Monovary
import Linglib.Core.Order.Normality
import Linglib.Core.Order.OfCriteria
import Linglib.Core.Order.Opposition
import Linglib.Core.Order.Orthoframe
import Linglib.Core.Order.Orthoframe.Representation
import Linglib.Core.Order.Ortholattice
import Linglib.Core.Order.PartialRank
import Linglib.Core.Order.PartialUnify
import Linglib.Core.Order.Plausibility
import Linglib.Core.Order.Positions
import Linglib.Core.Order.PreferenceStructure
import Linglib.Core.Order.PreferenceStructure.EffectivePreference
import Linglib.Core.Order.PreferenceStructure.MaxInducedOrdering
import Linglib.Core.Order.PreorderLattice
import Linglib.Core.Order.PullbackPreorder
import Linglib.Core.Order.Rat01
import Linglib.Core.Order.Relation
import Linglib.Core.Order.Satisfaction
import Linglib.Core.Order.SetPreimage
import Linglib.Core.Order.SignVectors
import Linglib.Core.Order.SimilarityOrdering
import Linglib.Core.Order.StrictBounds
import Linglib.Core.Order.SuccPred.Tree
import Linglib.Core.Order.TotalPreorder
import Linglib.Core.Order.Tree
import Linglib.Core.Order.TreePath
import Linglib.Core.Order.UpperLower.Closure
import Linglib.Core.Order.WellFoundedSet
import Linglib.Core.Probability.BayesianUpdate
import Linglib.Core.Probability.Choice.GumbelLuce
import Linglib.Core.Probability.Choice.RankOrderings
import Linglib.Core.Probability.Choice.RationalAction
import Linglib.Core.Probability.ConditionalProbability
import Linglib.Core.Probability.Confirmation
import Linglib.Core.Probability.Constructions
import Linglib.Core.Probability.CoupledEvaluation
import Linglib.Core.Probability.DataProcessing
import Linglib.Core.Probability.Decision.Basic
import Linglib.Core.Probability.Decision.Blackwell
import Linglib.Core.Probability.Decision.Duality
import Linglib.Core.Probability.Decision.ExperimentDesign
import Linglib.Core.Probability.DirichletMultinomial
import Linglib.Core.Probability.ENNRealArith
import Linglib.Core.Probability.EmissionPosterior
import Linglib.Core.Probability.Entropy
import Linglib.Core.Probability.Eval
import Linglib.Core.Probability.EvalLemmas
import Linglib.Core.Probability.Finite
import Linglib.Core.Probability.Gaussian
import Linglib.Core.Probability.GibbsVariational
import Linglib.Core.Probability.Gumbel
import Linglib.Core.Probability.Hypergeometric
import Linglib.Core.Probability.JointPosterior
import Linglib.Core.Probability.LikelihoodRatio
import Linglib.Core.Probability.LogitChoice
import Linglib.Core.Probability.Marginal
import Linglib.Core.Probability.PitmanYor
import Linglib.Core.Probability.PolyaUrn
import Linglib.Core.Probability.Posterior
import Linglib.Core.Probability.ProductOfExperts
import Linglib.Core.Probability.RandomUtility
import Linglib.Core.Probability.Scores
import Linglib.Core.Probability.Softmax
import Linglib.Core.Probability.SoftmaxLimits
import Linglib.Core.Probability.SoftmaxTheory
import Linglib.Core.Relation.ReflTransGen
import Linglib.Core.RingTheory.HopfAlgebra.SymmetricAlgebra
import Linglib.Data.Complementation.Noonan2007
import Linglib.Data.Complementation.Schema
import Linglib.Data.Examples.Abusch1997
import Linglib.Data.Examples.AghaJeretic2022
import Linglib.Data.Examples.AhnZhu2025
import Linglib.Data.Examples.AlonsoOvalleMoghiseh2025
import Linglib.Data.Examples.AlstottAravind2026
import Linglib.Data.Examples.AnandHardtMcCloskey2025
import Linglib.Data.Examples.AnandNevins2004
import Linglib.Data.Examples.Anderson2006
import Linglib.Data.Examples.Angelopoulos2026
import Linglib.Data.Examples.ArregiPietraszko2021
import Linglib.Data.Examples.ArreguiKusumoto1998
import Linglib.Data.Examples.BeckOdaSugisaki2004
import Linglib.Data.Examples.BeltramaSchwarz2024
import Linglib.Data.Examples.BergenGoodman2015
import Linglib.Data.Examples.Bondarenko2022
import Linglib.Data.Examples.CaoWhiteLassiter2025
import Linglib.Data.Examples.Charlow2014
import Linglib.Data.Examples.ChatzikyriakidisEtAl2025
import Linglib.Data.Examples.ChungMascarenhas2024
import Linglib.Data.Examples.CohenErteschikShir2002
import Linglib.Data.Examples.Collins2005
import Linglib.Data.Examples.CondoravdiLauer2016
import Linglib.Data.Examples.Declerck1991
import Linglib.Data.Examples.DegenTonhauser2021
import Linglib.Data.Examples.DelPinal2015
import Linglib.Data.Examples.DeoThomas2025
import Linglib.Data.Examples.ElliottSudo2025
import Linglib.Data.Examples.Gasparri2025
import Linglib.Data.Examples.Geach1962
import Linglib.Data.Examples.Giannakidou2002
import Linglib.Data.Examples.GinzburgCooper2004
import Linglib.Data.Examples.GroenendijkStokhof1984
import Linglib.Data.Examples.Guerrini2026
import Linglib.Data.Examples.Gunlogson2001
import Linglib.Data.Examples.HartmannZimmermann2004
import Linglib.Data.Examples.HartmannZimmermann2007
import Linglib.Data.Examples.Heim1982
import Linglib.Data.Examples.Hofmann2025
import Linglib.Data.Examples.Holmberg2016
import Linglib.Data.Examples.Iatridou2000
import Linglib.Data.Examples.IppolitoKissWilliams2025
import Linglib.Data.Examples.Kanazawa1994
import Linglib.Data.Examples.Karttunen1974
import Linglib.Data.Examples.Kennedy1999
import Linglib.Data.Examples.Klecha2016
import Linglib.Data.Examples.Kratzer1998
import Linglib.Data.Examples.Krifka1998
import Linglib.Data.Examples.Kriz2015
import Linglib.Data.Examples.KrizChemla2015
import Linglib.Data.Examples.Kubota2026
import Linglib.Data.Examples.Landau2026
import Linglib.Data.Examples.Lassiter2025
import Linglib.Data.Examples.LeBruynDeSwart2022
import Linglib.Data.Examples.Levin1993
import Linglib.Data.Examples.LevinRappaportHovav1995
import Linglib.Data.Examples.LiuRotter2025
import Linglib.Data.Examples.LoGuercio2025
import Linglib.Data.Examples.LuPanDegen2025
import Linglib.Data.Examples.Major2024
import Linglib.Data.Examples.Marsan2026
import Linglib.Data.Examples.Merchant2001
import Linglib.Data.Examples.Mizuno2024
import Linglib.Data.Examples.MoensSteedman1988
import Linglib.Data.Examples.MunozPerez2026
import Linglib.Data.Examples.Musan1995
import Linglib.Data.Examples.Ogihara1996
import Linglib.Data.Examples.OgiharaSteinertThrelkeld2024
import Linglib.Data.Examples.OsborneLi2023
import Linglib.Data.Examples.Pancheva2003
import Linglib.Data.Examples.Partee2010
import Linglib.Data.Examples.Pollock1989
import Linglib.Data.Examples.Rooth1992
import Linglib.Data.Examples.RotterLiu2025
import Linglib.Data.Examples.Rubinstein2014
import Linglib.Data.Examples.Saab2026
import Linglib.Data.Examples.Schema
import Linglib.Data.Examples.Schlenker2004
import Linglib.Data.Examples.Sharvit2003
import Linglib.Data.Examples.SolstadBott2024
import Linglib.Data.Examples.Stankova2026
import Linglib.Data.Examples.Steedman2000
import Linglib.Data.Examples.Storment2026
import Linglib.Data.Examples.TesslerFranke2019
import Linglib.Data.Examples.TesslerGoodman2022
import Linglib.Data.Examples.Thomas2026
import Linglib.Data.Examples.TieuEtAl2020
import Linglib.Data.Examples.TonhauserBeaverDegen2018
import Linglib.Data.Examples.TurkHirsch2026
import Linglib.Data.Examples.VanDerSandtMaier2003
import Linglib.Data.Examples.VonFintel1999
import Linglib.Data.Examples.VonFintelGillies2010
import Linglib.Data.Examples.VonFintelGillies2021
import Linglib.Data.Examples.VonFintelIatridou2005
import Linglib.Data.Examples.Wellwood2015
import Linglib.Data.Examples.Westergaard2009
import Linglib.Data.Examples.Wurmbrand2014
import Linglib.Data.Generalizations.HomogeneityGap
import Linglib.Data.Generalizations.HomogeneityProjection
import Linglib.Data.Generalizations.Projectivity
import Linglib.Data.PHOIBLE.Inventories.English
import Linglib.Data.PHOIBLE.Inventories.Finnish
import Linglib.Data.PHOIBLE.Inventories.French
import Linglib.Data.PHOIBLE.Inventories.Georgian
import Linglib.Data.PHOIBLE.Inventories.German
import Linglib.Data.PHOIBLE.Inventories.HindiUrdu
import Linglib.Data.PHOIBLE.Inventories.Hungarian
import Linglib.Data.PHOIBLE.Inventories.Japanese
import Linglib.Data.PHOIBLE.Inventories.MandarinChinese
import Linglib.Data.PHOIBLE.Inventories.Maori
import Linglib.Data.PHOIBLE.Inventories.Russian
import Linglib.Data.PHOIBLE.Inventories.Spanish
import Linglib.Data.PHOIBLE.Inventories.Swahili
import Linglib.Data.PHOIBLE.Inventories.Turkish
import Linglib.Data.PHOIBLE.Inventories.Yoruba
import Linglib.Data.PHOIBLE.Inventories.Zulu
import Linglib.Data.PHOIBLE.Schema
import Linglib.Data.ProtoRoles.Dowty1991
import Linglib.Data.ProtoRoles.Schema
import Linglib.Data.UD.Basic
import Linglib.Data.WALS.Aggregation
import Linglib.Data.WALS.Datapoint
import Linglib.Data.WALS.Features.F100A
import Linglib.Data.WALS.Features.F101A
import Linglib.Data.WALS.Features.F102A
import Linglib.Data.WALS.Features.F103A
import Linglib.Data.WALS.Features.F104A
import Linglib.Data.WALS.Features.F105A
import Linglib.Data.WALS.Features.F106A
import Linglib.Data.WALS.Features.F107A
import Linglib.Data.WALS.Features.F108A
import Linglib.Data.WALS.Features.F108B
import Linglib.Data.WALS.Features.F109A
import Linglib.Data.WALS.Features.F109B
import Linglib.Data.WALS.Features.F10A
import Linglib.Data.WALS.Features.F10B
import Linglib.Data.WALS.Features.F110A
import Linglib.Data.WALS.Features.F111A
import Linglib.Data.WALS.Features.F112A
import Linglib.Data.WALS.Features.F113A
import Linglib.Data.WALS.Features.F114A
import Linglib.Data.WALS.Features.F115A
import Linglib.Data.WALS.Features.F116A
import Linglib.Data.WALS.Features.F117A
import Linglib.Data.WALS.Features.F118A
import Linglib.Data.WALS.Features.F119A
import Linglib.Data.WALS.Features.F11A
import Linglib.Data.WALS.Features.F120A
import Linglib.Data.WALS.Features.F121A
import Linglib.Data.WALS.Features.F122A
import Linglib.Data.WALS.Features.F123A
import Linglib.Data.WALS.Features.F124A
import Linglib.Data.WALS.Features.F125A
import Linglib.Data.WALS.Features.F126A
import Linglib.Data.WALS.Features.F127A
import Linglib.Data.WALS.Features.F128A
import Linglib.Data.WALS.Features.F129A
import Linglib.Data.WALS.Features.F12A
import Linglib.Data.WALS.Features.F130A
import Linglib.Data.WALS.Features.F130B
import Linglib.Data.WALS.Features.F131A
import Linglib.Data.WALS.Features.F132A
import Linglib.Data.WALS.Features.F133A
import Linglib.Data.WALS.Features.F134A
import Linglib.Data.WALS.Features.F135A
import Linglib.Data.WALS.Features.F136A
import Linglib.Data.WALS.Features.F136B
import Linglib.Data.WALS.Features.F137A
import Linglib.Data.WALS.Features.F137B
import Linglib.Data.WALS.Features.F138A
import Linglib.Data.WALS.Features.F139A
import Linglib.Data.WALS.Features.F13A
import Linglib.Data.WALS.Features.F140A
import Linglib.Data.WALS.Features.F141A
import Linglib.Data.WALS.Features.F142A
import Linglib.Data.WALS.Features.F143A
import Linglib.Data.WALS.Features.F143B
import Linglib.Data.WALS.Features.F143C
import Linglib.Data.WALS.Features.F143D
import Linglib.Data.WALS.Features.F143E
import Linglib.Data.WALS.Features.F143F
import Linglib.Data.WALS.Features.F143G
import Linglib.Data.WALS.Features.F144A
import Linglib.Data.WALS.Features.F144B
import Linglib.Data.WALS.Features.F144C
import Linglib.Data.WALS.Features.F144D
import Linglib.Data.WALS.Features.F144E
import Linglib.Data.WALS.Features.F144F
import Linglib.Data.WALS.Features.F144G
import Linglib.Data.WALS.Features.F144H
import Linglib.Data.WALS.Features.F144I
import Linglib.Data.WALS.Features.F144J
import Linglib.Data.WALS.Features.F144K
import Linglib.Data.WALS.Features.F144L
import Linglib.Data.WALS.Features.F144M
import Linglib.Data.WALS.Features.F144N
import Linglib.Data.WALS.Features.F144O
import Linglib.Data.WALS.Features.F144P
import Linglib.Data.WALS.Features.F144Q
import Linglib.Data.WALS.Features.F144R
import Linglib.Data.WALS.Features.F144S
import Linglib.Data.WALS.Features.F144T
import Linglib.Data.WALS.Features.F144U
import Linglib.Data.WALS.Features.F144V
import Linglib.Data.WALS.Features.F144W
import Linglib.Data.WALS.Features.F144X
import Linglib.Data.WALS.Features.F144Y
import Linglib.Data.WALS.Features.F14A
import Linglib.Data.WALS.Features.F15A
import Linglib.Data.WALS.Features.F16A
import Linglib.Data.WALS.Features.F17A
import Linglib.Data.WALS.Features.F18A
import Linglib.Data.WALS.Features.F19A
import Linglib.Data.WALS.Features.F1A
import Linglib.Data.WALS.Features.F20A
import Linglib.Data.WALS.Features.F21A
import Linglib.Data.WALS.Features.F21B
import Linglib.Data.WALS.Features.F22A
import Linglib.Data.WALS.Features.F23A
import Linglib.Data.WALS.Features.F24A
import Linglib.Data.WALS.Features.F25A
import Linglib.Data.WALS.Features.F25B
import Linglib.Data.WALS.Features.F26A
import Linglib.Data.WALS.Features.F27A
import Linglib.Data.WALS.Features.F28A
import Linglib.Data.WALS.Features.F29A
import Linglib.Data.WALS.Features.F2A
import Linglib.Data.WALS.Features.F30A
import Linglib.Data.WALS.Features.F31A
import Linglib.Data.WALS.Features.F32A
import Linglib.Data.WALS.Features.F33A
import Linglib.Data.WALS.Features.F34A
import Linglib.Data.WALS.Features.F35A
import Linglib.Data.WALS.Features.F36A
import Linglib.Data.WALS.Features.F37A
import Linglib.Data.WALS.Features.F38A
import Linglib.Data.WALS.Features.F39A
import Linglib.Data.WALS.Features.F39B
import Linglib.Data.WALS.Features.F3A
import Linglib.Data.WALS.Features.F40A
import Linglib.Data.WALS.Features.F41A
import Linglib.Data.WALS.Features.F42A
import Linglib.Data.WALS.Features.F43A
import Linglib.Data.WALS.Features.F44A
import Linglib.Data.WALS.Features.F45A
import Linglib.Data.WALS.Features.F46A
import Linglib.Data.WALS.Features.F47A
import Linglib.Data.WALS.Features.F48A
import Linglib.Data.WALS.Features.F49A
import Linglib.Data.WALS.Features.F4A
import Linglib.Data.WALS.Features.F50A
import Linglib.Data.WALS.Features.F51A
import Linglib.Data.WALS.Features.F52A
import Linglib.Data.WALS.Features.F53A
import Linglib.Data.WALS.Features.F54A
import Linglib.Data.WALS.Features.F55A
import Linglib.Data.WALS.Features.F56A
import Linglib.Data.WALS.Features.F57A
import Linglib.Data.WALS.Features.F58A
import Linglib.Data.WALS.Features.F58B
import Linglib.Data.WALS.Features.F59A
import Linglib.Data.WALS.Features.F5A
import Linglib.Data.WALS.Features.F60A
import Linglib.Data.WALS.Features.F61A
import Linglib.Data.WALS.Features.F62A
import Linglib.Data.WALS.Features.F63A
import Linglib.Data.WALS.Features.F64A
import Linglib.Data.WALS.Features.F65A
import Linglib.Data.WALS.Features.F66A
import Linglib.Data.WALS.Features.F67A
import Linglib.Data.WALS.Features.F68A
import Linglib.Data.WALS.Features.F69A
import Linglib.Data.WALS.Features.F6A
import Linglib.Data.WALS.Features.F70A
import Linglib.Data.WALS.Features.F71A
import Linglib.Data.WALS.Features.F72A
import Linglib.Data.WALS.Features.F73A
import Linglib.Data.WALS.Features.F74A
import Linglib.Data.WALS.Features.F75A
import Linglib.Data.WALS.Features.F76A
import Linglib.Data.WALS.Features.F77A
import Linglib.Data.WALS.Features.F78A
import Linglib.Data.WALS.Features.F79A
import Linglib.Data.WALS.Features.F79B
import Linglib.Data.WALS.Features.F7A
import Linglib.Data.WALS.Features.F80A
import Linglib.Data.WALS.Features.F81A
import Linglib.Data.WALS.Features.F81B
import Linglib.Data.WALS.Features.F82A
import Linglib.Data.WALS.Features.F83A
import Linglib.Data.WALS.Features.F84A
import Linglib.Data.WALS.Features.F85A
import Linglib.Data.WALS.Features.F86A
import Linglib.Data.WALS.Features.F87A
import Linglib.Data.WALS.Features.F88A
import Linglib.Data.WALS.Features.F89A
import Linglib.Data.WALS.Features.F8A
import Linglib.Data.WALS.Features.F90A
import Linglib.Data.WALS.Features.F90B
import Linglib.Data.WALS.Features.F90C
import Linglib.Data.WALS.Features.F90D
import Linglib.Data.WALS.Features.F90E
import Linglib.Data.WALS.Features.F90F
import Linglib.Data.WALS.Features.F90G
import Linglib.Data.WALS.Features.F91A
import Linglib.Data.WALS.Features.F92A
import Linglib.Data.WALS.Features.F93A
import Linglib.Data.WALS.Features.F94A
import Linglib.Data.WALS.Features.F95A
import Linglib.Data.WALS.Features.F96A
import Linglib.Data.WALS.Features.F97A
import Linglib.Data.WALS.Features.F98A
import Linglib.Data.WALS.Features.F99A
import Linglib.Data.WALS.Features.F9A
import Linglib.Data.WALS.Languages
import Linglib.Discourse.Accessibility
import Linglib.Discourse.Centering.Basic
import Linglib.Discourse.Centering.Defs
import Linglib.Discourse.Centering.Instances.GrammaticalRole
import Linglib.Discourse.Centering.Pronominalization
import Linglib.Discourse.Centering.Transition
import Linglib.Discourse.Coherence
import Linglib.Discourse.Commitment.Basic
import Linglib.Discourse.Commitment.Frame
import Linglib.Discourse.Commitment.SourceMarked
import Linglib.Discourse.Commitment.Space
import Linglib.Discourse.Commitment.Table
import Linglib.Discourse.CommonGround
import Linglib.Discourse.Gameboard.Basic
import Linglib.Discourse.Gameboard.Defs
import Linglib.Discourse.Gameboard.RepriseContent
import Linglib.Discourse.QUD.AtIssueness
import Linglib.Discourse.QUD.Basic
import Linglib.Discourse.QUD.Issue
import Linglib.Discourse.Roles
import Linglib.Discourse.SpeechAct
import Linglib.Features.Acceptability
import Linglib.Features.Agreement
import Linglib.Features.Aktionsart
import Linglib.Features.AnsweringSystem
import Linglib.Features.Antonymy
import Linglib.Features.Attitudes
import Linglib.Features.Basic
import Linglib.Features.Case.Basic
import Linglib.Features.Case.Capabilities
import Linglib.Features.Case.Grammaticalization
import Linglib.Features.Case.Source
import Linglib.Features.Clusivity
import Linglib.Features.ContainmentPair
import Linglib.Features.CoreferenceStatus
import Linglib.Features.Deixis
import Linglib.Features.Dimension
import Linglib.Features.Empathy
import Linglib.Features.Expressive
import Linglib.Features.Gender.Basic
import Linglib.Features.Gender.Capabilities
import Linglib.Features.Gender.Decomposition
import Linglib.Features.Gender.Interp
import Linglib.Features.Gender.Resolve
import Linglib.Features.Genericity
import Linglib.Features.Givenness
import Linglib.Features.Grammaticalization
import Linglib.Features.Indefinite
import Linglib.Features.Individuation
import Linglib.Features.LicensingContext
import Linglib.Features.Logophoricity
import Linglib.Features.MassCount
import Linglib.Features.MinimalPairs
import Linglib.Features.Mirativity
import Linglib.Features.ModalIndefinite
import Linglib.Features.NegativeConcord
import Linglib.Features.NounCategorization.Basic
import Linglib.Features.Number.Basic
import Linglib.Features.Number.Capabilities
import Linglib.Features.Number.Decomposition
import Linglib.Features.Number.Interp
import Linglib.Features.Number.Resolve
import Linglib.Features.Person.Basic
import Linglib.Features.Person.Capabilities
import Linglib.Features.Person.Decomposition
import Linglib.Features.Phi
import Linglib.Features.Person.Interp
import Linglib.Features.Person.Resolve
import Linglib.Features.Polarity
import Linglib.Features.Possession
import Linglib.Features.Prominence
import Linglib.Features.PropertyDomain
import Linglib.Features.Prosody
import Linglib.Features.QParticleLayer
import Linglib.Features.Reflex
import Linglib.Features.Register
import Linglib.Features.ScalarDimension
import Linglib.Features.ScopeTypes
import Linglib.Features.Slot
import Linglib.Features.Subjectivity
import Linglib.Features.Valence
import Linglib.Features.VerbCluster
import Linglib.Features.WordOrder
import Linglib.Fragments.ASL.Classifiers
import Linglib.Fragments.ASL.Height
import Linglib.Fragments.Abkhaz.Evidentiality
import Linglib.Fragments.Adyghe.Clause
import Linglib.Fragments.Akan.Definiteness
import Linglib.Fragments.Akan.Determiners
import Linglib.Fragments.Akan.Phonology
import Linglib.Fragments.Amharic.ConsonantalRoots
import Linglib.Fragments.Arabic.ModernStandard.Adposition
import Linglib.Fragments.Arabic.ModernStandard.Case
import Linglib.Fragments.Arabic.ModernStandard.Comparison
import Linglib.Fragments.Arabic.ModernStandard.Negation
import Linglib.Fragments.Arabic.ModernStandard.Possession
import Linglib.Fragments.Arabic.ModernStandard.Relativization
import Linglib.Fragments.Arabic.ModernStandard.WordOrder
import Linglib.Fragments.Armenian.ClassifierSystem
import Linglib.Fragments.Aymara.Evidentiality
import Linglib.Fragments.Bantu.Params
import Linglib.Fragments.Basque.Adposition
import Linglib.Fragments.Basque.Agreement
import Linglib.Fragments.Basque.Postsyntax
import Linglib.Fragments.Basque.Pronouns
import Linglib.Fragments.Basque.Relativization
import Linglib.Fragments.Basque.WordOrder
import Linglib.Fragments.Bulgarian.Clause
import Linglib.Fragments.Burmese.Negation
import Linglib.Fragments.Buryat.Complementizers
import Linglib.Fragments.Cantonese.Aspect
import Linglib.Fragments.Cantonese.Definiteness
import Linglib.Fragments.Cantonese.Particles
import Linglib.Fragments.Cantonese.Predicates
import Linglib.Fragments.Cantonese.ResultativeComplements
import Linglib.Fragments.Chichewa.Reciprocals
import Linglib.Fragments.Danish.V2
import Linglib.Fragments.Dargwa.Agreement
import Linglib.Fragments.Dargwa.Case
import Linglib.Fragments.Dargwa.ComplexPredicates
import Linglib.Fragments.Dargwa.Coordination
import Linglib.Fragments.Dargwa.Locatives
import Linglib.Fragments.Doyayo.AuxiliaryVerbs
import Linglib.Fragments.Drubea.Prosody
import Linglib.Fragments.Dutch.Adjectives
import Linglib.Fragments.Dutch.Adpositions
import Linglib.Fragments.Dutch.Binominals
import Linglib.Fragments.Dutch.Modals
import Linglib.Fragments.Dutch.Nouns
import Linglib.Fragments.Dutch.Particles
import Linglib.Fragments.Dutch.TemporalConnectives
import Linglib.Fragments.Dutch.VerbParticles
import Linglib.Fragments.English.Adposition
import Linglib.Fragments.English.Auxiliaries
import Linglib.Fragments.English.Binominals
import Linglib.Fragments.English.Comparison
import Linglib.Fragments.English.Complementizers
import Linglib.Fragments.English.Conditionals
import Linglib.Fragments.English.Coordination
import Linglib.Fragments.English.Determiners
import Linglib.Fragments.English.Distributives
import Linglib.Fragments.English.Evidentiality
import Linglib.Fragments.English.FunctionWords
import Linglib.Fragments.English.Indefinites
import Linglib.Fragments.English.MeasurePhrases
import Linglib.Fragments.English.Modifiers.Adjectives
import Linglib.Fragments.English.Negation
import Linglib.Fragments.English.Nouns
import Linglib.Fragments.English.NumeralModifiers
import Linglib.Fragments.English.Phonology
import Linglib.Fragments.English.PolarityItems
import Linglib.Fragments.English.PolarityMarking
import Linglib.Fragments.English.Possession
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.QuestionParticles
import Linglib.Fragments.English.Questions
import Linglib.Fragments.English.Reciprocals
import Linglib.Fragments.English.Relativization
import Linglib.Fragments.English.Scales
import Linglib.Fragments.English.TemporalDeictic
import Linglib.Fragments.English.TemporalExpressions
import Linglib.Fragments.English.Tense
import Linglib.Fragments.English.Toy
import Linglib.Fragments.English.V2
import Linglib.Fragments.English.WordOrder
import Linglib.Fragments.Farsi.Coordination
import Linglib.Fragments.Farsi.Determiners
import Linglib.Fragments.Farsi.Phonology
import Linglib.Fragments.Fering.Definiteness
import Linglib.Fragments.Fijian.Possession
import Linglib.Fragments.Finnish.Case
import Linglib.Fragments.Finnish.Comparison
import Linglib.Fragments.Finnish.ConsonantGradation
import Linglib.Fragments.Finnish.Coordination
import Linglib.Fragments.Finnish.Evidentiality
import Linglib.Fragments.Finnish.Infinitives
import Linglib.Fragments.Finnish.Negation
import Linglib.Fragments.Finnish.Phonology
import Linglib.Fragments.Finnish.PolarityItems
import Linglib.Fragments.Finnish.Possession
import Linglib.Fragments.Finnish.Predicates
import Linglib.Fragments.Finnish.Relativization
import Linglib.Fragments.Finnish.TemporalConnectives
import Linglib.Fragments.Finnish.VowelHarmony
import Linglib.Fragments.Ga.Basic
import Linglib.Fragments.Ga.Predicates
import Linglib.Fragments.Georgian.Agreement
import Linglib.Fragments.Georgian.Coordination
import Linglib.Fragments.Georgian.Evidentiality
import Linglib.Fragments.Georgian.Phonology
import Linglib.Fragments.Georgian.PolarityItems
import Linglib.Fragments.Georgian.Possession
import Linglib.Fragments.German.BarePluralWordOrder
import Linglib.Fragments.German.Case
import Linglib.Fragments.German.ClauseTypes
import Linglib.Fragments.German.Comparison
import Linglib.Fragments.German.Conditionals
import Linglib.Fragments.German.Coordination
import Linglib.Fragments.German.Definiteness
import Linglib.Fragments.German.Distributives
import Linglib.Fragments.German.Evidentiality
import Linglib.Fragments.German.Gender
import Linglib.Fragments.German.Indefinites
import Linglib.Fragments.German.ModalIndefinites
import Linglib.Fragments.German.Negation
import Linglib.Fragments.German.Particles
import Linglib.Fragments.German.Phonology
import Linglib.Fragments.German.PolarityItems
import Linglib.Fragments.German.PolarityMarking
import Linglib.Fragments.German.Predicates
import Linglib.Fragments.German.Predicates.Modal
import Linglib.Fragments.German.Pronouns
import Linglib.Fragments.German.Reciprocals
import Linglib.Fragments.German.Relativization
import Linglib.Fragments.German.Tense
import Linglib.Fragments.German.V2
import Linglib.Fragments.German.VerbParticles
import Linglib.Fragments.German.WordOrder
import Linglib.Fragments.Gitksan.Modals
import Linglib.Fragments.Gorum.AuxiliaryVerbs
import Linglib.Fragments.Greek.Case
import Linglib.Fragments.Greek.Grevena.Possession
import Linglib.Fragments.Greek.Smyrna.Possession
import Linglib.Fragments.Greek.StandardModern.Complementizers
import Linglib.Fragments.Greek.StandardModern.Modals
import Linglib.Fragments.Greek.StandardModern.MoodChoice
import Linglib.Fragments.Greek.StandardModern.Negation
import Linglib.Fragments.Greek.StandardModern.Nouns
import Linglib.Fragments.Greek.StandardModern.Possession
import Linglib.Fragments.Greek.StandardModern.Reciprocals
import Linglib.Fragments.Greek.StandardModern.TemporalConnectives
import Linglib.Fragments.Greek.StandardModern.TemporalDeictic
import Linglib.Fragments.Guebie.ParticleVerbs
import Linglib.Fragments.HaitianCreole.Definiteness
import Linglib.Fragments.Hausa.Coordination
import Linglib.Fragments.Hausa.Definiteness
import Linglib.Fragments.Hausa.Determiners
import Linglib.Fragments.Hausa.Focus
import Linglib.Fragments.Hausa.Gender
import Linglib.Fragments.Hausa.TAM
import Linglib.Fragments.Hausa.Tone
import Linglib.Fragments.Hausa.VerbGrades
import Linglib.Fragments.Hawaiian.Possession
import Linglib.Fragments.Hebrew.ConsonantalRoots
import Linglib.Fragments.Hebrew.Relativization
import Linglib.Fragments.Hebrew.TemporalDeictic
import Linglib.Fragments.Hemba.AuxiliaryVerbs
import Linglib.Fragments.Hindi.Case
import Linglib.Fragments.Hindi.PolarityItems
import Linglib.Fragments.Hindi.Pronouns
import Linglib.Fragments.HindiUrdu.Adposition
import Linglib.Fragments.HindiUrdu.Comparison
import Linglib.Fragments.HindiUrdu.Coordination
import Linglib.Fragments.HindiUrdu.Particles
import Linglib.Fragments.HindiUrdu.Phonology
import Linglib.Fragments.HindiUrdu.Possession
import Linglib.Fragments.HindiUrdu.Questions
import Linglib.Fragments.HindiUrdu.Relativization
import Linglib.Fragments.HindiUrdu.WordOrder
import Linglib.Fragments.Hixkaryana.Adposition
import Linglib.Fragments.Hixkaryana.Negation
import Linglib.Fragments.Hixkaryana.WordOrder
import Linglib.Fragments.Hungarian.Case
import Linglib.Fragments.Hungarian.Coordination
import Linglib.Fragments.Hungarian.Modals
import Linglib.Fragments.Hungarian.Phonology
import Linglib.Fragments.Hungarian.PolarityItems
import Linglib.Fragments.Hungarian.Possession
import Linglib.Fragments.Hungarian.Predicates
import Linglib.Fragments.Hungarian.Reciprocals
import Linglib.Fragments.Hungarian.VowelHarmony
import Linglib.Fragments.Icelandic.Case
import Linglib.Fragments.Icelandic.Nominalizations
import Linglib.Fragments.Icelandic.Predicates
import Linglib.Fragments.Icelandic.Reciprocals
import Linglib.Fragments.Icelandic.TemporalConnectives
import Linglib.Fragments.Icelandic.Verbs
import Linglib.Fragments.Indonesian.Adposition
import Linglib.Fragments.Indonesian.Morphophonology
import Linglib.Fragments.Indonesian.Predicates
import Linglib.Fragments.Indonesian.TAM
import Linglib.Fragments.Indonesian.VoiceSystem
import Linglib.Fragments.Indonesian.WordOrder
import Linglib.Fragments.Irish.Adposition
import Linglib.Fragments.Irish.Coordination
import Linglib.Fragments.Irish.Possession
import Linglib.Fragments.Irish.WordOrder
import Linglib.Fragments.Italian.Binominals
import Linglib.Fragments.Italian.ClassifierSystem
import Linglib.Fragments.Italian.Determiners
import Linglib.Fragments.Italian.ModalIndefinites
import Linglib.Fragments.Italian.Modals
import Linglib.Fragments.Italian.Negation
import Linglib.Fragments.Italian.Nouns
import Linglib.Fragments.Italian.NumberGender
import Linglib.Fragments.Italian.PolarityItems
import Linglib.Fragments.Italian.PolarityMarking
import Linglib.Fragments.Italian.Predicates
import Linglib.Fragments.Italian.Pronouns
import Linglib.Fragments.Italian.Questions
import Linglib.Fragments.Italian.Tense
import Linglib.Fragments.Januubi.Negation
import Linglib.Fragments.Japanese.Adposition
import Linglib.Fragments.Japanese.Case
import Linglib.Fragments.Japanese.Classifier
import Linglib.Fragments.Japanese.ClassifierSystem
import Linglib.Fragments.Japanese.Comparison
import Linglib.Fragments.Japanese.Conditionals
import Linglib.Fragments.Japanese.Coordination
import Linglib.Fragments.Japanese.Determiners
import Linglib.Fragments.Japanese.Evidentiality
import Linglib.Fragments.Japanese.Morph
import Linglib.Fragments.Japanese.Negation
import Linglib.Fragments.Japanese.Nouns
import Linglib.Fragments.Japanese.Particles
import Linglib.Fragments.Japanese.Passive
import Linglib.Fragments.Japanese.Phonology
import Linglib.Fragments.Japanese.PolarityItems
import Linglib.Fragments.Japanese.Possession
import Linglib.Fragments.Japanese.Predicates
import Linglib.Fragments.Japanese.Pronouns
import Linglib.Fragments.Japanese.Prosody
import Linglib.Fragments.Japanese.Questions
import Linglib.Fragments.Japanese.Relativization
import Linglib.Fragments.Japanese.TemporalConnectives
import Linglib.Fragments.Japanese.TemporalDeictic
import Linglib.Fragments.Japanese.WordOrder
import Linglib.Fragments.Jarawara.PossessedNouns
import Linglib.Fragments.Javanese.Modals
import Linglib.Fragments.Kannada.Coordination
import Linglib.Fragments.Kannada.Indefinites
import Linglib.Fragments.Kashaya.Evidentiality
import Linglib.Fragments.Kawapanan.Shawi.Basic
import Linglib.Fragments.Korean.Adposition
import Linglib.Fragments.Korean.Case
import Linglib.Fragments.Korean.Comparison
import Linglib.Fragments.Korean.Complementizers
import Linglib.Fragments.Korean.Coordination
import Linglib.Fragments.Korean.Evidentiality
import Linglib.Fragments.Korean.Evidentials
import Linglib.Fragments.Korean.MedialVerbs
import Linglib.Fragments.Korean.Modals
import Linglib.Fragments.Korean.Phonology
import Linglib.Fragments.Korean.PolarityItems
import Linglib.Fragments.Korean.Possession
import Linglib.Fragments.Korean.Predicates
import Linglib.Fragments.Korean.Pronouns
import Linglib.Fragments.Korean.Relativization
import Linglib.Fragments.Korean.WordOrder
import Linglib.Fragments.Koryak.Modals
import Linglib.Fragments.Laal.Prosody
import Linglib.Fragments.Lakhota.Definiteness
import Linglib.Fragments.Lango.Coordination
import Linglib.Fragments.Latin.Adjectives
import Linglib.Fragments.Latin.Case
import Linglib.Fragments.Latin.Comparison
import Linglib.Fragments.Latin.Coordination
import Linglib.Fragments.Latin.Indefinites
import Linglib.Fragments.Latin.Phonology
import Linglib.Fragments.Latvian.IndeterminatePronouns
import Linglib.Fragments.Magahi.Pronouns
import Linglib.Fragments.Maithili.Pronouns
import Linglib.Fragments.Malagasy.Relativization
import Linglib.Fragments.Malayic.VoiceSystem
import Linglib.Fragments.Manambu.MedialVerbs
import Linglib.Fragments.Mandarin.Adposition