Pred: proper forms of Eng auxiliaries; variants for Swe negation and future aux

This commit is contained in:
aarne
2014-02-12 18:40:18 +00:00
parent 6fbfc64d9f
commit 4c1398589b
11 changed files with 38 additions and 21 deletions
+1 -1
View File
@@ -188,7 +188,7 @@ fun
--< UseAdvCl : PrAdv aNone -> PrCl aNone -> PrS ; -- lift adv to front
UseAdvCl_none : PrAdv_none -> PrCl_none -> PrS ;
UttS : PrS -> Utt ;
UttPrS : PrS -> Utt ;
--< AdvCl : (a : Arg) -> PrAdv a -> PrCl aNone -> PrCl a ;
AdvCl_none : PrAdv_none -> PrCl_none -> PrCl_none ;