(Ara) Add EmptyRelSlash to ExtendAra

This commit is contained in:
Inari Listenmaa
2019-01-04 12:56:46 +02:00
parent 93679cbcb2
commit 19dca60b6e

View File

@@ -15,6 +15,7 @@ concrete ExtendAra of Extend =
ParamX,
ResAra,
Prelude,
RelativeAra,
Coordination
in {
@@ -28,6 +29,9 @@ concrete ExtendAra of Extend =
-- : AP -> IComp ; -- "how old"
ICompAP ap = {s = \\gn => "كَمْ" ++ ap.s ! NoHum ! gn.g ! gn.n ! Indef ! Acc} ;
-- : ClSlash -> RCl -- he lives in
EmptyRelSlash = RelSlash (IdRP ** {s = \\_ => []}) ;
lincat
VPS = {s : PerGenNum => Str} ; -- finite VP's with tense and polarity
[VPS] = {s1,s2 : PerGenNum => Str} ;