mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-15 15:59:32 -06:00
new verbs
This commit is contained in:
107
lib/resource/french/ConjugNancy.gf
Normal file
107
lib/resource/french/ConjugNancy.gf
Normal file
@@ -0,0 +1,107 @@
|
||||
resource ConjugNancy = open TypesFre, MorphoFre in {
|
||||
|
||||
oper mkNV : Verbe -> Verb = \ve -> verbPres ve AHabere ; --- AEsse
|
||||
|
||||
oper conj : Str -> Verbe = conj1aimer ; --- temp. default
|
||||
|
||||
oper v_nancy1 : Str -> Verb = \s -> mkNV (conjAvoir s) ;
|
||||
oper v_nancy2 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy3 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy4 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy5 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy6 : Str -> Verb = \s -> mkNV (conj1aimer s) ;
|
||||
oper v_nancy7 : Str -> Verb = \s -> mkNV (conj1placer s) ;
|
||||
oper v_nancy8 : Str -> Verb = \s -> mkNV (conj1manger s) ;
|
||||
oper v_nancy9 : Str -> Verb = \s -> mkNV (conj1peser s) ;
|
||||
oper v_nancy10 : Str -> Verb = \s -> mkNV (conj1céder s) ;
|
||||
oper v_nancy11 : Str -> Verb = \s -> mkNV (conj1jeter s) ;
|
||||
oper v_nancy12 : Str -> Verb = \s -> mkNV (conj1jeter s) ;
|
||||
oper v_nancy13 : Str -> Verb = \s -> mkNV (conj1aimer s) ;
|
||||
oper v_nancy14 : Str -> Verb = \s -> mkNV (conj1assiéger s) ;
|
||||
oper v_nancy15 : Str -> Verb = \s -> mkNV (conj1aimer s) ; --- ?
|
||||
oper v_nancy16 : Str -> Verb = \s -> mkNV (conj1payer s) ;
|
||||
oper v_nancy17 : Str -> Verb = \s -> mkNV (conj1payer s) ;
|
||||
oper v_nancy18 : Str -> Verb = \s -> mkNV (conj1envoyer s) ;
|
||||
oper v_nancy19 : Str -> Verb = \s -> mkNV (conj2finir s) ;
|
||||
oper v_nancy20 : Str -> Verb = \s -> mkNV (conj2haïr s) ;
|
||||
oper v_nancy21 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy22 : Str -> Verb = \s -> mkNV (conj3aller s) ;
|
||||
oper v_nancy23 : Str -> Verb = \s -> mkNV (conj3tenir s) ;
|
||||
oper v_nancy24 : Str -> Verb = \s -> mkNV (conj3quérir s) ;
|
||||
oper v_nancy25 : Str -> Verb = \s -> mkNV (conj3sentir s) ;
|
||||
oper v_nancy26 : Str -> Verb = \s -> mkNV (conj3vêtir s) ;
|
||||
oper v_nancy27 : Str -> Verb = \s -> mkNV (conj3couvrir s) ;
|
||||
oper v_nancy28 : Str -> Verb = \s -> mkNV (conj3cueillir s) ;
|
||||
oper v_nancy29 : Str -> Verb = \s -> mkNV (conj3assaillir s) ;
|
||||
oper v_nancy30 : Str -> Verb = \s -> mkNV (conj3faillir s) ;
|
||||
oper v_nancy31 : Str -> Verb = \s -> mkNV (conj3bouillir s) ;
|
||||
oper v_nancy32 : Str -> Verb = \s -> mkNV (conj3dormir s) ;
|
||||
oper v_nancy33 : Str -> Verb = \s -> mkNV (conj3courir s) ;
|
||||
oper v_nancy34 : Str -> Verb = \s -> mkNV (conj3mourir s) ;
|
||||
oper v_nancy35 : Str -> Verb = \s -> mkNV (conj3sentir s) ;
|
||||
oper v_nancy36 : Str -> Verb = \s -> mkNV (conj3fuir s) ;
|
||||
oper v_nancy37 : Str -> Verb = \s -> mkNV (conj3ouïr s) ;
|
||||
oper v_nancy38 : Str -> Verb = \s -> mkNV (conj3cevoir s) ;
|
||||
oper v_nancy39 : Str -> Verb = \s -> mkNV (conj3voir s) ;
|
||||
oper v_nancy40 : Str -> Verb = \s -> mkNV (conj3pourvoir s) ;
|
||||
oper v_nancy41 : Str -> Verb = \s -> mkNV (conj3savoir s) ;
|
||||
oper v_nancy42 : Str -> Verb = \s -> mkNV (conj3devoir s) ;
|
||||
oper v_nancy43 : Str -> Verb = \s -> mkNV (conj3pouvoir s) ;
|
||||
oper v_nancy44 : Str -> Verb = \s -> mkNV (conj3mouvoir s) ;
|
||||
oper v_nancy45 : Str -> Verb = \s -> mkNV (conj3pleuvoir s) ;
|
||||
oper v_nancy46 : Str -> Verb = \s -> mkNV (conj3falloir s) ;
|
||||
oper v_nancy47 : Str -> Verb = \s -> mkNV (conj3valoir s) ;
|
||||
oper v_nancy48 : Str -> Verb = \s -> mkNV (conj3vouloir s) ;
|
||||
oper v_nancy49 : Str -> Verb = \s -> mkNV (conj3asseoir s) ;
|
||||
oper v_nancy50 : Str -> Verb = \s -> mkNV (conj3messeoir s) ; --- ?
|
||||
oper v_nancy51 : Str -> Verb = \s -> mkNV (conj3surseoir s) ;
|
||||
oper v_nancy52 : Str -> Verb = \s -> mkNV (conj3choir s) ;
|
||||
oper v_nancy53 : Str -> Verb = \s -> mkNV (conj3rendre s) ;
|
||||
oper v_nancy54 : Str -> Verb = \s -> mkNV (conj3prendre s) ;
|
||||
oper v_nancy55 : Str -> Verb = \s -> mkNV (conj3battre s) ;
|
||||
oper v_nancy56 : Str -> Verb = \s -> mkNV (conj3mettre s) ;
|
||||
oper v_nancy57 : Str -> Verb = \s -> mkNV (conj3peindre s) ;
|
||||
oper v_nancy58 : Str -> Verb = \s -> mkNV (conj3joindre s) ;
|
||||
oper v_nancy59 : Str -> Verb = \s -> mkNV (conj3craindre s) ;
|
||||
oper v_nancy60 : Str -> Verb = \s -> mkNV (conj3vaincre s) ;
|
||||
oper v_nancy61 : Str -> Verb = \s -> mkNV (conj3traire s) ;
|
||||
oper v_nancy62 : Str -> Verb = \s -> mkNV (conj3faire s) ;
|
||||
oper v_nancy63 : Str -> Verb = \s -> mkNV (conj3plaire s) ;
|
||||
oper v_nancy64 : Str -> Verb = \s -> mkNV (conj3connaître s) ;
|
||||
oper v_nancy65 : Str -> Verb = \s -> mkNV (conj3naître s) ;
|
||||
oper v_nancy66 : Str -> Verb = \s -> mkNV (conj3paître s) ;
|
||||
oper v_nancy67 : Str -> Verb = \s -> mkNV (conj3croître s) ;
|
||||
oper v_nancy68 : Str -> Verb = \s -> mkNV (conj3croire s) ;
|
||||
oper v_nancy69 : Str -> Verb = \s -> mkNV (conj3boire s) ;
|
||||
oper v_nancy70 : Str -> Verb = \s -> mkNV (conj3clore s) ;
|
||||
oper v_nancy71 : Str -> Verb = \s -> mkNV (conj3conclure s) ;
|
||||
oper v_nancy72 : Str -> Verb = \s -> mkNV (conj3absoudre s) ;
|
||||
oper v_nancy73 : Str -> Verb = \s -> mkNV (conj3coudre s) ;
|
||||
oper v_nancy74 : Str -> Verb = \s -> mkNV (conj3moudre s) ;
|
||||
oper v_nancy75 : Str -> Verb = \s -> mkNV (conj3suivre s) ;
|
||||
oper v_nancy76 : Str -> Verb = \s -> mkNV (conj3vivre s) ;
|
||||
oper v_nancy77 : Str -> Verb = \s -> mkNV (conj3lire s) ;
|
||||
oper v_nancy78 : Str -> Verb = \s -> mkNV (conj3dire s) ;
|
||||
oper v_nancy79 : Str -> Verb = \s -> mkNV (conj3rire s) ;
|
||||
oper v_nancy80 : Str -> Verb = \s -> mkNV (conj3écrire s) ;
|
||||
oper v_nancy81 : Str -> Verb = \s -> mkNV (conj3confire s) ;
|
||||
oper v_nancy82 : Str -> Verb = \s -> mkNV (conj3cuire s) ;
|
||||
oper v_nancy83 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy84 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy85 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy86 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy87 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy88 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy89 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy90 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy91 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy92 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy93 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy94 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy95 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy96 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy97 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy98 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy99 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
oper v_nancy100 : Str -> Verb = \s -> mkNV (conj s) ;
|
||||
}
|
||||
@@ -483,6 +483,16 @@ oper
|
||||
}
|
||||
in auxConj1 céd cèd céder ;
|
||||
|
||||
conj1peser : Str -> Verbe = \céder -> ---- ? a verifier
|
||||
let {
|
||||
ced = troncVerb céder ;
|
||||
d = Predef.dp 1 ced ;
|
||||
c = Predef.tk 2 ced ;
|
||||
cèd = c + "è" + d ;
|
||||
céd = c + "e" + d
|
||||
}
|
||||
in auxConj1 céd cèd céder ;
|
||||
|
||||
conj1jeter : Str -> Verbe = \jeter ->
|
||||
let {
|
||||
jet = troncVerb jeter ;
|
||||
|
||||
6533
lib/resource/french/VerbesAbs.gf
Normal file
6533
lib/resource/french/VerbesAbs.gf
Normal file
File diff suppressed because it is too large
Load Diff
6538
lib/resource/french/VerbesFre.gf
Normal file
6538
lib/resource/french/VerbesFre.gf
Normal file
File diff suppressed because it is too large
Load Diff
@@ -520,9 +520,12 @@ oper
|
||||
Jean = jean.s ! (case2pformClit aime.c) ;
|
||||
AAime = formVerb2 aime g w ;
|
||||
A = AAime.verb ;
|
||||
Aime = AAime.part ! pgen2gen jean.g ! jean.n
|
||||
clit = (andB (isNounPhraseClit jean) (isTransVerbClit aime)) ;
|
||||
Aime = if_then_Str clit
|
||||
(AAime.part ! pgen2gen jean.g ! jean.n)
|
||||
(AAime.part ! Masc ! Sg)
|
||||
in
|
||||
if_then_Str (andB (isNounPhraseClit jean) (isTransVerbClit aime))
|
||||
if_then_Str clit
|
||||
(posNeg b (Jean ++ A) Aime)
|
||||
(posNeg b A (Aime ++ Jean))
|
||||
} ;
|
||||
@@ -565,10 +568,12 @@ oper
|
||||
let
|
||||
adonne = formVerb2 donner g w ;
|
||||
a = adonne.verb ;
|
||||
donne = adonne.part ! pgen2gen vin.g ! vin.n ;
|
||||
isClit = isDitransVerbClit donner ;
|
||||
cJean = andB (isNounPhraseClit jean) (isClit.p1) ;
|
||||
cVin = andB (isNounPhraseClit vin) (isClit.p2) ;
|
||||
donne = if_then_Str cVin
|
||||
(adonne.part ! pgen2gen vin.g ! vin.n)
|
||||
(adonne.part ! Masc ! Sg) ;
|
||||
Jean = jean.s ! (case2pformClit donner.c) ;
|
||||
Vin = vin.s ! (case2pformClit donner.c3) ;
|
||||
aJean = if_then_Str cJean [] Jean ;
|
||||
@@ -580,21 +585,6 @@ oper
|
||||
} ;
|
||||
|
||||
|
||||
|
||||
complTransVerb : TransVerb -> NounPhrase -> VerbGroup = \aime,jean ->
|
||||
{s = \\b,g,w => ---- BUG: v gives stack overflow
|
||||
let
|
||||
Jean = jean.s ! (case2pformClit aime.c) ;
|
||||
AAime = formVerb2 aime g w ;
|
||||
A = AAime.verb ;
|
||||
Aime = AAime.part ! pgen2gen jean.g ! jean.n
|
||||
in
|
||||
if_then_Str (andB (isNounPhraseClit jean) (isTransVerbClit aime))
|
||||
(posNeg b (Jean ++ A) Aime)
|
||||
(posNeg b A (Aime ++ Jean))
|
||||
} ;
|
||||
|
||||
|
||||
-- The following macro builds the "ne - pas" or "non" negation. The second
|
||||
-- string argument is used for the complement of a verb phrase. In Italian,
|
||||
-- one string argument would actually be enough.
|
||||
|
||||
Reference in New Issue
Block a user