extensions added with Codex

This commit is contained in:
Krasimir Angelov
2026-05-29 14:44:23 +02:00
parent b8bb7f1d72
commit 0201d62777
15 changed files with 544 additions and 95 deletions
+7 -6
View File
@@ -3,24 +3,26 @@ concrete AdverbSom of Adverb = CatSom ** open ResSom, ParamSom, ParadigmsSom, Pr
lin
-- : A -> Adv ;
--PositAdvAdj adj = { } ;
PositAdvAdj adj = mkAdv ("si" ++ adj.s ! AF Sg Abs) ;
-- : CAdv -> A -> NP -> Adv ; -- more warmly than John
-- ComparAdvAdj cadv a np = { } ;
ComparAdvAdj cadv a np =
mkAdv (cadv.s ++ "si" ++ a.s ! AF Sg Abs ++ cadv.p ++ np.s ! Abs) ;
-- ComparAdvAdjS : CAdv -> A -> S -> Adv ; -- more warmly than he runs
ComparAdvAdjS cadv a s =
mkAdv (cadv.s ++ "si" ++ a.s ! AF Sg Abs ++ cadv.p ++ s.s ! False) ;
-- : Prep -> NP -> Adv ;
PrepNP = prepNP ;
-- Adverbs can be modified by 'adadjectives', just like adjectives.
--AdAdv : AdA -> Adv -> Adv ; -- very quickly
AdAdv ada adv = adv ** {berri = ada.s ++ adv.berri} ;
-- Like adverbs, adadjectives can be produced by adjectives.
-- : A -> AdA ; -- extremely
-- PositAdAAdj a = { } ;
PositAdAAdj a = mkAdA (a.s ! AF Sg Abs) ;
-- Subordinate clauses can function as adverbs.
-- : Subj -> S -> Adv ;
@@ -28,6 +30,5 @@ lin
-- Comparison adverbs also work as numeral adverbs.
--AdnCAdv : CAdv -> AdN ; -- less (than five)
--AdnCAdv cadv = {s = } ;
AdnCAdv cadv = {s = cadv.s ++ cadv.p} ;
} ;