mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-05-27 08:58:55 -06:00
(May) Cleanup in quant+det types
This commit is contained in:
@@ -1,4 +1,4 @@
|
||||
resource ResMay = ParamMay ** open Prelude, Predef, ParamMay in {
|
||||
resource ResMay = ParamMay ** open Prelude, Predef in {
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
-- Nouns
|
||||
@@ -59,21 +59,17 @@ oper
|
||||
--------------------------------------------------------------------------------
|
||||
-- Det, Quant, Card, Ord
|
||||
|
||||
BaseQuant : Type = {
|
||||
Quant : Type = {
|
||||
s : Str ;
|
||||
sp : NForm => Str ;
|
||||
poss : Possession ;
|
||||
} ;
|
||||
|
||||
Determiner : Type = BaseQuant ** {
|
||||
sp : NForm => Str ;
|
||||
Determiner : Type = Quant ** {
|
||||
n : Number ;
|
||||
-- numtype : NumType ; -- number as in "5" or "Sg/Pl", often makes a difference in lots of things
|
||||
} ;
|
||||
|
||||
Quant : Type = BaseQuant ** {
|
||||
sp : NForm => Str ;
|
||||
} ;
|
||||
|
||||
Num : Type = {
|
||||
s : DForm => Str ; -- independent or attribute
|
||||
n : Number
|
||||
@@ -89,8 +85,9 @@ oper
|
||||
ord : Str
|
||||
} ;
|
||||
|
||||
baseQuant : BaseQuant = {
|
||||
baseQuant : Quant = {
|
||||
s = [] ;
|
||||
sp = \\_ => [] ;
|
||||
poss = Bare ;
|
||||
} ;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user