Finnish determiner syntax started

This commit is contained in:
aarne
2006-02-06 15:21:55 +00:00
parent 184a4a3401
commit 1568ac53e6
2 changed files with 74 additions and 22 deletions

View File

@@ -44,12 +44,21 @@ concrete CatFin of Cat = TenseX ** open ResFin, Prelude in {
-- Noun
CN = {s : Bool => Number => Case => Str} ;
-- The $Bool$ tells if a possessive suffix is attached, which affects the case.
CN = {s : NForm => Str} ;
Pron = {s : NPForm => Str ; a : Agr} ;
NP = {s : NPForm => Str ; a : Agr ; isPron : Bool} ;
Det = {s : Case => Str ; n : Number ; isNum : Bool} ;
QuantSg, QuantPl = {s : Case => Str} ;
Predet, Quant, Ord = {s : Number => Case => Str} ;
Det = {
s1 : Case => Str ; -- minun kolme
s2 : Str ; -- -ni
n : Number ; -- Pl (agreement feature for verb)
isNum : Bool ; -- True (a numeral is present)
isPoss : Bool -- True (a possessive suffix is present)
} ;
QuantSg, QuantPl = {s1 : Case => Str ; s2 : Str ; isPoss : Bool} ;
Predet, Ord = {s : Number => Case => Str} ;
Quant = {s1 : Number => Case => Str ; s2 : Str ; isPoss : Bool} ;
Num = {s : Number => Case => Str ; isNum : Bool} ;
-- Adverb