1
0
forked from GitHub/gf-rgl

added LN,GN,SN

This commit is contained in:
Krasimir Angelov
2024-10-15 16:38:34 +02:00
parent 41dfd532bd
commit 5b636496ef
2 changed files with 27 additions and 3 deletions

View File

@@ -110,7 +110,8 @@ lincat
N3 = Noun ** {prep1, prep2 : Preposition ; isPre1, isPre2 : Bool} ; N3 = Noun ** {prep1, prep2 : Preposition ; isPre1, isPre2 : Bool} ;
PN = ProperNoun ; PN,LN,GN = ProperNoun ;
SN = {s : Sex => Case => Str; pl : Case => Str} ;
-- Overriden from CommonX -- Overriden from CommonX

View File

@@ -49,8 +49,26 @@ oper
} ; } ;
mkPN = overload { mkPN = overload {
mkN : (lemma : Str) -> PN = \l -> lin PN (mkProperNoun l Sg) ; mkPN : (lemma : Str) -> PN = \l -> lin PN (mkProperNoun l Sg) ;
mkN : (lemma : Str) -> Number -> PN = \l,n -> lin PN (mkProperNoun l n) ; mkPN : (lemma : Str) -> Number -> PN = \l,n -> lin PN (mkProperNoun l n) ;
} ;
mkLN = overload {
mkLN : Str -> LN = \s -> lin LN (mkProperNoun s Sg); -- default gender utrum
mkLN : Str -> Number -> LN = \s,n -> lin LN (mkProperNoun s n) ; -- set other number
} ;
mkGN = overload {
mkGN : Str -> GN = \s -> lin GN (mkProperNoun s Sg);
} ;
mkSN = overload {
mkSN : Str -> SN = \s -> lin SN {s = \\_ => (mkProperNoun s Sg).s; pl = (mkProperNoun s Sg).s}; -- default gender utrum
mkSN : Str -> Str -> Str -> SN =
\male,female,pl -> lin SN {s = table {Male => (mkProperNoun male Sg).s;
Female => (mkProperNoun female Sg).s} ;
pl = (mkProperNoun pl Sg).s
} ;
} ; } ;
mkN2 = overload { mkN2 = overload {
@@ -141,6 +159,8 @@ oper
acc_Prep : Prep = mkPrep Acc ; acc_Prep : Prep = mkPrep Acc ;
loc_Prep : Prep = mkPrep Loc ; loc_Prep : Prep = mkPrep Loc ;
mkSubj : Str -> Subj = \s -> lin Subj {s=s} ;
-- Adverbs -- Adverbs
mkAdv : Str -> Adv = \x -> lin Adv {s = x ; isPron = False} ; mkAdv : Str -> Adv = \x -> lin Adv {s = x ; isPron = False} ;
@@ -226,4 +246,7 @@ oper
} }
} ; } ;
mkInterj : Str -> Interj
= \s -> lin Interj {s = s} ;
} }