mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-20 08:32:50 -06:00
Spanish partitive; German VP conj zu
This commit is contained in:
@@ -1,17 +1,18 @@
|
||||
concrete ExtraGer of ExtraGerAbs = CatGer ** open ResGer, Coordination in {
|
||||
concrete ExtraGer of ExtraGerAbs = CatGer **
|
||||
open ResGer, Coordination, Prelude in {
|
||||
|
||||
lincat
|
||||
VPI = {s : Str} ;
|
||||
[VPI] = {s1,s2 : Str} ;
|
||||
VPI = {s : Bool => Str} ;
|
||||
[VPI] = {s1,s2 : Bool => Str} ;
|
||||
lin
|
||||
BaseVPI = twoSS ;
|
||||
ConsVPI = consrSS comma ;
|
||||
BaseVPI = twoTable Bool ;
|
||||
ConsVPI = consrTable Bool comma ;
|
||||
|
||||
MkVPI vp = {s = useInfVP vp} ; ----
|
||||
ConjVPI = conjunctSS ;
|
||||
MkVPI vp = {s = \\b => useInfVP b vp} ;
|
||||
ConjVPI = conjunctTable Bool ;
|
||||
|
||||
ComplVPIVV v vpi =
|
||||
insertInf vpi.s (
|
||||
insertInf (vpi.s ! v.isAux) (
|
||||
predVGen v.isAux v) ; ----
|
||||
{-
|
||||
insertExtrapos vpi.p3 (
|
||||
|
||||
Reference in New Issue
Block a user