mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
DictionaryIta bootstrapped from Wiktionary, 16k lemmas
This commit is contained in:
@@ -250,7 +250,12 @@ oper
|
||||
-- Three-place (ditransitive) verbs need two prepositions, of which
|
||||
-- the first one or both can be absent.
|
||||
|
||||
mkV3 : V -> Prep -> Prep -> V3 ; -- parlare, a, di
|
||||
mkV3 : overload {
|
||||
mkV3 : V -> V3 ; -- donner (+ accusative + dative)
|
||||
mkV3 : V -> Prep -> V3 ; -- placer (+ accusative) + dans
|
||||
mkV3 : V -> Prep -> Prep -> V3 -- parler + dative + genitive
|
||||
} ;
|
||||
|
||||
dirV3 : V -> Prep -> V3 ; -- dare,_,a
|
||||
dirdirV3 : V -> V3 ; -- dare,_,_
|
||||
|
||||
@@ -262,15 +267,26 @@ oper
|
||||
|
||||
mkV0 : V -> V0 ; --%
|
||||
mkVS : V -> VS ;
|
||||
mkV2S : V -> Prep -> V2S ;
|
||||
mkVV : V -> VV ; -- plain infinitive: "voglio parlare"
|
||||
deVV : V -> VV ; -- "cerco di parlare"
|
||||
aVV : V -> VV ; -- "arrivo a parlare"
|
||||
mkV2V : V -> Prep -> Prep -> V2V ;
|
||||
mkVA : V -> VA ;
|
||||
mkV2A : V -> Prep -> Prep -> V2A ;
|
||||
mkVQ : V -> VQ ;
|
||||
mkV2Q : V -> Prep -> V2Q ;
|
||||
mkV2S : overload {
|
||||
mkV2S : V -> V2S ;
|
||||
mkV2S : V -> Prep -> V2S ;
|
||||
} ;
|
||||
mkV2V : overload {
|
||||
mkV2V : V -> V2V ;
|
||||
mkV2V : V -> Prep -> Prep -> V2V ;
|
||||
} ;
|
||||
mkV2A : overload {
|
||||
mkV2A : V -> V2A ;
|
||||
mkV2A : V -> Prep -> Prep -> V2A ;
|
||||
} ;
|
||||
|
||||
|
||||
|
||||
mkAS : A -> AS ; --%
|
||||
mkA2S : A -> Prep -> A2S ; --%
|
||||
@@ -395,10 +411,6 @@ oper
|
||||
dirV2 v = mk2V2 v accusative ;
|
||||
v2V v = v ** {lock_V = <>} ;
|
||||
|
||||
mkV3 v p q = {s = v.s ; vtyp = v.vtyp ;
|
||||
c2 = p ; c3 = q ; lock_V3 = <>} ;
|
||||
dirV3 v p = mkV3 v accusative p ;
|
||||
dirdirV3 v = dirV3 v dative ;
|
||||
|
||||
V0 : Type = V ;
|
||||
AS, AV : Type = A ;
|
||||
@@ -406,16 +418,42 @@ oper
|
||||
|
||||
mkV0 v = v ** {lock_V0 = <>} ;
|
||||
mkVS v = v ** {m = \\_ => Indic ; lock_VS = <>} ; ---- more moods
|
||||
mkV2S v p = mk2V2 v p ** {mn,mp = Indic ; lock_V2S = <>} ;
|
||||
mkVV v = v ** {c2 = complAcc ; lock_VV = <>} ;
|
||||
deVV v = v ** {c2 = complGen ; lock_VV = <>} ;
|
||||
aVV v = v ** {c2 = complDat ; lock_VV = <>} ;
|
||||
mkV2V v p t = mkV3 v p t ** {lock_V2V = <>} ;
|
||||
mkVA v = v ** {lock_VA = <>} ;
|
||||
mkV2A v p q = mkV3 v p q ** {lock_V2A = <>} ;
|
||||
mkVQ v = v ** {lock_VQ = <>} ;
|
||||
mkV2Q v p = mk2V2 v p ** {lock_V2Q = <>} ;
|
||||
|
||||
mmkV3 : V -> Prep -> Prep -> V3 ; -- parler, à, de
|
||||
mmkV3 v p q = v ** {c2 = p ; c3 = q ; lock_V3 = <>} ;
|
||||
dirV3 v p = mmkV3 v accusative p ;
|
||||
dirdirV3 v = dirV3 v dative ;
|
||||
|
||||
mmkV2 : V -> Prep -> V2 ;
|
||||
mmkV2 v p = v ** {c2 = p ; lock_V2 = <>} ;
|
||||
|
||||
mkV3 = overload {
|
||||
mkV3 : V -> V3 = dirdirV3 ; -- donner,_,_
|
||||
mkV3 : V -> Prep -> V3 = dirV3 ; -- placer,_,sur
|
||||
mkV3 : V -> Prep -> Prep -> V3 = mmkV3 -- parler, à, de
|
||||
} ;
|
||||
|
||||
mkV2S = overload {
|
||||
mkV2S : V -> V2S = \v -> mmkV2 v dative ** {mn,mp = Indic ; lock_V2S = <>} ;
|
||||
mkV2S : V -> Prep -> V2S = \v,p -> mmkV2 v p ** {mn,mp = Indic ; lock_V2S = <>} ;
|
||||
} ;
|
||||
mkV2V = overload {
|
||||
mkV2V : V -> V2V = \v -> mmkV3 v accusative dative ** {lock_V2V = <>} ;
|
||||
mkV2V : V -> Prep -> Prep -> V2V = \v,p,q -> mmkV3 v p q ** {lock_V2V = <>} ;
|
||||
} ;
|
||||
|
||||
mkV2A = overload {
|
||||
mkV2A : V -> V2A = \v -> mmkV3 v accusative dative ** {lock_V2A = <>} ;
|
||||
mkV2A : V -> Prep -> Prep -> V2A = \v,p,q -> mmkV3 v p q ** {lock_V2A = <>} ;
|
||||
} ;
|
||||
|
||||
|
||||
mkAS v = v ** {lock_AS = <>} ; ---- more moods
|
||||
mkA2S v p = mkA2 v p ** {lock_A2S = <>} ;
|
||||
mkAV v p = v ** {c = p.p1 ; s2 = p.p2 ; lock_AV = <>} ;
|
||||
@@ -472,6 +510,8 @@ oper
|
||||
mkV : Verbo -> V = verboV ;
|
||||
mkV :
|
||||
(udire,odo,ode,udiamo,udiro,udii,udisti,udi,udirono,odi,udito : Str) -> V = mk11V ;
|
||||
|
||||
mkV : V -> Str -> V = \v,_ -> v ; ---- to recognize particles in dict, not yet in lincat V
|
||||
} ;
|
||||
|
||||
regV : Str -> V ;
|
||||
|
||||
@@ -19605,4 +19605,9 @@ zygomatic_A = mkA "zygomatique";
|
||||
zygote_N = mkN "zygote" masculine;
|
||||
zymase_N = mkN "zymase" feminine;
|
||||
|
||||
lin at_Prep = ParadigmsFre.dative ;
|
||||
lin of_Prep = ParadigmsFre.genitive ;
|
||||
lin by_Prep = mkPrep "par" ;
|
||||
lin as_Prep = mkPrep "comme" ;
|
||||
|
||||
}
|
||||
|
||||
File diff suppressed because it is too large
Load Diff
Reference in New Issue
Block a user