mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 13:09:33 -06:00
173 lines
4.4 KiB
Plaintext
173 lines
4.4 KiB
Plaintext
--# -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} ;
|
|
|
|
}
|