diff options
Diffstat (limited to 'examples/query/small/QueryFin.gf')
| -rw-r--r-- | examples/query/small/QueryFin.gf | 172 |
1 files changed, 172 insertions, 0 deletions
diff --git a/examples/query/small/QueryFin.gf b/examples/query/small/QueryFin.gf new file mode 100644 index 000000000..8d8b6c426 --- /dev/null +++ b/examples/query/small/QueryFin.gf @@ -0,0 +1,172 @@ +--# -path=.:alltenses + +concrete QueryFin of Query = open + ParadigmsFin, + SyntaxFin, + ExtraFin, + (L = LangFin), + Prelude +in { + +lincat + Move = Utt ; ---- Text ; + Query = Utt ; + Answer = Utt ; + Set = NP ; + Relation = {cn : CN ; prep : Prep} ; + Kind = CN ; + Property = AP ; ---- {vp : VP ; typ : PropTyp} ; + Individual = NP ; + Activity = VP ; + Name = NP ; + Loc = NP ; + Org = NP ; + Pers = NP ; + [Individual] = [NP] ; + +lin + MQuery q = q ; ---- mkText (mkPhr q) questMarkPunct ; + MAnswer a = a ; ---- mkText (mkPhr a) fullStopPunct ; + + QSet s = + let + ss : NP = s + | mkNP (mkNP thePl_Det L.name_N) (mkAdv possess_Prep s) + ---- s's names + in + mkUtt (mkImp (mkVP give_V3 (mkNP i_Pron) ss)) + | mkUtt (mkQS (mkQCl (L.CompIP whatSg_IP) ss)) + | mkUtt (mkQS (mkQCl (L.CompIP (L.IdetIP (mkIDet which_IQuant))) ss)) + | mkUtt ss ; + + QWhere s = mkUtt (mkQS (mkQCl where_IAdv s)) ; + QInfo s = + let + info : NP = mkNP (all_NP | (mkNP information_N)) (mkAdv about_Prep s) ; + in + mkUtt (mkImp (mkVP give_V3 (mkNP i_Pron) info)) + | mkUtt info ; + + QCalled i = mkUtt (mkQS (mkQCl how_IAdv (mkCl i (mkVP also_AdV (mkVP called_A))))) ; + + AKind s k = mkUtt (mkCl s (mkNP aPl_Det k)) ; ---- a, fun of s + AProp s p = mkUtt (mkCl s p) ; + AAct s p = mkUtt (mkCl s p) ; + + SAll k = mkNP all_Predet (mkNP aPl_Det k) | mkNP thePl_Det k ; + SOne k = mkNP n1_Numeral k ; + SIndef k = mkNP a_Det k ; + SPlural k = mkNP aPl_Det k ; + SOther k = mkNP aPl_Det (mkCN other_A k) ; + SInd i = i ; + SInds is = mkNP and_Conj is ; + + KRelSet r s = + mkCN r.cn (mkAdv r.prep s) ; + ---- | S's R + +---- KRelsSet r q s = +---- mkCN r.cn (mkAdv r.prep s) ; + + KRelKind k r s = + mkCN k (mkRS (mkRCl that_RP (mkVP (mkNP aPl_Det (mkCN r.cn (mkAdv r.prep s)))))) ; + + KRelPair k r = mkCN k (mkAdv with_Prep (mkNP (mkQuant they_Pron) plNum r.cn)) ; + KProp p k = + mkCN p k + | mkCN k (mkRS (mkRCl that_RP (mkVP p))) ; + KAct p k = + mkCN k (mkRS (mkRCl that_RP p)) ; + KRel r = r.cn ; + + IName n = n ; + NLoc n = n ; + NOrg n = n ; + NPers n = n; + + ACalled is = mkVP also_AdV (mkVP (mkAP (mkA2 called_A (casePrep translative)) (mkNP or_Conj is))) ; + + BaseIndividual = mkListNP ; + ConsIndividual = mkListNP ; + +oper +-- structural words + about_Prep = casePrep elative ; + all_NP = mkNP (mkPN (mkN "kaikki" "kaiken")) ; --- + also_AdV = ss "myös" ; + as_Prep = casePrep essive ; + at_Prep = casePrep adessive ; + called_A = mkA "kutsuttu" ; + give_V3 = mkV3 (mkV "antaa") (casePrep allative) (casePrep nominative) ; + information_N = mkN "tieto" ; + other_A = mkA "muu" ; + that_RP = which_RP ; + +-- lexical constructors + mkName : Str -> NP = + \s -> mkNP (mkPN s) ; + mkRelation : Str -> {cn : CN ; prep : Prep} = + \s -> {cn = mkCN (mkN s) ; prep = possess_Prep} ; + +-- lexicon + +lincat + Country = {np : NP ; a : A} ; + JobTitle = CN ; +lin + NCountry c = c.np ; + PCountry c = mkAP c.a ; + + Located i = + mkAP (mkA2 (mkA "sijaitseva") in_Prep) i ; + + Employed i = mkAP (mkA2 (mkA "töissä") at_Prep) i ; + + Work i = + mkVP (mkV2 (mkV "työskennellä") at_Prep) i ; + + HaveTitle t i = + mkVP (mkVP (mkNP t)) (mkAdv at_Prep i) ; +-- | mkVP (mkVP (mkV2 (mkV "work") as_Prep) (mkNP t)) (mkAdv at_Prep i) ; +-- | mkVP (mkVP have_V2 (mkNP the_Det (mkCN (mkN2 (mkN "title")) (mkNP t)))) (mkAdv at_Prep i) ; + + Organization = mkCN (mkN "organisaatio" "organisaatioita") ; + Place = mkCN (mkN "paikka") ; + Person = + mkCN (mkN "henkilö" "henkilöitä") ; + + Location = mkRelation "sijainti" ; + Region = mkRelation "alue" ; + Subregion = mkRelation "alue" ; + RName = mkRelation "nimi" ; + RNickname = mkRelation "lempinimi" ; + +-- JobTitles + JobTitle1 = mkCN (mkN "'JobTitle1") ; + JobTitle2 = mkCN (mkN "'JobTitle2") ; + JobTitle3 = mkCN (mkN "'JobTitle3") ; + JobTitle4 = mkCN (mkN "'JobTitle4") ; + +-- Locations + Location1 = mkName "'Location1" ; + Location2 = mkName "'Location2" ; + Location3 = mkName "'Location3" ; + Location4 = mkName "'Location4" ; + +-- Organizations + Organization1 = mkName "'Organization1" ; + Organization2 = mkName "'Organization2" ; + Organization3 = mkName "'Organization3" ; + Organization4 = mkName "'Organization4" ; + +-- Persons + Person1 = mkName "'Person1" ; + Person2 = mkName "'Person2" ; + Person3 = mkName "'Person3" ; + Person4 = mkName "'Person4" ; + +oper + mkCountry : Str -> Str -> {np : NP ; a : A} = + \n,a -> {np = mkNP (mkPN n) ; a = mkA a} ; + +} |