mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-16 08:19:31 -06:00
forgotten NumeralsSlv.gf
This commit is contained in:
krasimir
190
lib/src/slovenian/NumeralSlv.gf
Normal file
190
lib/src/slovenian/NumeralSlv.gf
Normal file
@@ -0,0 +1,190 @@
|
||||
concrete NumeralSlv of Numeral = CatSlv [Numeral,Digits] ** open Prelude, ResSlv in {
|
||||
|
||||
lincat
|
||||
Digit = {s : DForm => Case => Str; n : NumAgr} ;
|
||||
Sub10 = {s : Gender => Case => Str; h : Case => Str; e : Str; n : NumAgr} ;
|
||||
Sub100 = {s : Gender => Case => Str; e : Str; n : NumAgr} ;
|
||||
Sub1000 = {s : Gender => Case => Str; e : Str; n : NumAgr} ;
|
||||
Sub1000000 = {s : Gender => Case => Str; n : NumAgr} ;
|
||||
|
||||
lin num x = x ;
|
||||
|
||||
lin n2 =
|
||||
{s = table {
|
||||
Unit g => mkDigit "dvá" "dvé" "dvé" "dvá" "dvé" "dvé" "dvéh" "dvéh" "dvéh" "dvéma" "dvéma" "dvéma" "dvéh" "dvéh" "dvéh" "dvéma" "dvéma" "dvéma" ! g;
|
||||
Teen => mkNum "dvanájst";
|
||||
Ten => mkNum "dvájset";
|
||||
Hundred=> mkNum "dvésto"
|
||||
} ;
|
||||
n = UseNum Dl
|
||||
} ;
|
||||
n3 =
|
||||
{s = table {
|
||||
Unit g => mkDigit "tríje" "trí" "trí" "trí" "trí" "trí" "tréh" "tréh" "tréh" "trém" "trém" "trém" "tréh" "tréh" "tréh" "trémi" "trémi" "trémi" ! g;
|
||||
Teen => mkNum "trinájst";
|
||||
Ten => mkNum "trídeset";
|
||||
Hundred=> mkNum "trísto"
|
||||
} ;
|
||||
n = UseNum Pl
|
||||
} ;
|
||||
n4 =
|
||||
{s = table {
|
||||
Unit g => mkDigit "štírje" "štíri" "štíri" "štíri" "štíri" "štíri" "štírih" "štírih" "štírih" "štírim" "štírim" "štírim" "štírih" "štírih" "štírih" "štírimi" "štírimi" "štírimi" ! g;
|
||||
Teen => mkNum "štirinájst";
|
||||
Ten => mkNum "štírideset";
|
||||
Hundred=> mkNum "štíristo"
|
||||
} ;
|
||||
n = UseNum Pl
|
||||
} ;
|
||||
n5 =
|
||||
{s = table {
|
||||
Unit g => mkDigit2 "pét" "pét" "pêtih" "pêtim" "pêtih" "pêtimi" ! g;
|
||||
Teen => mkNum "petnájst";
|
||||
Ten => mkNum "pétdeset";
|
||||
Hundred=> mkNum "pétsto"
|
||||
} ;
|
||||
n = UseGen
|
||||
} ;
|
||||
n6 =
|
||||
{s = table {
|
||||
Unit g => mkDigit2 "šést" "šést" "šêstih" "šêstim" "šêstih" "šêstimi" ! g;
|
||||
Teen => mkNum "šestnájst";
|
||||
Ten => mkNum "šéstdeset";
|
||||
Hundred=> mkNum "šéststo"
|
||||
} ;
|
||||
n = UseGen
|
||||
} ;
|
||||
n7 =
|
||||
{s = table {
|
||||
Unit g => mkDigit2 "sédem" "sédem" "sêdmih" "sêdmim" "sêdmih" "sêdmimi" ! g;
|
||||
Teen => mkNum "sedemnájst";
|
||||
Ten => mkNum "sédemdeset";
|
||||
Hundred=> mkNum "sédemsto"
|
||||
} ;
|
||||
n = UseGen
|
||||
} ;
|
||||
n8 =
|
||||
{s = table {
|
||||
Unit g => mkDigit2 "ósem" "ósem" "ôsmih" "ôsmim" "ôsmih" "ôsmimi" ! g;
|
||||
Teen => mkNum "osemnájst";
|
||||
Ten => mkNum "ósemdeset";
|
||||
Hundred=> mkNum "ósemsto"
|
||||
} ;
|
||||
n = UseGen
|
||||
} ;
|
||||
n9 =
|
||||
{s = table {
|
||||
Unit g => mkDigit2 "devét" "devét" "devêtih" "devêtim" "devêtih" "devêtimi" ! g;
|
||||
Teen => mkNum "devetnájst";
|
||||
Ten => mkNum "devétdeset";
|
||||
Hundred=> mkNum "devétsto"
|
||||
} ;
|
||||
n = UseGen
|
||||
} ;
|
||||
|
||||
lin pot01 =
|
||||
{s = mkDigit "èn" "êna" "êno" "èn" "êno" "êno" "ènega" "êne" "ênega" "ènemu" "êni" "ênemu" "ènem" "êni" "ênem" "ènim" "êno" "ênim";
|
||||
h = table {
|
||||
Nom => "stó" ;
|
||||
Acc => "stó" ;
|
||||
Gen => "stôtih" ;
|
||||
Dat => "stôtim" ;
|
||||
Loc => "stôtih" ;
|
||||
Instr => "stôtimi"
|
||||
} ;
|
||||
e = "";
|
||||
n = UseNum Sg
|
||||
} ;
|
||||
lin pot0 d = {s = \\g=>d.s ! Unit g;
|
||||
h = d.s ! Hundred;
|
||||
e = "";
|
||||
n = d.n
|
||||
};
|
||||
|
||||
lin pot110 = {s=\\g => table {
|
||||
Nom => "desét" ;
|
||||
Acc => "desét" ;
|
||||
Gen => "desêtih" ;
|
||||
Dat => "desêtim" ;
|
||||
Loc => "desêtih" ;
|
||||
Instr => "desêtimi"
|
||||
} ;
|
||||
e = "" ;
|
||||
n = UseGen
|
||||
} ;
|
||||
pot111 = {s=\\g => mkNum "enájst"; e=""; n = UseGen} ;
|
||||
pot1to19 d = {s = \\g => d.s ! Teen; e=""; n = UseGen} ;
|
||||
pot0as1 x = x ;
|
||||
pot1 d = {s = \\g => d.s ! Ten; e=""; n = UseGen} ;
|
||||
pot1plus d e = {s = \\g,c => e.s ! Fem ! c ++ BIND ++ "in" ++ BIND ++ d.s ! Ten ! c; e=e.e; n = UseGen} ;
|
||||
|
||||
pot1as2 x = x ;
|
||||
pot2 n = {s = \\g=>n.h; e=n.e; n = UseGen} ;
|
||||
pot2plus d e = {
|
||||
s = \\g,c=>d.h ! c ++ e.s ! g ! c ;
|
||||
e = e.e ;
|
||||
n = UseGen
|
||||
} ;
|
||||
pot2as3 x = x ;
|
||||
|
||||
pot3 n = {
|
||||
s = \\g,c => case n.n of {
|
||||
UseNum Sg => n.e ;
|
||||
_ => n.s ! Masc ! c
|
||||
} ++ "tísoč" ;
|
||||
n = UseGen
|
||||
} ;
|
||||
pot3plus n m = {
|
||||
s = \\g,c => case n.n of {
|
||||
UseNum Sg => n.e ;
|
||||
_ => n.s ! Masc ! c
|
||||
} ++ "tísoč" ++
|
||||
m.s ! g ! c;
|
||||
n = UseGen
|
||||
} ;
|
||||
|
||||
oper mkDigit : (_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_ : Str) -> Gender => Case => Str;
|
||||
mkDigit nomMasc nomFem nomNeut accMasc accFem accNeut
|
||||
genMasc genFem genNeut datMasc datFem datNeut
|
||||
locMasc locFem locNeut instrMasc instrFem instrNeut =
|
||||
table {
|
||||
Masc => table {
|
||||
Nom => nomMasc;
|
||||
Acc => accMasc;
|
||||
Gen => genMasc;
|
||||
Dat => datMasc;
|
||||
Loc => locMasc;
|
||||
Instr=>instrMasc
|
||||
} ;
|
||||
Fem => table {
|
||||
Nom => nomFem;
|
||||
Acc => accFem;
|
||||
Gen => genFem;
|
||||
Dat => datFem;
|
||||
Loc => locFem;
|
||||
Instr=>instrFem
|
||||
} ;
|
||||
Neut => table {
|
||||
Nom => nomNeut;
|
||||
Acc => accNeut;
|
||||
Gen => genNeut;
|
||||
Dat => datNeut;
|
||||
Loc => locNeut;
|
||||
Instr=>instrNeut
|
||||
}
|
||||
} ;
|
||||
oper mkDigit2 : (_,_,_,_,_,_ : Str) -> Gender => Case => Str;
|
||||
mkDigit2 nom acc gen dat loc instr =
|
||||
mkDigit nom nom nom acc acc acc gen gen gen dat dat dat loc loc loc instr instr instr ;
|
||||
|
||||
mkNum : Str -> Case => Str;
|
||||
mkNum s =
|
||||
table {
|
||||
Nom => s ;
|
||||
Acc => s ;
|
||||
Gen => s+"ih" ;
|
||||
Dat => s+"im" ;
|
||||
Loc => s+"ih" ;
|
||||
Instr => s+"imi"
|
||||
} ;
|
||||
}
|
||||
Reference in New Issue
Block a user