1
0
forked from GitHub/gf-rgl

cleanup the lincat for V

This commit is contained in:
Krasimir Angelov
2024-11-11 13:11:29 +01:00
parent d2754c1623
commit 93a06312a7
2 changed files with 4950 additions and 5552 deletions

File diff suppressed because it is too large Load Diff

View File

@@ -79,173 +79,164 @@ oper mkNoun : (_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_ : Str
param Polarity = Neg | Pos ; param Polarity = Neg | Pos ;
param Number = Sg | Pl ; param Number = Sg | Pl ;
param Formality = Formal | Informal ; param Formality = Formal | Informal ;
oper Verb = {Infinitive: Str; Indicative: {Fut: Str; Pres: {Progressive: Polarity => {P1: {noFormality: Number => Str}; P2: Number => Str; P3: {noFormality: Number => Str}}; noAspect: Polarity => {P1: {noFormality: Number => Str}; P2: Number => Str; P3: {noFormality: Number => Str}}}; Past: {Perfect: Polarity => {P1: {noFormality: Number => Str}; P2: Number => Str; P3: {noFormality: Number => Str}}; Progressive: Polarity => {P1: {noFormality: Number => Str}; P2: Number => Str; P3: {noFormality: Number => Str}}; noAspect: Polarity => {P1: {noFormality: Number => Str}; P2: Number => Str; P3: {noFormality: Number => Str}}}}; Imperative_Jussive: Polarity => Formality => Number => Str; Subjunctive: {P1: {noFormality: Number => Str}; P2: Number => Str; P3: {noFormality: Number => Str}}} ; -- 113 param Person = P1 | P2 | P3 ;
oper Verb = {Infinitive: Str; Indicative: {Fut: Str; Pres: {Progressive: Polarity => Person => Number => Str; noAspect: Polarity => Person => Number => Str}; Past: {Perfect: Polarity => Person => Number => Str; Progressive: Polarity => Person => Number => Str; noAspect: Polarity => Person => Number => Str}}; Imperative_Jussive: Polarity => Formality => Number => Str; Subjunctive: Person => Number => Str} ; -- 113
oper mkVerb : (_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_ : Str) -> Verb = oper mkVerb : (_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_ : Str) -> Verb =
\f1,f2,f3,f4,f5,f6,f7,f8,f9,f10,f11,f12,f13,f14,f15,f16,f17,f18,f19,f20,f21,f22,f23,f24,f25,f26,f27,f28,f29,f30,f31,f32,f33,f34,f35,f36,f37,f38,f39,f40,f41,f42,f43,f44,f45,f46,f47,f48,f49,f50,f51,f52,f53,f54,f55,f56,f57,f58,f59,f60,f61,f62,f63,f64,f65,f66,f67,f68,f69,f70,f71,f72,f73,f74,f75,f76,f77,f78,f79,f80,f81,f82,f83,f84,f85,f86,f87,f88,f89,f90,f91,f92,f93,f94,f95,f96,f97,f98 -> \f1,f2,f3,f4,f5,f6,f7,f8,f9,f10,f11,f12,f13,f14,f15,f16,f17,f18,f19,f20,f21,f22,f23,f24,f25,f26,f27,f28,f29,f30,f31,f32,f33,f34,f35,f36,f37,f38,f39,f40,f41,f42,f43,f44,f45,f46,f47,f48,f49,f50,f51,f52,f53,f54,f55,f56,f57,f58,f59,f60,f61,f62,f63,f64,f65,f66,f67,f68,f69,f70,f71,f72,f73,f74,f75,f76,f77,f78,f79,f80,f81,f82,f83,f84,f85,f86,f87,f88,f89,f90,f91,f92,f93,f94,f95,f96,f97,f98 ->
{ Infinitive = f1 ; { Infinitive = f1 ;
Indicative = { Fut = f2 ; Indicative = { Fut = f2 ;
Pres = { Progressive = table { Pres = { Progressive = table {
Pos => { P1 = { noFormality = table { Pos => table {
P1 => table {
Sg => f3 ; Sg => f3 ;
Pl => f4 Pl => f4
}
} ; } ;
P2 = table { P2 => table {
Sg => f5 ; Sg => f5 ;
Pl => f6 Pl => f6
} ; } ;
P3 = { noFormality = table { P3 => table {
Sg => f7 ; Sg => f7 ;
Pl => f8 Pl => f8
} }
}
} ; } ;
Neg => { P1 = { noFormality = table { Neg => table {
P1 => table {
Sg => f9 ; Sg => f9 ;
Pl => f10 Pl => f10
}
} ; } ;
P2 = table { P2 => table {
Sg => f11 ; Sg => f11 ;
Pl => f12 Pl => f12
} ; } ;
P3 = { noFormality = table { P3 => table {
Sg => f13 ; Sg => f13 ;
Pl => f14 Pl => f14
} }
} }
}
} ; } ;
noAspect = table { noAspect = table {
Pos => { P1 = { noFormality = table { Pos => table {
P1 => table {
Sg => f15 ; Sg => f15 ;
Pl => f16 Pl => f16
}
} ; } ;
P2 = table { P2 => table {
Sg => f17 ; Sg => f17 ;
Pl => f18 Pl => f18
} ; } ;
P3 = { noFormality = table { P3 => table {
Sg => f19 ; Sg => f19 ;
Pl => f20 Pl => f20
} }
}
} ; } ;
Neg => { P1 = { noFormality = table { Neg => table {
P1 => table {
Sg => f21 ; Sg => f21 ;
Pl => f22 Pl => f22
}
} ; } ;
P2 = table { P2 => table {
Sg => f23 ; Sg => f23 ;
Pl => f24 Pl => f24
} ; } ;
P3 = { noFormality = table { P3 => table {
Sg => f25 ; Sg => f25 ;
Pl => f26 Pl => f26
} }
} }
} }
}
} ; } ;
Past = { Perfect = table { Past = { Perfect = table {
Pos => { P1 = { noFormality = table { Pos => table {
P1 => table {
Sg => f27 ; Sg => f27 ;
Pl => f28 Pl => f28
}
} ; } ;
P2 = table { P2 => table {
Sg => f29 ; Sg => f29 ;
Pl => f30 Pl => f30
} ; } ;
P3 = { noFormality = table { P3 => table {
Sg => f31 ; Sg => f31 ;
Pl => f32 Pl => f32
} }
}
} ; } ;
Neg => { P1 = { noFormality = table { Neg => table {
P1 => table {
Sg => f33 ; Sg => f33 ;
Pl => f34 Pl => f34
}
} ; } ;
P2 = table { P2 => table {
Sg => f35 ; Sg => f35 ;
Pl => f36 Pl => f36
} ; } ;
P3 = { noFormality = table { P3 => table {
Sg => f37 ; Sg => f37 ;
Pl => f38 Pl => f38
} }
} }
}
} ; } ;
Progressive = table { Progressive = table {
Pos => { P1 = { noFormality = table { Pos => table {
P1 => table {
Sg => f39 ; Sg => f39 ;
Pl => f40 Pl => f40
}
} ; } ;
P2 = table { P2 => table {
Sg => f41 ; Sg => f41 ;
Pl => f42 Pl => f42
} ; } ;
P3 = { noFormality = table { P3 => table {
Sg => f43 ; Sg => f43 ;
Pl => f44 Pl => f44
} }
}
} ; } ;
Neg => { P1 = { noFormality = table { Neg => table {
P1 => table {
Sg => f45 ; Sg => f45 ;
Pl => f46 Pl => f46
}
} ; } ;
P2 = table { P2 => table {
Sg => f47 ; Sg => f47 ;
Pl => f48 Pl => f48
} ; } ;
P3 = { noFormality = table { P3 => table {
Sg => f49 ; Sg => f49 ;
Pl => f50 Pl => f50
} }
} }
}
} ; } ;
noAspect = table { noAspect = table {
Pos => { P1 = { noFormality = table { Pos => table {
P1 => table {
Sg => f51 ; Sg => f51 ;
Pl => f52 Pl => f52
}
} ; } ;
P2 = table { P2 => table {
Sg => f53 ; Sg => f53 ;
Pl => f54 Pl => f54
} ; } ;
P3 = { noFormality = table { P3 => table {
Sg => f55 ; Sg => f55 ;
Pl => f56 Pl => f56
} }
}
} ; } ;
Neg => { P1 = { noFormality = table { Neg => table {
P1 => table {
Sg => f57 ; Sg => f57 ;
Pl => f58 Pl => f58
}
} ; } ;
P2 = table { P2 => table {
Sg => f59 ; Sg => f59 ;
Pl => f60 Pl => f60
} ; } ;
P3 = { noFormality = table { P3 => table {
Sg => f61 ; Sg => f61 ;
Pl => f62 Pl => f62
} }
} }
} }
} }
}
} ; } ;
Imperative_Jussive = table { Imperative_Jussive = table {
Pos => table { Pos => table {
@@ -269,21 +260,20 @@ oper mkVerb : (_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_
} }
} }
} ; } ;
Subjunctive = { P1 = { noFormality = table { Subjunctive = table {
P1 => table {
Sg => f71 ; Sg => f71 ;
Pl => f72 Pl => f72
}
} ; } ;
P2 = table { P2 => table {
Sg => f73 ; Sg => f73 ;
Pl => f74 Pl => f74
} ; } ;
P3 = { noFormality = table { P3 => table {
Sg => f75 ; Sg => f75 ;
Pl => f76 Pl => f76
} }
} }
}
} ; } ;