forked from GitHub/gf-core
this_Det etc in synopsis (since they are used in tutorial)
This commit is contained in:
@@ -302,6 +302,14 @@ mkUtt youPl_NP
|
|||||||
mkUtt they_NP
|
mkUtt they_NP
|
||||||
mkDet : Quant -> Det -- this
|
mkDet : Quant -> Det -- this
|
||||||
mkDet this_Quant
|
mkDet this_Quant
|
||||||
|
this_NP : NP
|
||||||
|
mkUtt this_NP
|
||||||
|
that_NP : NP
|
||||||
|
mkUtt that_NP
|
||||||
|
these_NP : NP
|
||||||
|
mkUtt these_NP
|
||||||
|
those_NP : NP
|
||||||
|
mkUtt those_NP
|
||||||
mkDet : Quant -> Card -> Det -- these five
|
mkDet : Quant -> Card -> Det -- these five
|
||||||
mkDet this_Quant (mkCard (mkNumeral n5_Unit))
|
mkDet this_Quant (mkCard (mkNumeral n5_Unit))
|
||||||
mkDet : Quant -> Ord -> Det -- the best
|
mkDet : Quant -> Ord -> Det -- the best
|
||||||
@@ -331,6 +339,14 @@ mkNP thePl_Det house_N
|
|||||||
mkNP aSg_Det woman_N
|
mkNP aSg_Det woman_N
|
||||||
aPl_Det : Det -- (houses)
|
aPl_Det : Det -- (houses)
|
||||||
mkNP aPl_Det woman_N
|
mkNP aPl_Det woman_N
|
||||||
|
this_Det : Det
|
||||||
|
mkNP this_Det woman_N
|
||||||
|
that_Det : Det
|
||||||
|
mkNP that_Det woman_N
|
||||||
|
these_Det : Det
|
||||||
|
mkNP these_Det woman_N
|
||||||
|
those_Det : Det
|
||||||
|
mkNP those_Det woman_N
|
||||||
mkQuant : Pron -> Quant -- my
|
mkQuant : Pron -> Quant -- my
|
||||||
mkNP (mkQuant i_Pron) house_N
|
mkNP (mkQuant i_Pron) house_N
|
||||||
the_Quant : Quant -- the
|
the_Quant : Quant -- the
|
||||||
|
|||||||
File diff suppressed because it is too large
Load Diff
@@ -684,6 +684,15 @@ incomplete resource Constructors = open Grammar in { --%
|
|||||||
they_NP : NP -- they
|
they_NP : NP -- they
|
||||||
= mkNP they_Pron ;
|
= mkNP they_Pron ;
|
||||||
|
|
||||||
|
this_NP : NP -- this
|
||||||
|
= DetNP (DetQuant this_Quant sgNum) ; --%
|
||||||
|
that_NP : NP -- that
|
||||||
|
= DetNP (DetQuant that_Quant sgNum) ; --%
|
||||||
|
these_NP : NP
|
||||||
|
= DetNP (DetQuant this_Quant plNum) ; --%
|
||||||
|
those_NP : NP
|
||||||
|
= DetNP (DetQuant that_Quant plNum) ; --%
|
||||||
|
|
||||||
|
|
||||||
--3 Det, determiners
|
--3 Det, determiners
|
||||||
|
|
||||||
@@ -734,6 +743,15 @@ incomplete resource Constructors = open Grammar in { --%
|
|||||||
= DetQuant IndefArt NumSg ; --%
|
= DetQuant IndefArt NumSg ; --%
|
||||||
aPl_Det : Det -- (houses)
|
aPl_Det : Det -- (houses)
|
||||||
= DetQuant IndefArt NumPl ; --%
|
= DetQuant IndefArt NumPl ; --%
|
||||||
|
this_Det : Det
|
||||||
|
= (DetQuant this_Quant sgNum) ; --%
|
||||||
|
that_Det : Det
|
||||||
|
= (DetQuant that_Quant sgNum) ; --%
|
||||||
|
these_Det : Det
|
||||||
|
= (DetQuant this_Quant plNum) ; --%
|
||||||
|
those_Det : Det
|
||||||
|
= (DetQuant that_Quant plNum) ; --%
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
--3 Quant, quantifiers
|
--3 Quant, quantifiers
|
||||||
@@ -1593,16 +1611,6 @@ incomplete resource Constructors = open Grammar in { --%
|
|||||||
ComplV2A : V2A -> NP -> AP -> VP = \v,np,ap -> ComplSlash (SlashV2A v ap) np ;
|
ComplV2A : V2A -> NP -> AP -> VP = \v,np,ap -> ComplSlash (SlashV2A v ap) np ;
|
||||||
ComplV3 : V3 -> NP -> NP -> VP = \v,o,d -> ComplSlash (Slash3V3 v d) o ;
|
ComplV3 : V3 -> NP -> NP -> VP = \v,o,d -> ComplSlash (Slash3V3 v d) o ;
|
||||||
|
|
||||||
that_NP : NP = DetNP (DetQuant that_Quant sgNum) ;
|
|
||||||
this_NP : NP = DetNP (DetQuant this_Quant sgNum) ;
|
|
||||||
those_NP : NP = DetNP (DetQuant that_Quant plNum) ;
|
|
||||||
these_NP : NP = DetNP (DetQuant this_Quant plNum) ;
|
|
||||||
|
|
||||||
that_Det : Det = (DetQuant that_Quant sgNum) ;
|
|
||||||
this_Det : Det = (DetQuant this_Quant sgNum) ;
|
|
||||||
those_Det : Det = (DetQuant that_Quant plNum) ;
|
|
||||||
these_Det : Det = (DetQuant this_Quant plNum) ;
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
-- new things
|
-- new things
|
||||||
|
|||||||
Reference in New Issue
Block a user