mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-05-28 09:28:54 -06:00
(Hun) Change lincat of Ord + add OrdSuperl, DetQuantOrd
This commit is contained in:
@@ -38,7 +38,7 @@ concrete AdjectiveHun of Adjective = CatHun ** open ResHun, Prelude in {
|
|||||||
-- The superlative use is covered in $Ord$.
|
-- The superlative use is covered in $Ord$.
|
||||||
|
|
||||||
-- : Ord -> AP ; -- warmest
|
-- : Ord -> AP ; -- warmest
|
||||||
-- AdjOrd ord = emptyAP ** ord ;
|
AdjOrd ord = emptyAP ** ord ;
|
||||||
|
|
||||||
-- Sentence and question complements defined for all adjectival
|
-- Sentence and question complements defined for all adjectival
|
||||||
-- phrases, although the semantics is only clear for some adjectives.
|
-- phrases, although the semantics is only clear for some adjectives.
|
||||||
|
|||||||
@@ -66,7 +66,7 @@ concrete CatHun of Cat = CommonX ** open ResHun, Prelude in {
|
|||||||
Quant = ResHun.Quant ;
|
Quant = ResHun.Quant ;
|
||||||
Num = ResHun.Num ;
|
Num = ResHun.Num ;
|
||||||
Ord = {
|
Ord = {
|
||||||
s : Str ; -- Number => Case => Str ; -- Ord can come from AP and become AP again
|
s : Number => Str ; -- Number => Case => Str ; -- Ord can come from AP and become AP again
|
||||||
n : Number -- Ord can come from Num, which has inherent number
|
n : Number -- Ord can come from Num, which has inherent number
|
||||||
} ;
|
} ;
|
||||||
DAP = ResHun.Determiner ;
|
DAP = ResHun.Determiner ;
|
||||||
|
|||||||
@@ -67,9 +67,11 @@ concrete NounHun of Noun = CatHun ** open ResHun, Prelude in {
|
|||||||
} ;
|
} ;
|
||||||
|
|
||||||
-- : Quant -> Num -> Ord -> Det ; -- these five best
|
-- : Quant -> Num -> Ord -> Det ; -- these five best
|
||||||
-- DetQuantOrd quant num ord =
|
DetQuantOrd quant num ord =
|
||||||
-- let theseFive = DetQuant quant num in theseFive ** {
|
let theseFive = DetQuant quant num in theseFive ** {
|
||||||
-- } ;
|
s = \\c => theseFive.s ! c ++ ord.s ! num.n ;
|
||||||
|
sp = \\c => theseFive.sp ! c ++ ord.s ! num.n ;
|
||||||
|
} ;
|
||||||
|
|
||||||
-- Whether the resulting determiner is singular or plural depends on the
|
-- Whether the resulting determiner is singular or plural depends on the
|
||||||
-- cardinal.
|
-- cardinal.
|
||||||
@@ -106,18 +108,18 @@ concrete NounHun of Noun = CatHun ** open ResHun, Prelude in {
|
|||||||
OrdNumeral num = num ** {
|
OrdNumeral num = num ** {
|
||||||
s = \\_ => num.ord
|
s = \\_ => num.ord
|
||||||
} ;
|
} ;
|
||||||
|
-}
|
||||||
-- : A -> Ord ;
|
-- : A -> Ord ;
|
||||||
OrdSuperl a = {
|
OrdSuperl a = {
|
||||||
s = \\af => "제일" ++ a.s ! af ;
|
s = a.s ! Superl ;
|
||||||
n = Sg -- ?? is this meaningful?
|
n = Sg -- ?? is this meaningful?
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
-- One can combine a numeral and a superlative.
|
-- One can combine a numeral and a superlative.
|
||||||
|
|
||||||
-- : Numeral -> A -> Ord ; -- third largest
|
-- : Numeral -> A -> Ord ; -- third largest
|
||||||
OrdNumeralSuperl num a = num ** { } ;
|
-- OrdNumeralSuperl num a = num ** { } ;
|
||||||
-}
|
|
||||||
-- : Quant
|
-- : Quant
|
||||||
DefArt = {
|
DefArt = {
|
||||||
s,
|
s,
|
||||||
|
|||||||
Reference in New Issue
Block a user