rename Dt to Species like in Swedish

This commit is contained in:
krasimir
2008-02-19 10:32:08 +00:00
parent 27df450a26
commit f3024fa714
4 changed files with 35 additions and 35 deletions

View File

@@ -15,20 +15,20 @@ resource MorphoBul = ResBul ** open Prelude, (Predef=Predef) in {
oper
--2 Determiners
mkDeterminerSg : Str -> Str -> Str -> {s : Gender => Str; n : Number; det : Dt} = \vseki,vsiaka,vsiako ->
{s = table Gender [vseki;vsiaka;vsiako]; n = Sg; det = NDet} ;
mkDeterminerPl : Str -> {s : Gender => Str ; n : Number; det : Dt} = \vsicki ->
{s = \\_ => vsicki; n = Sg; det = NDet} ;
mkDeterminerSg : Str -> Str -> Str -> {s : Gender => Str; n : Number; spec : Species} = \vseki,vsiaka,vsiako ->
{s = table Gender [vseki;vsiaka;vsiako]; n = Sg; spec = Indef} ;
mkDeterminerPl : Str -> {s : Gender => Str ; n : Number; spec : Species} = \vsicki ->
{s = \\_ => vsicki; n = Sg; spec = Indef} ;
mkQuant : Str -> Str -> Str -> Str -> {s : AForm => Str; det : Dt} = \tozi,tazi,towa,tezi -> {
mkQuant : Str -> Str -> Str -> Str -> {s : AForm => Str; spec : Species} = \tozi,tazi,towa,tezi -> {
s = \\gn => case gn of {
ASg Masc _ => tozi ;
ASg Fem _ => tazi ;
ASg Neut _ => towa ;
APl _ => tezi ;
AFullDet => tozi
AFullDef => tozi
};
det = NDet
spec = Indef
} ;
}