Changed UncNegX in ExtraEng to take a Temp rather than Tense and Ant arguments.

This commit is contained in:
bjorn
2008-10-29 13:27:04 +00:00
parent 03fb2af472
commit 856d401337
2 changed files with 7 additions and 7 deletions

View File

@@ -35,10 +35,10 @@ concrete ExtraEng of ExtraEngAbs = CatEng **
ComplVPIVV vv vpi =
insertObj (\\a => (if_then_Str vv.isAux [] "to") ++ vpi.s ! VPIInf ! a) (predVV vv) ;
UncNegCl t a cl = {s = t.s ++ a.s ++ cl.s ! t.t ! a.a ! neg ! ODir} ;
UncNegQCl t a cl = {s = \\q => t.s ++ a.s ++ cl.s ! t.t ! a.a ! neg !q} ;
UncNegRCl t a cl = {
s = \\r => t.s ++ a.s ++ cl.s ! t.t ! a.a ! neg ! r ;
UncNegCl t cl = {s = t.s ++ cl.s ! t.t ! t.a ! neg ! ODir} ;
UncNegQCl t cl = {s = \\q => t.s ++ cl.s ! t.t ! t.a ! neg !q} ;
UncNegRCl t cl = {
s = \\r => t.s ++ cl.s ! t.t ! t.a ! neg ! r ;
c = cl.c
} ;
UncNegImpSg imp = {s = imp.s ! neg ! ImpF Sg False} ;

View File

@@ -2,9 +2,9 @@ abstract ExtraEngAbs = Extra ** {
-- uncontracted negations; contracted are the default
fun
UncNegCl : Tense -> Ant -> Cl -> S ;
UncNegQCl : Tense -> Ant -> QCl -> QS ;
UncNegRCl : Tense -> Ant -> RCl -> RS ;
UncNegCl : Temp -> Cl -> S ;
UncNegQCl : Temp -> QCl -> QS ;
UncNegRCl : Temp -> RCl -> RS ;
UncNegImpSg : Imp -> Utt; -- do not help yourself
UncNegImpPl : Imp -> Utt; -- do not help yourselves