forked from GitHub/gf-rgl
working on ExTramI and german verbs phrase
This commit is contained in:
@@ -481,12 +481,12 @@ resource ResGer = ParamX ** open Prelude in {
|
|||||||
} ;
|
} ;
|
||||||
|
|
||||||
insertInf : Str -> VP -> VP = \inf,vp -> {
|
insertInf : Str -> VP -> VP = \inf,vp -> {
|
||||||
s = vp.s ;
|
s = \\a,vf => {fin = (vp.s ! a ! vf).fin ; inf = inf ++ (vp.s ! a ! vf).inf} ;
|
||||||
a1 = vp.a1 ;
|
a1 = vp.a1 ;
|
||||||
n2 = vp.n2 ;
|
n2 = vp.n2 ;
|
||||||
a2 = vp.a2 ;
|
a2 = vp.a2 ;
|
||||||
isAux = vp.isAux ; ----
|
isAux = vp.isAux ; ----
|
||||||
inf = vp.inf ++ inf ;
|
inf = vp.inf ; --- ++ inf ;
|
||||||
ext = vp.ext
|
ext = vp.ext
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
|
|||||||
@@ -85,4 +85,5 @@ abstract Demonstrative = Cat, PredefAbs ** {
|
|||||||
|
|
||||||
point1, point2 : Point ;
|
point1, point2 : Point ;
|
||||||
|
|
||||||
|
x_MAdv, y_MAdv : MAdv ;
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -102,5 +102,8 @@ incomplete concrete DemonstrativeI of Demonstrative = Cat **
|
|||||||
point1 = mkPoint "p1" ;
|
point1 = mkPoint "p1" ;
|
||||||
point2 = mkPoint "p2" ;
|
point2 = mkPoint "p2" ;
|
||||||
|
|
||||||
|
x_MAdv = mkDem Adv (ss "X") noPoint ; --- relies on Adv = {s : Str}
|
||||||
|
y_MAdv = mkDem Adv (ss "Y") noPoint ; ---
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user