forked from GitHub/gf-rgl
(Fin) Add CompoundN
This commit is contained in:
@@ -4,6 +4,7 @@ concrete ExtendFin of Extend =
|
|||||||
CatFin ** ExtendFunctor - [
|
CatFin ** ExtendFunctor - [
|
||||||
VPI2,VPS2,MkVPS2,ConjVPS2,ComplVPS2,MkVPI2,ConjVPI2,ComplVPI2,ComplVPIVV
|
VPI2,VPS2,MkVPS2,ConjVPS2,ComplVPS2,MkVPI2,ConjVPI2,ComplVPI2,ComplVPIVV
|
||||||
,ExistCN, ExistMassCN
|
,ExistCN, ExistMassCN
|
||||||
|
,CompoundN
|
||||||
]
|
]
|
||||||
with
|
with
|
||||||
(Grammar = GrammarFin) **
|
(Grammar = GrammarFin) **
|
||||||
@@ -109,4 +110,10 @@ oper
|
|||||||
s = \\vt,agr => S.infVP vp.s.sc Pos agr vp (vvtype2infform vt) ;
|
s = \\vt,agr => S.infVP vp.s.sc Pos agr vp (vvtype2infform vt) ;
|
||||||
sc = vp.s.sc } ;
|
sc = vp.s.sc } ;
|
||||||
|
|
||||||
|
lin
|
||||||
|
CompoundN n1 n2 =
|
||||||
|
let ukkos_ = (S.snoun2nounBind n1).s ! NCompound in {
|
||||||
|
s = \\c => ukkos_ ++ BIND ++ n2.s ! c ;
|
||||||
|
h = n2.h
|
||||||
|
} ;
|
||||||
}
|
}
|
||||||
Reference in New Issue
Block a user