msyds/gf-rgl
1
0
Fork 0
forked from GitHub/gf-rgl
Code Pull Requests Activity

Add ProgrVPSlash

Browse Source
This commit is contained in:
David A Roberts
2019-08-14 21:52:59 +10:00
parent 9c2d007b39
commit db679e3fbc
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/abstract/Extend.gf
View File

@@ -105,6 +105,10 @@ abstract Extend = Cat ** {
NominalizeVPSlashNP : VPSlash -> NP -> NP ; NominalizeVPSlashNP : VPSlash -> NP -> NP ;
-- counterpart to ProgrVP, for VPSlash
ProgrVPSlash : VPSlash -> VPSlash;
-- existential for mathematics -- existential for mathematics
ExistsNP : NP -> Cl ; -- there exists a number / there exist numbers ExistsNP : NP -> Cl ; -- there exists a number / there exist numbers

2
src/english/ExtendEng.gf
View File

@@ -222,6 +222,8 @@ concrete ExtendEng of Extend =
lin lin
PassVPSlash vps = passVPSlash (lin VPS vps) [] ; PassVPSlash vps = passVPSlash (lin VPS vps) [] ;
PassAgentVPSlash vps np = passVPSlash (lin VPS vps) ("by" ++ np.s ! NPAcc) ; PassAgentVPSlash vps np = passVPSlash (lin VPS vps) ("by" ++ np.s ! NPAcc) ;
ProgrVPSlash vp = insertObjc (\\a => vp.ad ! a ++ vp.prp ++ vp.p ++ vp.s2 ! a)
(predAux auxBe ** {c2 = vp.c2; gapInMiddle = vp.gapInMiddle; missingAdv = vp.missingAdv});
--- AR 7/3/2013 --- AR 7/3/2013
ComplSlashPartLast vps np = case vps.gapInMiddle of { ComplSlashPartLast vps np = case vps.gapInMiddle of {