(Pes) WIP: more fine-grained rules about definiteness in NPs

This commit is contained in:
Inari Listenmaa
2019-05-23 14:07:34 +02:00
parent ecd686df78
commit ec4dac68d0
4 changed files with 14 additions and 8 deletions
+5 -4
View File
@@ -135,7 +135,8 @@ oper
--------------------
BaseQuant : Type = {
mod : Mod ;
isNeg : Bool
isNeg : Bool ;
isDef : Bool
} ;
Determiner : Type = BaseQuant ** {
@@ -146,13 +147,13 @@ oper
} ;
Quant : Type = BaseQuant ** {
s : Number => CmpdStatus => Str ;
isDef : Bool } ;
s : Number => CmpdStatus => Str} ;
makeDet : Str -> Number -> (isNum, isNeg : Bool) -> Determiner = \str,n,isNum,isNeg -> {
s,sp = str;
isNum = isNum;
isNum = isNum ;
isNeg = isNeg ;
isDef = True ;
mod = Bare ;
n = n
};