mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-22 01:22:51 -06:00
fused Conj and DConj in exper
This commit is contained in:
@@ -98,7 +98,7 @@ abstract Cat = Common ** {
|
|||||||
-- Constructed in [Structural Structural.html].
|
-- Constructed in [Structural Structural.html].
|
||||||
|
|
||||||
Conj ; -- conjunction e.g. "and"
|
Conj ; -- conjunction e.g. "and"
|
||||||
DConj ; -- distributed conjunction e.g. "both - and"
|
---b DConj ; -- distributed conjunction e.g. "both - and"
|
||||||
Subj ; -- subjunction e.g. "if"
|
Subj ; -- subjunction e.g. "if"
|
||||||
Prep ; -- preposition, or just case e.g. "in"
|
Prep ; -- preposition, or just case e.g. "in"
|
||||||
|
|
||||||
|
|||||||
@@ -22,10 +22,10 @@ abstract Conjunction = Cat ** {
|
|||||||
ConjNP : Conj -> [NP] -> NP ; -- "she or we"
|
ConjNP : Conj -> [NP] -> NP ; -- "she or we"
|
||||||
ConjAdv : Conj -> [Adv] -> Adv ; -- "here or there"
|
ConjAdv : Conj -> [Adv] -> Adv ; -- "here or there"
|
||||||
|
|
||||||
DConjS : DConj -> [S] -> S ; -- "either he walks or she runs"
|
---b DConjS : DConj -> [S] -> S ; -- "either he walks or she runs"
|
||||||
DConjAP : DConj -> [AP] -> AP ; -- "both warm and cold"
|
---b DConjAP : DConj -> [AP] -> AP ; -- "both warm and cold"
|
||||||
DConjNP : DConj -> [NP] -> NP ; -- "either he or she"
|
---b DConjNP : DConj -> [NP] -> NP ; -- "either he or she"
|
||||||
DConjAdv : DConj -> [Adv] -> Adv; -- "both here and there"
|
---b DConjAdv : DConj -> [Adv] -> Adv; -- "both here and there"
|
||||||
|
|
||||||
--2 Categories
|
--2 Categories
|
||||||
|
|
||||||
|
|||||||
@@ -24,14 +24,16 @@ abstract Structural = Cat ** {
|
|||||||
before_Prep : Prep ;
|
before_Prep : Prep ;
|
||||||
behind_Prep : Prep ;
|
behind_Prep : Prep ;
|
||||||
between_Prep : Prep ;
|
between_Prep : Prep ;
|
||||||
both7and_DConj : DConj ;
|
both7and_DConj : Conj ;
|
||||||
|
---b both7and_DConj : DConj ;
|
||||||
but_PConj : PConj ;
|
but_PConj : PConj ;
|
||||||
by8agent_Prep : Prep ;
|
by8agent_Prep : Prep ;
|
||||||
by8means_Prep : Prep ;
|
by8means_Prep : Prep ;
|
||||||
can8know_VV : VV ;
|
can8know_VV : VV ;
|
||||||
can_VV : VV ;
|
can_VV : VV ;
|
||||||
during_Prep : Prep ;
|
during_Prep : Prep ;
|
||||||
either7or_DConj : DConj ;
|
either7or_DConj : Conj ;
|
||||||
|
---b either7or_DConj : DConj ;
|
||||||
every_Det : Det ;
|
every_Det : Det ;
|
||||||
everybody_NP : NP ;
|
everybody_NP : NP ;
|
||||||
everything_NP : NP ;
|
everything_NP : NP ;
|
||||||
|
|||||||
@@ -64,8 +64,9 @@ concrete CatEng of Cat = CommonX ** open ResEng, Prelude in {
|
|||||||
|
|
||||||
-- Structural
|
-- Structural
|
||||||
|
|
||||||
Conj = {s : Str ; n : Number} ;
|
Conj = {s1,s2 : Str ; n : Number} ;
|
||||||
DConj = {s1,s2 : Str ; n : Number} ;
|
---b Conj = {s : Str ; n : Number} ;
|
||||||
|
---b DConj = {s1,s2 : Str ; n : Number} ;
|
||||||
Subj = {s : Str} ;
|
Subj = {s : Str} ;
|
||||||
Prep = {s : Str} ;
|
Prep = {s : Str} ;
|
||||||
|
|
||||||
|
|||||||
@@ -5,6 +5,20 @@ concrete ConjunctionEng of Conjunction =
|
|||||||
|
|
||||||
lin
|
lin
|
||||||
|
|
||||||
|
ConjS = conjunctDistrSS ;
|
||||||
|
|
||||||
|
ConjAdv = conjunctDistrSS ;
|
||||||
|
|
||||||
|
ConjNP conj ss = conjunctDistrTable Case conj ss ** {
|
||||||
|
a = conjAgr (agrP3 conj.n) ss.a
|
||||||
|
} ;
|
||||||
|
|
||||||
|
ConjAP conj ss = conjunctDistrTable Agr conj ss ** {
|
||||||
|
isPre = ss.isPre
|
||||||
|
} ;
|
||||||
|
|
||||||
|
{---b
|
||||||
|
|
||||||
ConjS = conjunctSS ;
|
ConjS = conjunctSS ;
|
||||||
DConjS = conjunctDistrSS ;
|
DConjS = conjunctDistrSS ;
|
||||||
|
|
||||||
@@ -24,6 +38,7 @@ concrete ConjunctionEng of Conjunction =
|
|||||||
DConjAP conj ss = conjunctDistrTable Agr conj ss ** {
|
DConjAP conj ss = conjunctDistrTable Agr conj ss ** {
|
||||||
isPre = ss.isPre
|
isPre = ss.isPre
|
||||||
} ;
|
} ;
|
||||||
|
-}
|
||||||
|
|
||||||
-- These fun's are generated from the list cat's.
|
-- These fun's are generated from the list cat's.
|
||||||
|
|
||||||
|
|||||||
@@ -16,7 +16,7 @@ concrete PhraseEng of Phrase = CatEng ** open Prelude, ResEng in {
|
|||||||
UttAdv adv = adv ;
|
UttAdv adv = adv ;
|
||||||
|
|
||||||
NoPConj = {s = []} ;
|
NoPConj = {s = []} ;
|
||||||
PConjConj conj = conj ;
|
PConjConj conj = {s = conj.s2} ; ---
|
||||||
|
|
||||||
NoVoc = {s = []} ;
|
NoVoc = {s = []} ;
|
||||||
VocNP np = {s = "," ++ np.s ! Nom} ;
|
VocNP np = {s = "," ++ np.s ! Nom} ;
|
||||||
|
|||||||
@@ -10,7 +10,8 @@ concrete StructuralEng of Structural = CatEng **
|
|||||||
almost_AdA, almost_AdN = ss "almost" ;
|
almost_AdA, almost_AdN = ss "almost" ;
|
||||||
although_Subj = ss "although" ;
|
although_Subj = ss "although" ;
|
||||||
always_AdV = ss "always" ;
|
always_AdV = ss "always" ;
|
||||||
and_Conj = ss "and" ** {n = Pl} ;
|
and_Conj = sd2 [] "and" ** {n = Pl} ;
|
||||||
|
---b and_Conj = ss "and" ** {n = Pl} ;
|
||||||
because_Subj = ss "because" ;
|
because_Subj = ss "because" ;
|
||||||
before_Prep = ss "before" ;
|
before_Prep = ss "before" ;
|
||||||
behind_Prep = ss "behind" ;
|
behind_Prep = ss "behind" ;
|
||||||
@@ -73,7 +74,7 @@ concrete StructuralEng of Structural = CatEng **
|
|||||||
on_Prep = ss "on" ;
|
on_Prep = ss "on" ;
|
||||||
---- one_Quant = mkDeterminer Sg "one" ; -- DEPRECATED
|
---- one_Quant = mkDeterminer Sg "one" ; -- DEPRECATED
|
||||||
only_Predet = ss "only" ;
|
only_Predet = ss "only" ;
|
||||||
or_Conj = ss "or" ** {n = Sg} ;
|
or_Conj = sd2 [] "or" ** {n = Sg} ;
|
||||||
otherwise_PConj = ss "otherwise" ;
|
otherwise_PConj = ss "otherwise" ;
|
||||||
part_Prep = ss "of" ;
|
part_Prep = ss "of" ;
|
||||||
please_Voc = ss "please" ;
|
please_Voc = ss "please" ;
|
||||||
|
|||||||
Reference in New Issue
Block a user