started ExtEng

This commit is contained in:
aarne
2005-12-06 15:21:38 +00:00
parent fc23bec700
commit c6a10d351f
4 changed files with 53 additions and 0 deletions

View File

@@ -0,0 +1,26 @@
concrete ExtEng of ExtEngAbs = CatEng ** open ResEng in {
lincat
Aux = {s : Polarity => Str} ;
lin
PredAux np aux vp = mkS (np.s ! Nom) np.a
(\\t,ant,b,ord,agr =>
let
fin = aux.s ! b ;
vf : Str -> Str -> {fin, inf : Str} = \x,y ->
{fin = x ; inf = y} ;
in
case ant of {
Simul => vf fin [] ;
Anter => vf fin "have"
}
)
(\\agr => infVP vp agr) ;
can_Aux = {s = \\p => posneg p "can"} ; ---- cannt
must_Aux = {s = \\p => posneg p "must"} ;
}