add mkN3 to ParadigmsEus, and a couple of new words in LexiconEus

This commit is contained in:
Inari Listenmaa
2018-01-11 19:44:39 +01:00
parent 8c8adb014a
commit 793a31805b
3 changed files with 17 additions and 4 deletions
+4 -2
View File
@@ -150,10 +150,12 @@ oper
mkNoun2 : Str -> Case -> Noun2 = \s,cas -> mkNoun s ** { compl1 = mkPost [] cas False } ;
n2Noun2 : Noun -> Case -> Noun2 = \n,cas -> n ** { compl1 = mkPost [] cas False } ;
mkNoun3 : Str -> (_,_ : Case) -> Noun3 = \s,c1,c2 -> mkNoun2 s c1 ** { compl2 = mkPost [] c2 False } ;
n2Noun3 : Noun -> (_,_ : Case) -> Noun3 = \n,c1,c2 -> n2Noun2 n c1 ** { compl2 = mkPost [] c2 False } ;
mkPNoun : Str -> PNoun = \s -> mkNoun s ** {nbr = Sg ; anim=Anim} ;
CNoun : Type = { s : Agr => Str ; -- When we combine CN with RS, we introduce Agr distinction
comp : Str ; -- For PartNP; "s = baso | bat | comp = ardo gorri"
ph : Phono ;