some more rules included in experimental/TransEng

This commit is contained in:
aarne
2014-02-04 21:35:09 +00:00
parent 9d04fe65a8
commit 40da63681d
3 changed files with 30 additions and 2 deletions

View File

@@ -5,10 +5,17 @@ concrete TransEng of Trans =
,PredEng
,DictionaryEng - [Pol]
** open Prelude in {
** open ResEng, Prelude in {
lin
LiftV v = v ** {v = v.s ; c1,c2 = [] ; isSubjectControl, isAux = False} ;
LiftV v = v ** {v = v.s ; c1,c2 = [] ; isSubjectControl, isAux = False} ;
LiftV2 v = v ** {v = v.s ; c1 = v.c2 ; c2 = [] ; isSubjectControl, isAux = False} ;
LiftVS v = v ** {v = v.s ; c1,c2 = [] ; isSubjectControl, isAux = False} ;
LiftAP ap = {s = \\_ => ap.s ! AgP3Sg Neutr ; c1,c2 = [] ; obj1 = \\_ => []} ; --- agr, isPre
LiftAdv a = a ** {isAdV = False} ;
LiftAdV a = a ** {isAdV = True} ;
{-