1
0
forked from GitHub/gf-rgl

IP now depends on the Case, i.e. koi/kogo

This commit is contained in:
krasimir
2008-02-22 14:08:01 +00:00
parent c2d6a825b3
commit df7dce5d61
5 changed files with 17 additions and 14 deletions

View File

@@ -37,7 +37,7 @@ concrete CatBul of Cat = open ResBul, Prelude, (R = ParamX) in {
-- Question
QCl = {s : ResBul.Tense => Anteriority => Polarity => QForm => Str} ;
IP = {s : Str ; gn : GenNum} ;
IP = {s : Case => Str; gn : GenNum} ;
IComp = {s : Str} ;
IDet = {s : GenNum => Str; n : Number} ;