mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 11:42:49 -06:00
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 -> {
|
||||
s = vp.s ;
|
||||
s = \\a,vf => {fin = (vp.s ! a ! vf).fin ; inf = inf ++ (vp.s ! a ! vf).inf} ;
|
||||
a1 = vp.a1 ;
|
||||
n2 = vp.n2 ;
|
||||
a2 = vp.a2 ;
|
||||
isAux = vp.isAux ; ----
|
||||
inf = vp.inf ++ inf ;
|
||||
inf = vp.inf ; --- ++ inf ;
|
||||
ext = vp.ext
|
||||
} ;
|
||||
|
||||
|
||||
@@ -85,4 +85,5 @@ abstract Demonstrative = Cat, PredefAbs ** {
|
||||
|
||||
point1, point2 : Point ;
|
||||
|
||||
x_MAdv, y_MAdv : MAdv ;
|
||||
}
|
||||
|
||||
@@ -102,5 +102,8 @@ incomplete concrete DemonstrativeI of Demonstrative = Cat **
|
||||
point1 = mkPoint "p1" ;
|
||||
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