forked from GitHub/gf-core
fixes in next resource needed for Attempto
This commit is contained in:
@@ -1631,7 +1631,7 @@ incomplete resource Constructors = open Grammar in {
|
||||
|
||||
ComplV2 : V2 -> NP -> VP = \v,np -> ComplSlash (SlashV2a v) np ;
|
||||
ComplV2A : V2A -> NP -> AP -> VP = \v,np,ap -> ComplSlash (SlashV2A v ap) np ;
|
||||
ComplV3 : V3 -> NP -> NP -> VP = \v,o,d -> ComplSlash (Slash2V3 v o) d ;
|
||||
ComplV3 : V3 -> NP -> NP -> VP = \v,o,d -> ComplSlash (Slash3V3 v o) d ;
|
||||
|
||||
that_NP : NP = DetNP (DetQuant that_Quant sgNum) ;
|
||||
this_NP : NP = DetNP (DetQuant this_Quant sgNum) ;
|
||||
|
||||
Reference in New Issue
Block a user