diff --git a/examples/discourse/Discourse.gf b/examples/discourse/Discourse.gf new file mode 100644 index 000000000..429fbd0c2 --- /dev/null +++ b/examples/discourse/Discourse.gf @@ -0,0 +1,32 @@ +abstract Discourse = + Lexicon, + Noun, Verb, + Adjective, Adverb, + Structural - [nobody_NP, nothing_NP], + Tense +** { + +flags startcat = S ; + +cat + Clause ; Part ; + +fun + ClauseS : Part -> Temp -> Pol -> Clause -> S ; -- arihan juo nyt + SubjKinS : Part -> Temp -> Pol -> Clause -> S ; -- arikinhan juo nyt + VerbKinS : Part -> Temp -> Pol -> Clause -> S ; -- arihan juokin nyt + AdvKinS : Part -> Temp -> Pol -> Adv -> Clause -> S ; -- arihan juo nytkin + PreAdvKinS : Part -> Temp -> Pol -> Adv -> Clause -> S ; -- nytkinhän ari juo + PreAdvS : Part -> Temp -> Pol -> Adv -> Clause -> S ; -- nythän ari juo + PreAdvSubjKinS : Part -> Temp -> Pol -> Adv -> Clause -> S ; -- nythän arikin juo + PreAdvVerbKinS : Part -> Temp -> Pol -> Adv -> Clause -> S ; -- nythän ari juokin + PreAdvAdvKinS : Part -> Temp -> Pol -> Adv -> Adv -> Clause -> S ; -- nythän ari juo täälläkin + +--- AnterVerbS : Part -> PartKin -> Tense -> Pol -> Clause -> S ; -- arihan onkin juonut +--- doesn't put in right place + + PredClause : NP -> VP -> Clause ; + + noPart, han_Part, pa_Part, pas_Part, ko_Part, kos_Part, kohan_Part, pahan_Part : Part ; + +} diff --git a/examples/discourse/DiscourseEng.gf b/examples/discourse/DiscourseEng.gf new file mode 100644 index 000000000..695f70679 --- /dev/null +++ b/examples/discourse/DiscourseEng.gf @@ -0,0 +1,54 @@ +--# -path=.:alltenses + +concrete DiscourseEng of Discourse = + LexiconEng, + NounEng, VerbEng, + AdjectiveEng, AdverbEng, + StructuralEng - [nobody_NP, nothing_NP], + TenseX +** open SyntaxEng, (P = ParadigmsEng), (R = ParamX), Prelude in { + +lincat + Clause = {subj : NP ; vp : VP} ; + Part = Adv ; + +lin + ClauseS part temp pol cl = + mkS temp pol (mkCl (mkNP cl.subj part) cl.vp) ; + SubjKinS part temp pol cl = + mkS temp pol (mkCl (mkNP (mkNP cl.subj (kin.s ! pol.p)) part) cl.vp) ; + VerbKinS part temp pol cl = + mkS temp pol (mkCl (mkNP cl.subj part) (mkVP cl.vp (kin.s ! pol.p))) ; + AdvKinS part temp pol adv cl = + mkS temp pol (mkCl (mkNP cl.subj part) (mkVP (mkVP cl.vp adv) (kin.s ! pol.p))) ; + PreAdvS part temp pol adv cl = + mkS adv (mkS part (mkS temp pol (mkCl cl.subj cl.vp))) ; + PreAdvKinS part temp pol adv cl = + mkS adv (mkS part (mkS (kin.s ! pol.p) (mkS temp pol (mkCl cl.subj cl.vp)))) ; + PreAdvSubjKinS part temp pol adv cl = + mkS adv (mkS part (mkS temp pol (mkCl (mkNP cl.subj (kin.s ! pol.p)) cl.vp))) ; + PreAdvVerbKinS part temp pol adv cl = + mkS adv (mkS part (mkS temp pol (mkCl cl.subj (mkVP cl.vp (kin.s ! pol.p))))) ; + PreAdvAdvKinS part temp pol adv1 adv2 cl = + mkS adv1 (mkS part (mkS temp pol (mkCl cl.subj (mkVP (mkVP cl.vp adv2) (kin.s ! pol.p))))) ; + + PredClause subj v = {subj = subj ; vp = v} ; + +--- AnterVerbS part kin t pol cl = +--- mkS t anteriorAnt pol (mkCl (mkNP cl.subj part) (mkVP cl.vp (kin.s ! pol.p))) ; + + noPart = P.mkAdv [] ; + han_Part = P.mkAdv "as you know" ; + pa_Part = P.mkAdv "and nobody else" ; + pas_Part = P.mkAdv "and nobody else" ; + ko_Part = P.mkAdv "whether" ; + kos_Part = P.mkAdv "whether" ; + kohan_Part = P.mkAdv "whether" ; + pahan_Part = P.mkAdv "and nobody else as you know" ; + + +oper + kin : {s : R.Polarity => Adv} = + {s = table {R.Pos => P.mkAdv "too" ; R.Neg => P.mkAdv "either"}} ; + +} diff --git a/examples/discourse/DiscourseFin.gf b/examples/discourse/DiscourseFin.gf new file mode 100644 index 000000000..6c577d086 --- /dev/null +++ b/examples/discourse/DiscourseFin.gf @@ -0,0 +1,53 @@ +--# -path=.:alltenses + +concrete DiscourseFin of Discourse = + LexiconFin, + NounFin, VerbFin - [SlashV2VNP,SlashVV], + AdjectiveFin, AdverbFin, + StructuralFin - [nobody_NP,nothing_NP], + TenseX +** open SyntaxFin, (P = ParadigmsFin), (R = ParamX), Prelude in { + +lincat + Clause = {subj : NP ; vp : VP} ; + Part = Adv ; + +lin + ClauseS part temp pol cl = + mkS temp pol (mkCl (mkNP cl.subj part) cl.vp) ; + SubjKinS part temp pol cl = + mkS temp pol (mkCl (mkNP (mkNP cl.subj (kin.s ! pol.p)) part) cl.vp) ; + VerbKinS part temp pol cl = + mkS temp pol (mkCl (mkNP cl.subj part) (mkVP cl.vp (kin.s ! pol.p))) ; + AdvKinS part temp pol adv cl = + mkS temp pol (mkCl (mkNP cl.subj part) (mkVP (mkVP cl.vp adv) (kin.s ! pol.p))) ; + PreAdvS part temp pol adv cl = + mkS adv (mkS part (mkS temp pol (mkCl cl.subj cl.vp))) ; + PreAdvKinS part temp pol adv cl = + mkS adv (mkS part (mkS (kin.s ! pol.p) (mkS temp pol (mkCl cl.subj cl.vp)))) ; + PreAdvSubjKinS part temp pol adv cl = + mkS adv (mkS part (mkS temp pol (mkCl (mkNP cl.subj (kin.s ! pol.p)) cl.vp))) ; + PreAdvVerbKinS part temp pol adv cl = + mkS adv (mkS part (mkS temp pol (mkCl cl.subj (mkVP cl.vp (kin.s ! pol.p))))) ; + PreAdvAdvKinS part temp pol adv1 adv2 cl = + mkS adv1 (mkS part (mkS temp pol (mkCl cl.subj (mkVP (mkVP cl.vp adv2) (kin.s ! pol.p))))) ; + + PredClause subj v = {subj = subj ; vp = v} ; + + noPart = P.mkAdv [] ; + han_Part = P.mkAdv (glueTok "han") ; + pa_Part = P.mkAdv (glueTok "pa") ; + pas_Part = P.mkAdv (glueTok "pas") ; + ko_Part = P.mkAdv (glueTok "ko") ; + kos_Part = P.mkAdv (glueTok "kos") ; + kohan_Part = P.mkAdv (glueTok "kohan") ; + pahan_Part = P.mkAdv (glueTok "pahan") ; + + +oper + kin : {s : R.Polarity => Adv} = + {s = table {R.Pos => P.mkAdv (glueTok "kin") ; R.Neg => P.mkAdv (glueTok "kaan")}} ; + + glueTok : Str -> Str = \s -> "&+" ++ s ; + +} diff --git a/lib/src/finnish/frequency/particles.txt b/examples/discourse/particles.txt similarity index 100% rename from lib/src/finnish/frequency/particles.txt rename to examples/discourse/particles.txt