mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 19:42:50 -06:00
constructor PositAdAAdj in Adverb, for most langs
This commit is contained in:
@@ -33,7 +33,7 @@ abstract Adjective = Cat ** {
|
|||||||
|
|
||||||
AdvAP : AP -> Adv -> AP ; -- warm by nature
|
AdvAP : AP -> Adv -> AP ; -- warm by nature
|
||||||
|
|
||||||
-- The formation of adverbs from adjective (e.g. "quickly") is covered
|
-- The formation of adverbs from adjectives (e.g. "quickly") is covered
|
||||||
-- in [Adverb Adverb.html].
|
-- in [Adverb Adverb.html]; the same concerns adadjectives (e.g. "extremely").
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -20,6 +20,10 @@ abstract Adverb = Cat ** {
|
|||||||
|
|
||||||
AdAdv : AdA -> Adv -> Adv ; -- very quickly
|
AdAdv : AdA -> Adv -> Adv ; -- very quickly
|
||||||
|
|
||||||
|
-- Like adverbs, adadjectives can be produced by adjectives.
|
||||||
|
|
||||||
|
PositAdAAdj : A -> AdA ; -- extremely
|
||||||
|
|
||||||
-- Subordinate clauses can function as adverbs.
|
-- Subordinate clauses can function as adverbs.
|
||||||
|
|
||||||
SubjS : Subj -> S -> Adv ; -- when she sleeps
|
SubjS : Subj -> S -> Adv ; -- when she sleeps
|
||||||
@@ -28,5 +32,4 @@ abstract Adverb = Cat ** {
|
|||||||
|
|
||||||
AdnCAdv : CAdv -> AdN ; -- less (than five)
|
AdnCAdv : CAdv -> AdN ; -- less (than five)
|
||||||
|
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -14,6 +14,8 @@ concrete AdverbBul of Adverb = CatBul ** open ResBul, Prelude in {
|
|||||||
|
|
||||||
AdAdv = cc2 ;
|
AdAdv = cc2 ;
|
||||||
|
|
||||||
|
PositAdAAdj a = {s = a.adv} ;
|
||||||
|
|
||||||
SubjS = cc2 ;
|
SubjS = cc2 ;
|
||||||
|
|
||||||
AdnCAdv cadv = {s = cadv.sn ++ "îò"} ;
|
AdnCAdv cadv = {s = cadv.sn ++ "îò"} ;
|
||||||
|
|||||||
@@ -15,6 +15,8 @@ concrete AdverbDut of Adverb = CatDut ** open ResDut, Prelude in {
|
|||||||
|
|
||||||
AdAdv = cc2 ;
|
AdAdv = cc2 ;
|
||||||
|
|
||||||
|
PositAdAAdj a = {s = a.s ! Posit ! APred} ;
|
||||||
|
|
||||||
SubjS subj s = {s = subj.s ++ s.s ! Sub} ;
|
SubjS subj s = {s = subj.s ++ s.s ! Sub} ;
|
||||||
|
|
||||||
AdnCAdv cadv = {s = cadv.s ++ conjThan} ;
|
AdnCAdv cadv = {s = cadv.s ++ conjThan} ;
|
||||||
|
|||||||
@@ -12,6 +12,7 @@ concrete AdverbEng of Adverb = CatEng ** open ResEng, Prelude in {
|
|||||||
PrepNP prep np = {s = prep.s ++ np.s ! Acc} ;
|
PrepNP prep np = {s = prep.s ++ np.s ! Acc} ;
|
||||||
|
|
||||||
AdAdv = cc2 ;
|
AdAdv = cc2 ;
|
||||||
|
PositAdAAdj a = {s = a.s ! AAdv} ;
|
||||||
|
|
||||||
SubjS = cc2 ;
|
SubjS = cc2 ;
|
||||||
|
|
||||||
|
|||||||
@@ -13,6 +13,8 @@ concrete AdverbFin of Adverb = CatFin ** open ResFin, Prelude in {
|
|||||||
|
|
||||||
AdAdv = cc2 ;
|
AdAdv = cc2 ;
|
||||||
|
|
||||||
|
PositAdAAdj a = {s = a.s ! Posit ! AN (NCase Sg Gen)} ; -- älyttömän
|
||||||
|
|
||||||
SubjS = cc2 ;
|
SubjS = cc2 ;
|
||||||
----b AdvSC s = s ;
|
----b AdvSC s = s ;
|
||||||
|
|
||||||
|
|||||||
@@ -14,6 +14,8 @@ concrete AdverbGer of Adverb = CatGer ** open ResGer, Prelude in {
|
|||||||
|
|
||||||
AdAdv = cc2 ;
|
AdAdv = cc2 ;
|
||||||
|
|
||||||
|
PositAdAAdj a = {s = a.s ! Posit ! APred} ;
|
||||||
|
|
||||||
SubjS subj s = {s = subj.s ++ s.s ! Sub} ;
|
SubjS subj s = {s = subj.s ++ s.s ! Sub} ;
|
||||||
|
|
||||||
AdnCAdv cadv = {s = cadv.s ++ conjThan} ;
|
AdnCAdv cadv = {s = cadv.s ++ conjThan} ;
|
||||||
|
|||||||
@@ -16,6 +16,10 @@ incomplete concrete AdverbRomance of Adverb =
|
|||||||
|
|
||||||
AdAdv = cc2 ;
|
AdAdv = cc2 ;
|
||||||
|
|
||||||
|
PositAdAAdj a = {
|
||||||
|
s = a.s ! Posit ! AA
|
||||||
|
} ;
|
||||||
|
|
||||||
SubjS subj s = {
|
SubjS subj s = {
|
||||||
s = subj.s ++ s.s ! subj.m
|
s = subj.s ++ s.s ! subj.m
|
||||||
} ;
|
} ;
|
||||||
|
|||||||
@@ -15,6 +15,10 @@ incomplete concrete AdverbScand of Adverb = CatScand ** open CommonScand, ResSca
|
|||||||
|
|
||||||
AdAdv = cc2 ;
|
AdAdv = cc2 ;
|
||||||
|
|
||||||
|
PositAdAAdj a = {
|
||||||
|
s = a.s ! adverbForm
|
||||||
|
} ;
|
||||||
|
|
||||||
SubjS subj s = {
|
SubjS subj s = {
|
||||||
s = subj.s ++ s.s ! Sub
|
s = subj.s ++ s.s ! Sub
|
||||||
} ;
|
} ;
|
||||||
|
|||||||
Reference in New Issue
Block a user