mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 11:42:49 -06:00
these,those in Constructors
This commit is contained in:
@@ -8,10 +8,10 @@ concrete FoodsEng of Foods = open SyntaxEng,ParadigmsEng in {
|
|||||||
Quality = AP ;
|
Quality = AP ;
|
||||||
lin
|
lin
|
||||||
Is item quality = mkUtt (mkCl item quality) ;
|
Is item quality = mkUtt (mkCl item quality) ;
|
||||||
This kind = mkNP (mkDet this_Quant) kind ;
|
This kind = mkNP this_QuantSg kind ;
|
||||||
That kind = mkNP (mkDet that_Quant) kind ;
|
That kind = mkNP that_QuantSg kind ;
|
||||||
These kind = mkNP (mkDet (mkQuantPl this_Quant)) kind ;
|
These kind = mkNP these_QuantPl kind ;
|
||||||
Those kind = mkNP (mkDet (mkQuantPl that_Quant)) kind ;
|
Those kind = mkNP those_QuantPl kind ;
|
||||||
QKind quality kind = mkCN quality kind ;
|
QKind quality kind = mkCN quality kind ;
|
||||||
Wine = mkCN (mkN "wine") ;
|
Wine = mkCN (mkN "wine") ;
|
||||||
Pizza = mkCN (mkN "pizza") ;
|
Pizza = mkCN (mkN "pizza") ;
|
||||||
|
|||||||
@@ -8,10 +8,10 @@ incomplete concrete FoodsI of Foods = open Syntax, LexFoods in {
|
|||||||
Quality = AP ;
|
Quality = AP ;
|
||||||
lin
|
lin
|
||||||
Is item quality = mkUtt (mkCl item quality) ;
|
Is item quality = mkUtt (mkCl item quality) ;
|
||||||
This kind = mkNP (mkDet this_Quant) kind ;
|
This kind = mkNP this_QuantSg kind ;
|
||||||
That kind = mkNP (mkDet that_Quant) kind ;
|
That kind = mkNP that_QuantSg kind ;
|
||||||
These kind = mkNP (mkDet (mkQuantPl this_Quant)) kind ;
|
These kind = mkNP these_QuantPl kind ;
|
||||||
Those kind = mkNP (mkDet (mkQuantPl that_Quant)) kind ;
|
Those kind = mkNP those_QuantPl kind ;
|
||||||
QKind quality kind = mkCN quality kind ;
|
QKind quality kind = mkCN quality kind ;
|
||||||
Very quality = mkAP very_AdA quality ;
|
Very quality = mkAP very_AdA quality ;
|
||||||
|
|
||||||
|
|||||||
@@ -441,6 +441,12 @@ incomplete resource Constructors = open Grammar in {
|
|||||||
massQuant : QuantSg ; -- 2. (mass terms)
|
massQuant : QuantSg ; -- 2. (mass terms)
|
||||||
|
|
||||||
-- More singular quantifiers are available in the $Structural$ module.
|
-- More singular quantifiers are available in the $Structural$ module.
|
||||||
|
-- The following singular cases of quantifiers are often used.
|
||||||
|
|
||||||
|
the_QuantSg : QuantSg ; -- 3. the
|
||||||
|
a_QuantSg : QuantSg ; -- 4. a
|
||||||
|
this_QuantSg : QuantSg ; -- 5. this
|
||||||
|
that_QuantSg : QuantSg ; -- 6. that
|
||||||
|
|
||||||
|
|
||||||
--3 QuantPl, plural quantifiers
|
--3 QuantPl, plural quantifiers
|
||||||
@@ -450,8 +456,14 @@ incomplete resource Constructors = open Grammar in {
|
|||||||
|
|
||||||
mkQuantPl : Quant -> QuantPl ; -- 1. these
|
mkQuantPl : Quant -> QuantPl ; -- 1. these
|
||||||
|
|
||||||
-- More plural quantifiers are available in the $Structural$ module.
|
-- More plural quantifiers are available in the $Structural$ module.
|
||||||
|
-- The following plural cases of quantifiers are often used.
|
||||||
|
|
||||||
|
the_QuantPl : QuantPl ; -- 2. the
|
||||||
|
a_QuantPl : QuantPl ; -- 3. (indefinite plural)
|
||||||
|
these_QuantPl : QuantPl ; -- 4. these
|
||||||
|
those_QuantPl : QuantPl ; -- 5. those
|
||||||
|
|
||||||
|
|
||||||
--3 Num, cardinal numerals
|
--3 Num, cardinal numerals
|
||||||
|
|
||||||
@@ -1028,6 +1040,16 @@ incomplete resource Constructors = open Grammar in {
|
|||||||
|
|
||||||
massQuant : QuantSg = MassDet ;
|
massQuant : QuantSg = MassDet ;
|
||||||
|
|
||||||
|
the_QuantSg : QuantSg = SgQuant DefArt ;
|
||||||
|
a_QuantSg : QuantSg = mkQuantSg indefQuant ;
|
||||||
|
this_QuantSg : QuantSg = mkQuantSg this_Quant ;
|
||||||
|
that_QuantSg : QuantSg = mkQuantSg that_Quant ;
|
||||||
|
|
||||||
|
the_QuantPl : QuantPl = mkQuantPl defQuant ;
|
||||||
|
a_QuantPl : QuantPl = mkQuantPl indefQuant ;
|
||||||
|
these_QuantPl : QuantPl = mkQuantPl this_Quant ;
|
||||||
|
those_QuantPl : QuantPl = mkQuantPl that_Quant ;
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
mkNum = overload {
|
mkNum = overload {
|
||||||
|
|||||||
Reference in New Issue
Block a user