GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-24 03:52:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

generalized some types in Predication so that the same fun's now cover slash propagation ("who does she force us to love") as well

Browse Source
This commit is contained in:
aarne
2014-01-23 17:50:30 +00:00
parent 1189a13840
commit 2c71e31a64
2 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
lib/src/experimental/Predication.gf
View File

@@ -26,12 +26,12 @@ fun
UseV : Temp -> Pol -> (a : Arg) -> V a -> VP a ; UseV : Temp -> Pol -> (a : Arg) -> V a -> VP a ;
SlashVNP : (a : Arg) -> VP (aNP a) -> NP -> VP a ; -- consuming first NP SlashVNP : (a : Arg) -> VP (aNP a) -> NP -> VP a ; -- consuming first NP
SlashVNP2 : (a : Arg) -> VP (aNP (aNP a)) -> NP -> VP (aNP a) ; -- consuming second NP SlashVNP2 : (a : Arg) -> VP (aNP (aNP a)) -> NP -> VP (aNP a) ; -- consuming second NP
ComplVS : VP aS -> S -> VP aNone ; ComplVS : (a : Arg) -> VP aS -> Cl a -> VP a ;
ComplVV : VP aV -> VP aNone -> VP aNone ; ComplVV : (a : Arg) -> VP aV -> VP a -> VP a ;
SlashV2S : VP (aNP aS) -> S -> VP (aNP aNone) ; SlashV2S : (a : Arg) -> VP (aNP aS) -> Cl a -> VP (aNP a) ; -- a:Arg gives slash propagation, SlashVS
SlashV2V : VP (aNP aV) -> VP aNone -> VP (aNP aNone) ; SlashV2V : (a : Arg) -> VP (aNP aV) -> VP a -> VP (aNP a) ;
UseAP : Temp -> Pol -> (a : Arg) -> AP a -> VP a ; UseAP : Temp -> Pol -> (a : Arg) -> AP a -> VP a ;

12
lib/src/experimental/PredicationEng.gf
View File

@@ -77,7 +77,7 @@ lin
ext = vp.ext ; ext = vp.ext ;
} ; } ;
ComplVS vp s = { ComplVS x vp cl = {
v = vp.v ; v = vp.v ;
inf = vp.inf ; inf = vp.inf ;
c1 = vp.c1 ; c1 = vp.c1 ;
@@ -86,10 +86,10 @@ lin
obj1 = vp.obj1 ; obj1 = vp.obj1 ;
obj2 = vp.obj2 ; obj2 = vp.obj2 ;
adv = vp.adv ; adv = vp.adv ;
ext = s.s ; ext = (DeclCl (lin Cl cl)).s ;
} ; } ;
ComplVV vp vpo = { ComplVV x vp vpo = {
v = vp.v ; v = vp.v ;
inf = vp.inf ; inf = vp.inf ;
c1 = vp.c1 ; c1 = vp.c1 ;
@@ -101,7 +101,7 @@ lin
ext = vp.ext ; ext = vp.ext ;
} ; } ;
SlashV2S vp s = { SlashV2S x vp cl = {
v = vp.v ; v = vp.v ;
inf = vp.inf ; inf = vp.inf ;
c1 = vp.c1 ; c1 = vp.c1 ;
@@ -110,10 +110,10 @@ lin
obj1 = vp.obj1 ; obj1 = vp.obj1 ;
obj2 = vp.obj2 ; obj2 = vp.obj2 ;
adv = vp.adv ; adv = vp.adv ;
ext = s.s ; ext = (DeclCl (lin Cl cl)).s ;
} ; } ;
SlashV2V vp vpo = { SlashV2V x vp vpo = {
v = vp.v ; v = vp.v ;
inf = vp.inf ; inf = vp.inf ;
c1 = vp.c1 ; c1 = vp.c1 ;