forked from GitHub/gf-core
StructuralGer started
This commit is contained in:
aarne
@@ -1,21 +1,21 @@
|
||||
----# -path=.:../abstract:../common:prelude
|
||||
--
|
||||
--concrete LangGer of Lang =
|
||||
-- NounGer,
|
||||
-- VerbGer,
|
||||
-- AdjectiveGer,
|
||||
-- AdverbGer,
|
||||
--# -path=.:../abstract:../common:prelude
|
||||
|
||||
concrete LangGer of Lang =
|
||||
NounGer,
|
||||
VerbGer,
|
||||
AdjectiveGer,
|
||||
AdverbGer,
|
||||
-- NumeralGer,
|
||||
-- SentenceGer,
|
||||
-- QuestionGer,
|
||||
-- RelativeGer,
|
||||
-- ConjunctionGer,
|
||||
-- PhraseGer,
|
||||
-- TensedGer,
|
||||
-- StructuralGer,
|
||||
SentenceGer,
|
||||
QuestionGer,
|
||||
RelativeGer,
|
||||
ConjunctionGer,
|
||||
PhraseGer,
|
||||
TensedGer,
|
||||
StructuralGer,
|
||||
-- BasicGer
|
||||
-- ** {
|
||||
--
|
||||
--flags startcat = Phr ;
|
||||
--
|
||||
--} ;
|
||||
** {
|
||||
|
||||
flags startcat = Phr ;
|
||||
|
||||
} ;
|
||||
|
||||
@@ -12,286 +12,456 @@ resource MorphoGer = ResGer ** open Prelude, (Predef=Predef) in {
|
||||
|
||||
flags optimize=all ;
|
||||
|
||||
--2 Phonology
|
||||
--
|
||||
-- To regulate the use of endings for both nouns, adjectives, and verbs:
|
||||
|
||||
oper
|
||||
|
||||
mk6V : (x1,_,_,_,_,x6 : Str) -> VAux -> Verb =
|
||||
\geben,gibt,gib,gab,gaebe,gegeben,aux ->
|
||||
let
|
||||
en = Predef.dp 2 geben ;
|
||||
geb = case Predef.tk 1 en of {
|
||||
"e" => Predef.tk 2 geben ;
|
||||
_ => Predef.tk 1 geben
|
||||
} ;
|
||||
gibst = case last geb of {
|
||||
"s" | "x" | "z" | "ß" => gibt ;
|
||||
_ => gib + "st"
|
||||
} ;
|
||||
gebt = addE geb + "t" ;
|
||||
gebte = ifTok Tok (Predef.dp 1 gab) "e" gab (gab + "e") ;
|
||||
gegebener = (regA gegeben).s ! Posit ;
|
||||
gabe = addE gab ;
|
||||
gibe = ifTok Str (Predef.dp 2 gib) "ig" "e" [] ++ addE gib
|
||||
in {s = table {
|
||||
-- For [Structural Structural.html].
|
||||
|
||||
mkPrep : Str -> Case -> Preposition = \s,c ->
|
||||
{s = s ; c = c} ;
|
||||
|
||||
nameNounPhrase : {s : Case => Str} -> {s : Case => Str ; a : Agr} = \name ->
|
||||
name ** {a = agrP3 Sg} ;
|
||||
|
||||
detLikeAdj : Number -> Str ->
|
||||
{s : Gender => Case => Str ; n : Number ; a : Adjf} = \n,dies ->
|
||||
{s = appAdj (regA dies) ! n ; n = n ; a = Weak} ;
|
||||
|
||||
|
||||
|
||||
|
||||
{-
|
||||
--2 Nouns
|
||||
|
||||
-- But we never need all the six forms at the same time. Often
|
||||
-- we need just two, three, or four forms.
|
||||
oper
|
||||
|
||||
mkNoun4 : (_,_,_,_ : Str) -> Gender -> CommNoun = \kuh,kuhes,kühe,kühen ->
|
||||
mkNoun kuh kuh kuh kuhes kühe kühen ;
|
||||
|
||||
mkNoun3 : (_,_,_ : Str) -> Gender -> CommNoun = \kuh,kühe,kühen ->
|
||||
mkNoun kuh kuh kuh kuh kühe kühen ;
|
||||
|
||||
mkNoun2n : (_,_ : Str) -> Gender -> CommNoun = \zahl, zahlen ->
|
||||
mkNoun3 zahl zahlen zahlen ;
|
||||
|
||||
mkNoun2es : (_,_ : Str) -> Gender -> CommNoun = \wort, wörter ->
|
||||
mkNoun wort wort wort (wort + "es") wörter (wörter + "n") ;
|
||||
|
||||
mkNoun2s : (_,_ : Str) -> Gender -> CommNoun = \vater, väter ->
|
||||
mkNoun vater vater vater (vater + "s") väter (väter + "n") ;
|
||||
|
||||
mkNoun2ses : (_,_ : Str) -> Gender -> CommNoun = \wort,wörter ->
|
||||
mkNoun wort wort wort (wort + variants {"es" ; "s"}) wörter (wörter + "n") ;
|
||||
|
||||
-- Here are the school grammar declensions with their commonest variations.
|
||||
-- Unfortunately we cannot define *Umlaut* in GF, but have to give two forms.
|
||||
--
|
||||
-- First declension, with plural "en"/"n", including weak masculines:
|
||||
|
||||
declN1 : Str -> CommNoun = \zahl ->
|
||||
mkNoun2n zahl (zahl + "en") Fem ;
|
||||
|
||||
declN1in : Str -> CommNoun = \studentin ->
|
||||
mkNoun2n studentin (studentin + "nen") Fem ;
|
||||
|
||||
declN1e : Str -> CommNoun = \stufe ->
|
||||
mkNoun2n stufe (stufe + "n") Fem ;
|
||||
|
||||
declN1M : Str -> CommNoun = \junge -> let {jungen = junge + "n"} in
|
||||
mkNoun junge jungen jungen jungen jungen jungen Masc ;
|
||||
|
||||
declN1eM : Str -> CommNoun = \soldat -> let {soldaten = soldat + "en"} in
|
||||
mkNoun soldat soldaten soldaten soldaten soldaten soldaten Masc ;
|
||||
|
||||
-- Second declension, with plural "e":
|
||||
|
||||
declN2 : Str -> CommNoun = \punkt ->
|
||||
mkNoun2es punkt (punkt+"e") Masc ;
|
||||
|
||||
declN2n : Str -> CommNoun = \bein ->
|
||||
mkNoun2es bein (bein+"e") Neut ;
|
||||
|
||||
declN2i : Str -> CommNoun = \onkel ->
|
||||
mkNoun2s onkel onkel Masc ;
|
||||
|
||||
declN2in : Str -> CommNoun = \segel ->
|
||||
mkNoun2s segel segel Neut ;
|
||||
|
||||
declN2u : (_,_ : Str) -> CommNoun = \raum,räume ->
|
||||
mkNoun2es raum räume Masc ;
|
||||
|
||||
declN2uF : (_,_ : Str) -> CommNoun = \kuh,kühe ->
|
||||
mkNoun3 kuh kühe (kühe + "n") Fem ;
|
||||
|
||||
-- Third declension, with plural "er":
|
||||
|
||||
declN3 : Str -> CommNoun = \punkt ->
|
||||
mkNoun2es punkt (punkt+"er") Neut ;
|
||||
|
||||
declN3u : (_,_ : Str) -> CommNoun = \buch,bücher ->
|
||||
mkNoun2ses buch bücher Neut ;
|
||||
|
||||
declN3uS : (_,_ : Str) -> CommNoun = \haus,häuser ->
|
||||
mkNoun2es haus häuser Neut ;
|
||||
|
||||
-- Plural with "s":
|
||||
|
||||
declNs : Str -> CommNoun = \restaurant ->
|
||||
mkNoun3 restaurant (restaurant+"s") (restaurant+"s") Neut ;
|
||||
|
||||
|
||||
|
||||
--2 Adjectives
|
||||
--
|
||||
-- As explained in $types.Deu.gf$, it
|
||||
-- would be superfluous to use the cross product of gender and number,
|
||||
-- since there is no gender distinction in the plural. But it is handy to have
|
||||
-- a function that constructs gender-number complexes.
|
||||
|
||||
gNumber : Gender -> Number -> GenNum = \g,n ->
|
||||
case n of {
|
||||
Sg => GSg g ;
|
||||
Pl => GPl
|
||||
} ;
|
||||
|
||||
-- This function costructs parameters in the complex type of adjective forms.
|
||||
|
||||
aMod : Adjf -> Gender -> Number -> Case -> AForm = \a,g,n,c ->
|
||||
AMod a (gNumber g n) c ;
|
||||
|
||||
-- The worst-case macro for adjectives (positive degree) only needs
|
||||
-- two forms.
|
||||
|
||||
mkAdjective : (_,_ : Str) -> Adjective = \böse,bös -> {s = table {
|
||||
APred => böse ;
|
||||
AMod Strong (GSg Masc) c =>
|
||||
caselist (bös+"er") (bös+"en") (bös+"em") (bös+"es") ! c ;
|
||||
AMod Strong (GSg Fem) c =>
|
||||
caselist (bös+"e") (bös+"e") (bös+"er") (bös+"er") ! c ;
|
||||
AMod Strong (GSg Neut) c =>
|
||||
caselist (bös+"es") (bös+"es") (bös+"em") (bös+"es") ! c ;
|
||||
AMod Strong GPl c =>
|
||||
caselist (bös+"e") (bös+"e") (bös+"en") (bös+"er") ! c ;
|
||||
AMod Weak (GSg g) c => case <g,c> of {
|
||||
<_,Nom> => bös+"e" ;
|
||||
<Masc,Acc> => bös+"en" ;
|
||||
<_,Acc> => bös+"e" ;
|
||||
_ => bös+"en" } ;
|
||||
AMod Weak GPl c => bös+"en"
|
||||
}} ;
|
||||
|
||||
-- Here are some classes of adjectives:
|
||||
|
||||
adjReg : Str -> Adjective = \gut -> mkAdjective gut gut ;
|
||||
adjE : Str -> Adjective = \bös -> mkAdjective (bös+"e") bös ;
|
||||
adjEr : Str -> Adjective = \teu -> mkAdjective (teu+"er") (teu+"r") ;
|
||||
adjInvar : Str -> Adjective = \prima -> {s = table {_ => prima}} ;
|
||||
|
||||
-- The first three classes can be recognized from the end of the word, depending
|
||||
-- on if it is "e", "er", or something else.
|
||||
|
||||
adjGen : Str -> Adjective = \gut -> let {
|
||||
er = Predef.dp 2 gut ;
|
||||
teu = Predef.tk 2 gut ;
|
||||
e = Predef.dp 1 gut ;
|
||||
bös = Predef.tk 1 gut
|
||||
} in
|
||||
ifTok Adjective er "er" (adjEr teu) (
|
||||
ifTok Adjective e "e" (adjE bös) (
|
||||
(adjReg gut))) ;
|
||||
|
||||
|
||||
-- The comparison of adjectives needs three adjectives in the worst case.
|
||||
|
||||
mkAdjComp : (_,_,_ : Adjective) -> AdjComp = \gut,besser,best ->
|
||||
{s = table {Pos => gut.s ; Comp => besser.s ; Sup => best.s}} ;
|
||||
|
||||
-- It can be done by just three strings, if each of the comparison
|
||||
-- forms taken separately is a regular adjective.
|
||||
|
||||
adjCompReg3 : (_,_,_ : Str) -> AdjComp = \gut,besser,best ->
|
||||
mkAdjComp (adjReg gut) (adjReg besser) (adjReg best) ;
|
||||
|
||||
-- If also the comparison forms are regular, one string is enough.
|
||||
|
||||
adjCompReg : Str -> AdjComp = \billig ->
|
||||
adjCompReg3 billig (billig+"er") (billig+"st") ;
|
||||
|
||||
|
||||
--OLD:
|
||||
--2 Verbs
|
||||
--
|
||||
-- We limit ourselves to verbs in present tense infinitive, indicative,
|
||||
-- and imperative, and past participle. Other forms will be introduced later.
|
||||
--
|
||||
-- The worst-case macro needs three forms: the infinitive, the third person
|
||||
-- singular indicative, and the second person singular imperative.
|
||||
-- We take care of the special cases "ten", "sen", "ln", "rn".
|
||||
--
|
||||
-- A famous law about Germanic languages says that plural first and third
|
||||
-- person are similar.
|
||||
|
||||
--NEW (By Harald Hammarström):
|
||||
--2 Verbs
|
||||
-- The worst-case macro needs six forms:
|
||||
-- x Infinitive,
|
||||
-- x 3p sg pres. indicative,
|
||||
-- x 2p sg imperative,
|
||||
-- x 1/3p sg imperfect indicative,
|
||||
-- x 1/3p sg imperfect subjunctive (because this uncommon form can have umlaut)
|
||||
-- x the perfect participle
|
||||
|
||||
-- But you'll only want to use one of the five macros:
|
||||
-- x weakVerb -- For a regular verb like legen
|
||||
-- x verbGratulieren -- For a regular verb without ge- in the perfect
|
||||
-- particple. Like gratulieren, beweisen etc
|
||||
-- x verbStrongSingen -- A strong verb without umlauting present tense.
|
||||
-- You'll need to supply the strong imperfect forms
|
||||
-- as well as the participle.
|
||||
-- x verbStrongSehen -- A strong verb that umlauts in the 2/3p sg pres
|
||||
-- indicative as well as the imperative. You'll
|
||||
-- need to give (only) the 3rd p sg pres ind. in
|
||||
-- addition to the strong imperfect forms and the
|
||||
-- part participle.
|
||||
-- x verbStrongLaufen -- A strong verb that umlauts in the 2/3p sg pres
|
||||
-- indicative but NOT the imperative. You'll
|
||||
-- need to give (only) the 3rd p sg pres ind. in
|
||||
-- addition to the strong imperfect forms and the
|
||||
-- part participle.
|
||||
--
|
||||
-- Things that are handled automatically
|
||||
-- x Imperative e (although optional forms are not given)
|
||||
-- x Extra e in verbs like arbeitete, regnet, findet, atmet.
|
||||
-- NOTE: If pres. umlauting strong verbs are defined through the verbumStrong
|
||||
-- macro (which they should) it is automatically handled so they avoid
|
||||
-- falling into this rule e.g er tritt (rather than *er tritet)
|
||||
-- x s is dropped in the 2p sg if appropriate du setzt
|
||||
-- x verbs that end in -rn, -ln rather than -en
|
||||
|
||||
-- Things that are not handled:
|
||||
-- x -ß-/-ss-
|
||||
-- x Optional dropping of -e- in e.g wand(e)re etc
|
||||
-- x Optional indicative forms instead of pres. subj. 2p sg. and 2p pl.
|
||||
-- x (Weak) verbs without the ge- on the participle (in wait for a systematic
|
||||
-- treatment of the insep. prefixes and stress). You have to manually use
|
||||
-- the verbGratulieren for this. E.g do verbGratulieren "beweisen" -
|
||||
-- verbWeak "beweisen" would yield *gebeweist.
|
||||
|
||||
impe : Str -> Str = \stem ->
|
||||
let
|
||||
e = ifTok Str (Predef.dp 2 stem) "ig" "e" [] ;
|
||||
e2 = (adde stem)
|
||||
in
|
||||
e + e2 ;
|
||||
|
||||
adde : Str -> Str = \stem ->
|
||||
let
|
||||
eVowelorLiquid : Str -> Str = \u -> case u of {
|
||||
"l" => "e" ;
|
||||
"r" => "e" ;
|
||||
"a" => "e" ;
|
||||
"o" => "e" ;
|
||||
"u" => "e" ;
|
||||
"e" => "e" ;
|
||||
"i" => "e" ;
|
||||
"ü" => "e" ;
|
||||
"ä" => "e" ;
|
||||
"ö" => "e" ;
|
||||
_ => []
|
||||
} ;
|
||||
|
||||
eConsonantmn : Str -> Str -> Str = \nl, l ->
|
||||
case l of {"m" => eVowelorLiquid nl ;
|
||||
"n" => eVowelorLiquid nl ;
|
||||
_ => []} ;
|
||||
|
||||
|
||||
twolast = Predef.dp 2 stem ;
|
||||
nl = Predef.tk 1 twolast ;
|
||||
l = Predef.dp 1 stem ;
|
||||
e = case l of {
|
||||
"d" => "e" ;
|
||||
"t" => "e" ;
|
||||
_ => eConsonantmn nl l
|
||||
} ;
|
||||
in
|
||||
e ;
|
||||
|
||||
|
||||
mkVerbum : (_,_,_,_,_,_ : Str) -> Verbum = \geben,gibt,gib,gab,gäbe,gegeben ->
|
||||
let {
|
||||
ifSibilant : Str -> Str -> Str -> Str = \u,b1,b2 -> case u of {
|
||||
"s" => b1 ;
|
||||
"x" => b1 ;
|
||||
"z" => b1 ;
|
||||
"ß" => b1 ;
|
||||
_ => b2
|
||||
} ;
|
||||
en = Predef.dp 2 geben ;
|
||||
geb = ifTok Tok (Predef.tk 1 en) "e" (Predef.tk 2 geben)(Predef.tk 1 geben) ;
|
||||
gebt = geb + (adde geb) + "t" ;
|
||||
gebte = ifTok Tok (Predef.dp 1 gab) "e" gab (gab + "e") ;
|
||||
gibst = ifSibilant (Predef.dp 1 gib) (gib + "t") (gib + "st") ;
|
||||
gegebener = (adjReg gegeben).s ;
|
||||
} in table {
|
||||
VInf => geben ;
|
||||
VInd Sg P1 => geb + "e" ;
|
||||
VInd Sg P2 => gibst ;
|
||||
VInd Sg P3 => gibt ;
|
||||
VInd Pl P2 => gebt ;
|
||||
VInd Pl _ => geben ; -- the famous law
|
||||
VImp Sg => gib + (impe gib) ;
|
||||
VImp Pl => gebt ;
|
||||
VSubj Sg P1 => geb + "e" ;
|
||||
VSubj Sg P2 => geb + "est" ;
|
||||
VSubj Sg P3 => geb + "e" ;
|
||||
VSubj Pl P2 => geb + "et" ;
|
||||
VSubj Pl _ => geben ;
|
||||
VPresPart a => (adjReg (geben + "d")).s ! a ;
|
||||
|
||||
VPresInd Sg P1 => geb + "e" ;
|
||||
VPresInd Sg P2 => gibst ;
|
||||
VPresInd Sg P3 => gibt ;
|
||||
VPresInd Pl P2 => gebt ;
|
||||
VPresInd Pl _ => geben ; -- the famous law
|
||||
|
||||
VImper Sg => gibe ;
|
||||
VImper Pl => gebt ;
|
||||
|
||||
VPresSubj Sg P2 => geb + "est" ;
|
||||
VPresSubj Sg _ => geb + "e" ;
|
||||
VPresSubj Pl P2 => geb + "et" ;
|
||||
VPresSubj Pl _ => geben ;
|
||||
|
||||
VPresPart a => (regA (geben + "d")).s ! Posit ! a ;
|
||||
|
||||
VImpfInd Sg P2 => gabe + "st" ;
|
||||
VImpfInd Sg _ => gab ;
|
||||
VImpfInd Pl P2 => gabe + "t" ;
|
||||
VImpfInd Sg P1 => gab ;
|
||||
VImpfInd Sg P2 => gab + (adde gab) + "st" ;
|
||||
VImpfInd Sg P3 => gab ;
|
||||
VImpfInd Pl P2 => gab + (adde gab) + "t" ;
|
||||
VImpfInd Pl _ => gebte + "n" ;
|
||||
|
||||
VImpfSubj Sg P2 => gaebe + "st" ;
|
||||
VImpfSubj Sg _ => gaebe ;
|
||||
VImpfSubj Pl P2 => gaebe + "t" ;
|
||||
VImpfSubj Pl _ => gaebe + "n" ;
|
||||
VImpfSubj Sg P1 => gäbe ;
|
||||
VImpfSubj Sg P2 => gäbe + "st" ;
|
||||
VImpfSubj Sg P3 => gäbe ;
|
||||
VImpfSubj Pl P2 => gäbe + "t" ;
|
||||
VImpfSubj Pl _ => gäbe + "n" ;
|
||||
|
||||
VPastPart a => gegebener ! a
|
||||
VPart a => gegebener ! a
|
||||
} ;
|
||||
aux = aux
|
||||
} ;
|
||||
|
||||
-- This function decides whether to add an "e" to the stem before "t".
|
||||
-- Examples: "töten - tötet", "kehren - kehrt", "lernen - lernt", "atmen - atmet".
|
||||
|
||||
addE : Str -> Str = \stem ->
|
||||
let
|
||||
r = init (Predef.dp 2 stem) ;
|
||||
n = last stem ;
|
||||
in
|
||||
case n of {
|
||||
"t" | "d" => stem + "e" ;
|
||||
"e" | "h" => stem ;
|
||||
_ => case r of {
|
||||
"l" | "r" | "a" | "e" | "i" | "o" | "u" | "ü" | "ä" | "ö" | "h" => stem ;
|
||||
_ => stem + "e"
|
||||
}
|
||||
} ;
|
||||
|
||||
weakV : Str -> Verb = \legen ->
|
||||
-- Weak verbs:
|
||||
verbumWeak : Str -> Verbum = \legen ->
|
||||
let
|
||||
leg = case Predef.dp 2 legen of {
|
||||
"en" => Predef.tk 2 legen ;
|
||||
_ => Predef.tk 1 legen
|
||||
} ;
|
||||
lege = addE leg ;
|
||||
legte = lege + "te"
|
||||
leg = (Predef.tk 2 legen) ;
|
||||
legte = leg + "te" ;
|
||||
in
|
||||
mk6V legen (lege + "t") leg legte legte ("ge" + lege + "t") VHaben ;
|
||||
mkVerbum legen (leg + (adde leg) + "t") leg legte legte ("ge" + (leg + "t")) ;
|
||||
|
||||
-- To eliminate the past participle prefix "ge".
|
||||
regVerb = verbumWeak ;
|
||||
|
||||
no_geV : Verb -> Verb = \verb -> {
|
||||
s = table {
|
||||
VPastPart a => Predef.drop 2 (verb.s ! VPastPart a) ;
|
||||
v => verb.s ! v
|
||||
|
||||
-- Weak verbs that don't have ge- in the participle
|
||||
verbumGratulieren : Str -> Verbum = \gratulieren ->
|
||||
let
|
||||
gratulier = (Predef.tk 2 gratulieren) ;
|
||||
gratulierte = gratulier + "te" ;
|
||||
in
|
||||
mkVerbum gratulieren (gratulier + (adde gratulier) + "t") gratulier gratulierte gratulierte (gratulier + "t") ;
|
||||
|
||||
|
||||
|
||||
-- Strong verbs (non-present-tense umlauting):
|
||||
verbumStrongSingen : (_,_,_,_ : Str) -> Verbum = \singen, sang, sänge, gesungen ->
|
||||
let
|
||||
sing = (Predef.tk 2 singen)
|
||||
in
|
||||
mkVerbum singen (sing + (adde sing) + "t") sing sang sänge gesungen ;
|
||||
|
||||
-- Verbs with Umlaut in the 2nd and 3rd person singular and imperative:
|
||||
verbumStrongSehen : (_,_,_,_,_ : Str) -> Verbum = \sehen,sieht,sah,sähe,gesehen ->
|
||||
let
|
||||
sieh = Predef.tk 1 sieht ;
|
||||
in
|
||||
mkVerbum sehen sieht sieh sah sähe gesehen ;
|
||||
|
||||
-- Verbs with Umlaut in the 2nd and 3rd person singular but not imperative:
|
||||
-- (or any verb where the 3rd p sg pres ind is "special" and the 2p sg pres ind -- uses its stem.)
|
||||
verbumStrongLaufen : (_,_,_,_,_ : Str) -> Verbum = \laufen,läuft,lief,liefe,gelaufen ->
|
||||
let
|
||||
lauf = Predef.dp 2 laufen ;
|
||||
in
|
||||
mkVerbum laufen läuft lauf lief liefe gelaufen ;
|
||||
|
||||
|
||||
-- The verb "be":
|
||||
|
||||
verbumSein : Verbum = let {
|
||||
sein = verbumStrongSingen "sein" "war" "wäre" "gewesen" ;
|
||||
} in
|
||||
table {
|
||||
VInf => "sein" ;
|
||||
VInd Sg P1 => "bin" ;
|
||||
VInd Sg P2 => "bist" ;
|
||||
VInd Sg P3 => "ist" ;
|
||||
VInd Pl P2 => "seid" ;
|
||||
VInd Pl _ => "sind" ;
|
||||
VImp Sg => "sei" ;
|
||||
VImp Pl => "seid" ;
|
||||
|
||||
VSubj Sg P1 => "sei" ;
|
||||
VSubj Sg P2 => (variants {"seiest" ; "seist"}) ;
|
||||
VSubj Sg P3 => "sei" ;
|
||||
VSubj Pl P2 => "seien" ;
|
||||
VSubj Pl _ => "seiet" ;
|
||||
VPresPart a => ((adjReg "seiend").s) ! a ;
|
||||
|
||||
v => sein ! v
|
||||
|
||||
} ;
|
||||
|
||||
-- Modal auxiliary verbs
|
||||
verbumAux : (_,_,_,_,_ : Str) -> Verbum = \können,kann,konnte,könnte,gekonnt ->
|
||||
let k = mkVerbum können kann kann konnte könnte gekonnt ;--- (verbumStrongLaufen können kann konnte könnte gekonnt)
|
||||
in
|
||||
table {
|
||||
VInd Sg P1 => kann ;
|
||||
v => k ! v
|
||||
} ;
|
||||
|
||||
verbumKönnen = verbumAux "können" "kann" "konnte" "könnte" "gekonnt" ;
|
||||
verbumDürfen = verbumAux "dürfen" "darf" "durfte" "dürfte" "gedurft" ;
|
||||
verbumMögen = verbumAux "mögen" "mag" "mochte" "möchte" "gemocht" ;
|
||||
verbumMüssen = verbumAux "müssen" "muss" "musste" "müsste" "gemusst" ;
|
||||
verbumSollen = verbumAux "sollen" "soll" "sollte" "söllte" "gesollt" ;
|
||||
verbumWollen = verbumAux "wollen" "will" "wollte" "wöllte" "gewollt" ;
|
||||
verbumWissen = verbumAux "wissen" "weiss" "wusste" "wüsste" "gewusst" ;
|
||||
|
||||
-- The verb "have":
|
||||
|
||||
verbumHaben : Verbum = let {
|
||||
haben = (verbumStrongSingen "haben" "hatte" "hätte" "gehabt")
|
||||
} in
|
||||
table {
|
||||
VInd Sg P2 => "hast" ;
|
||||
VInd Sg P3 => "hat" ;
|
||||
v => haben ! v
|
||||
} ;
|
||||
aux = verb.aux
|
||||
} ;
|
||||
|
||||
-- To change the default auxiliary "haben" to "sein".
|
||||
-- The verb "become", used as the passive auxiliary:
|
||||
|
||||
seinV : Verb -> Verb = \verb -> {
|
||||
s = verb.s ;
|
||||
aux = VSein
|
||||
} ;
|
||||
verbumWerden : Verbum = let {
|
||||
werden = (verbumStrongSingen "werden" "wurde" "würde" "geworden") ;
|
||||
} in
|
||||
table {
|
||||
VInd Sg P2 => "wirst" ;
|
||||
VInd Sg P3 => "wird" ;
|
||||
v => werden ! v
|
||||
} ;
|
||||
|
||||
|
||||
-- y2ie : Str -> Str -> Str = \fly,s ->
|
||||
-- let y = last (init fly) in
|
||||
-- case y of {
|
||||
-- "a" => fly + s ;
|
||||
-- "e" => fly + s ;
|
||||
-- "o" => fly + s ;
|
||||
-- "u" => fly + s ;
|
||||
-- _ => init fly + "ie" + s
|
||||
-- } ;
|
||||
--
|
||||
--
|
||||
----2 Nouns
|
||||
----
|
||||
---- For conciseness and abstraction, we define a worst-case macro for
|
||||
---- noun inflection. It is used for defining special case that
|
||||
---- only need one string as argument.
|
||||
--
|
||||
--oper
|
||||
-- CommonNoun : Type = {s : Number => Case => Str} ;
|
||||
--
|
||||
-- nounGen : Str -> CommonNoun = \dog -> case last dog of {
|
||||
-- "y" => nounY "dog" ;
|
||||
-- "s" => nounS (init "dog") ;
|
||||
-- _ => nounReg "dog"
|
||||
-- } ;
|
||||
--
|
||||
---- These are auxiliaries to $nounGen$.
|
||||
--
|
||||
-- nounReg : Str -> CommonNoun = \dog ->
|
||||
-- mkNoun dog (dog + "s") (dog + "'s") (dog + "s'");
|
||||
-- nounS : Str -> CommonNoun = \kiss ->
|
||||
-- mkNoun kiss (kiss + "es") (kiss + "'s") (kiss + "es'") ;
|
||||
-- nounY : Str -> CommonNoun = \fl ->
|
||||
-- mkNoun (fl + "y") (fl + "ies") (fl + "y's") (fl + "ies'") ;
|
||||
--
|
||||
--
|
||||
----3 Proper names
|
||||
----
|
||||
---- Regular proper names are inflected with "'s" in the genitive.
|
||||
--
|
||||
-- nameReg : Str -> Gender -> {s : Case => Str} = \john,g ->
|
||||
-- {s = table {Gen => john + "'s" ; _ => john} ; g = g} ;
|
||||
--
|
||||
----2 Determiners
|
||||
--
|
||||
-- mkDeterminer : Number -> Str -> {s : Str ; n : Number} = \n,s ->
|
||||
-- {s = s ; n = n} ;
|
||||
--
|
||||
----2 Pronouns
|
||||
----
|
||||
---- Here we define personal pronouns.
|
||||
----
|
||||
---- We record the form "mine" and the gender for later use.
|
||||
--
|
||||
-- Pronoun : Type =
|
||||
-- {s : Case => Str ; a : Agr ; g : Gender} ;
|
||||
--
|
||||
-- mkPronoun : (_,_,_,_ : Str) -> Number -> Person -> Gender -> Pronoun =
|
||||
-- \I,me,my,mine,n,p,g ->
|
||||
-- {s = table {Nom => I ; Acc => me ; Gen => my} ;
|
||||
-- a = {n = n ; p = p} ;
|
||||
-- g = g
|
||||
-- } ;
|
||||
--
|
||||
-- human : Gender = Masc ; --- doesn't matter
|
||||
--
|
||||
-- pronI = mkPronoun "I" "me" "my" "mine" Sg P1 human ;
|
||||
-- pronYouSg = mkPronoun "you" "you" "your" "yours" Sg P2 human ; -- verb agr OK
|
||||
-- pronHe = mkPronoun "he" "him" "his" "his" Sg P3 Masc ;
|
||||
-- pronShe = mkPronoun "she" "her" "her" "hers" Sg P3 Fem ;
|
||||
-- pronIt = mkPronoun "it" "it" "its" "it" Sg P3 Neutr ;
|
||||
--
|
||||
-- pronWe = mkPronoun "we" "us" "our" "ours" Pl P1 human ;
|
||||
-- pronYouPl = mkPronoun "you" "you" "your" "yours" Pl P2 human ;
|
||||
-- pronThey = mkPronoun "they" "them" "their" "theirs" Pl P3 human ; ---
|
||||
--
|
||||
--
|
||||
----2 Adjectives
|
||||
----
|
||||
---- To form the adjectival and the adverbial forms, two strings are needed
|
||||
---- in the worst case. (First without degrees.)
|
||||
--
|
||||
-- Adjective = {s : AForm => Str} ;
|
||||
--
|
||||
---- However, most adjectives can be inflected using the final character.
|
||||
---- N.B. this is not correct for "shy", but $mkAdjective$ has to be used.
|
||||
--
|
||||
-- regAdjective : Str -> Adjective = \free ->
|
||||
-- let
|
||||
-- e = last free ;
|
||||
-- fre = init free ;
|
||||
-- freely = case e of {
|
||||
-- "y" => fre + "ily" ;
|
||||
-- _ => free + "ly"
|
||||
-- } ;
|
||||
-- fre = case e of {
|
||||
-- "e" => fre ;
|
||||
-- "y" => fre + "i" ;
|
||||
-- _ => free
|
||||
-- }
|
||||
-- in
|
||||
-- mkAdjective free (fre + "er") (fre + "est") freely ;
|
||||
--
|
||||
---- Many adjectives are 'inflected' by adding a comparison word.
|
||||
--
|
||||
-- adjDegrLong : Str -> Adjective = \ridiculous ->
|
||||
-- mkAdjective
|
||||
-- ridiculous
|
||||
-- ("more" ++ ridiculous)
|
||||
-- ("most" ++ ridiculous)
|
||||
-- ((regAdjective ridiculous).s ! AAdv) ;
|
||||
--
|
||||
--
|
||||
----3 Verbs
|
||||
----
|
||||
---- The worst case needs five forms. (The verb "be" is treated separately.)
|
||||
--
|
||||
-- mkVerb4 : (_,_,_,_: Str) -> Verb = \go,goes,went,gone ->
|
||||
-- let going = case last go of {
|
||||
-- "e" => init go + "ing" ;
|
||||
-- _ => go + "ing"
|
||||
-- }
|
||||
-- in
|
||||
-- mkVerb go goes went gone going ;
|
||||
--
|
||||
---- This is what we use to derive the irregular forms in almost all cases
|
||||
--
|
||||
-- mkVerbIrreg : (_,_,_ : Str) -> Verb = \bite,bit,bitten ->
|
||||
-- let bites = case last bite of {
|
||||
-- "y" => y2ie bite "s" ;
|
||||
-- "s" => init bite + "es" ;
|
||||
-- _ => bite + "s"
|
||||
-- }
|
||||
-- in mkVerb4 bite bites bit bitten ;
|
||||
--
|
||||
---- This is used to derive regular forms.
|
||||
--
|
||||
-- mkVerbReg : Str -> Verb = \soak ->
|
||||
-- let
|
||||
-- soaks = case last soak of {
|
||||
-- "y" => y2ie soak "s" ;
|
||||
-- "s" => init soak + "es" ;
|
||||
-- _ => soak + "s"
|
||||
-- } ;
|
||||
-- soaked = case last soak of {
|
||||
-- "e" => init soak + "s" ;
|
||||
-- _ => soak + "ed"
|
||||
-- }
|
||||
-- in
|
||||
-- mkVerb4 soak soaks soaked soaked ;
|
||||
--
|
||||
-- verbGen : Str -> Verb = \kill -> case last kill of {
|
||||
-- "y" => verbP3y (init kill) ;
|
||||
-- "e" => verbP3e (init kill) ;
|
||||
-- "s" => verbP3s (init kill) ;
|
||||
-- _ => regVerbP3 kill
|
||||
-- } ;
|
||||
--
|
||||
---- These are just auxiliary to $verbGen$.
|
||||
--
|
||||
-- regVerbP3 : Str -> Verb = \walk ->
|
||||
-- mkVerbIrreg walk (walk + "ed") (walk + "ed") ;
|
||||
-- verbP3s : Str -> Verb = \kiss ->
|
||||
-- mkVerb4 kiss (kiss + "es") (kiss + "ed") (kiss + "ed") ;
|
||||
-- verbP3e : Str -> Verb = \love ->
|
||||
-- mkVerb4 love (love + "s") (love + "d") (love + "d") ;
|
||||
-- verbP3y : Str -> Verb = \cr ->
|
||||
-- mkVerb4 (cr + "y") (cr + "ies") (cr + "ied") (cr + "ied") ;
|
||||
--
|
||||
----- The particle always appears right after the verb.
|
||||
--
|
||||
-- verbPart : Verb -> Str -> Verb = \v,p ->
|
||||
-- {s = \\f => v.s ! f ++ p} ;
|
||||
--
|
||||
-- verbNoPart : Verb -> Verb = \v -> verbPart v [] ;
|
||||
--
|
||||
--
|
||||
|
||||
|
||||
-- A *full verb* ($Verb$) consists of the inflection forms ($Verbum$) and
|
||||
-- a *particle* (e.g. "aus-sehen"). Simple verbs are the ones that have no
|
||||
-- such particle.
|
||||
|
||||
mkVerb : Verbum -> Particle -> Verb = \v,p -> {s = v ; s2 = p} ;
|
||||
|
||||
mkVerbSimple : Verbum -> Verb = \v -> mkVerb v [] ;
|
||||
|
||||
verbSein = mkVerbSimple verbumSein ;
|
||||
verbHaben = mkVerbSimple verbumHaben ;
|
||||
verbWerden = mkVerbSimple verbumWerden ;
|
||||
|
||||
-- Apparently needed for "es gibt" etc
|
||||
verbGeben = mkVerbSimple (verbumStrongSehen "geben" "gibt" "gab" "gäbe" "gegeben") ;
|
||||
-}
|
||||
|
||||
} ;
|
||||
|
||||
|
||||
@@ -1,100 +1,118 @@
|
||||
--concrete StructuralGer of Structural = CatGer **
|
||||
-- open MorphoGer, Prelude in {
|
||||
--
|
||||
-- flags optimize=all ;
|
||||
--
|
||||
-- lin
|
||||
-- above_Prep = ss "above" ;
|
||||
-- after_Prep = ss "after" ;
|
||||
-- all_Predet = ss "all" ;
|
||||
-- almost_AdA, almost_AdN = ss "almost" ;
|
||||
-- although_Subj = ss "although" ;
|
||||
-- always_AdV = ss "always" ;
|
||||
-- and_Conj = ss "and" ** {n = Pl} ;
|
||||
-- because_Subj = ss "because" ;
|
||||
-- before_Prep = ss "before" ;
|
||||
-- behind_Prep = ss "behind" ;
|
||||
-- between_Prep = ss "between" ;
|
||||
-- both7and_DConj = sd2 "both" "and" ** {n = Pl} ;
|
||||
-- but_PConj = ss "but" ;
|
||||
-- by8agent_Prep = ss "by" ;
|
||||
-- by8means_Prep = ss "by" ;
|
||||
-- can8know_VV = verbPart (mkVerbIrreg "know" "knew" "known") "how"** {c2 = "to"} ;---
|
||||
-- can_VV = verbGen "manage" ** {c2 = "to"} ; ---
|
||||
-- during_Prep = ss "during" ;
|
||||
-- either7or_DConj = sd2 "either" "or" ** {n = Sg} ;
|
||||
-- everybody_NP = regNP "everybody" Sg ;
|
||||
-- every_Det = mkDeterminer Sg "every" ;
|
||||
-- everything_NP = regNP "everything" Sg ;
|
||||
-- everywhere_Adv = ss "everywhere" ;
|
||||
-- from_Prep = ss "from" ;
|
||||
-- he_Pron = mkNP "he" "him" "his" Sg P3 ;
|
||||
-- here_Adv = ss "here" ;
|
||||
-- here7to_Adv = ss ["to here"] ;
|
||||
-- here7from_Adv = ss ["from here"] ;
|
||||
-- how_IAdv = ss "how" ;
|
||||
-- how8many_IDet = mkDeterminer Pl ["how many"] ;
|
||||
-- if_Subj = ss "if" ;
|
||||
-- in8front_Prep = ss ["in front of"] ;
|
||||
-- i_Pron = mkNP "I" "me" "my" Sg P1 ;
|
||||
-- in_Prep = ss "in" ;
|
||||
-- it_Pron = mkNP "it" "it" "its" Sg P3 ;
|
||||
-- less_CAdv = ss "less" ;
|
||||
-- many_Det = mkDeterminer Pl "many" ;
|
||||
-- more_CAdv = ss "more" ;
|
||||
-- most_Predet = ss "most" ;
|
||||
-- much_Det = mkDeterminer Sg "much" ;
|
||||
-- must_VV = mkVerb4 "have" "has" "had" "had" ** {c2 = "to"} ; ---
|
||||
-- no_Phr = ss "no" ;
|
||||
-- on_Prep = ss "on" ;
|
||||
-- only_Predet = ss "only" ;
|
||||
-- or_Conj = ss "or" ** {n = Sg} ;
|
||||
-- otherwise_PConj = ss "otherwise" ;
|
||||
-- part_Prep = ss "of" ;
|
||||
-- please_Voc = ss "please" ;
|
||||
-- possess_Prep = ss "of" ;
|
||||
-- quite_Adv = ss "quite" ;
|
||||
-- she_Pron = mkNP "she" "her" "her" Sg P3 ;
|
||||
-- so_AdA = ss "so" ;
|
||||
-- somebody_NP = regNP "somebody" Sg ;
|
||||
-- someSg_Det = mkDeterminer Sg "some" ;
|
||||
-- somePl_Det = mkDeterminer Pl "some" ;
|
||||
-- something_NP = regNP "something" Sg ;
|
||||
-- somewhere_Adv = ss "somewhere" ;
|
||||
-- that_Quant = mkDeterminer Sg "that" ;
|
||||
-- that_NP = regNP "that" Sg ;
|
||||
-- there_Adv = ss "there" ;
|
||||
-- there7to_Adv = ss "there" ;
|
||||
-- there7from_Adv = ss ["from there"] ;
|
||||
-- therefore_PConj = ss "therefore" ;
|
||||
-- these_Quant = mkDeterminer Pl "these" ;
|
||||
-- they_Pron = mkNP "they" "them" "their" Pl P3 ;
|
||||
-- this_Quant = mkDeterminer Sg "this" ;
|
||||
-- this_NP = regNP "this" Sg ;
|
||||
-- those_Quant = mkDeterminer Pl "those" ;
|
||||
-- thou_Pron = mkNP "you" "you" "your" Sg P2 ;
|
||||
-- through_Prep = ss "through" ;
|
||||
-- too_AdA = ss "too" ;
|
||||
-- to_Prep = ss "to" ;
|
||||
-- under_Prep = ss "under" ;
|
||||
-- very_AdA = ss "very" ;
|
||||
-- want_VV = verbGen "want" ** {c2 = "to"} ;
|
||||
-- we_Pron = mkNP "we" "us" "our" Pl P1 ;
|
||||
-- whatPl_IP = mkIP "what" "what" "what's" Sg ;
|
||||
-- whatSg_IP = mkIP "what" "what" "what's" Sg ;
|
||||
-- when_IAdv = ss "when" ;
|
||||
-- when_Subj = ss "when" ;
|
||||
-- where_IAdv = ss "where" ;
|
||||
-- whichPl_IDet = mkDeterminer Pl ["which"] ;
|
||||
-- whichSg_IDet = mkDeterminer Sg ["which"] ;
|
||||
-- whoSg_IP = mkIP "who" "whom" "whose" Sg ;
|
||||
-- whoPl_IP = mkIP "who" "whom" "whose" Pl ;
|
||||
-- why_IAdv = ss "why" ;
|
||||
-- without_Prep = ss "without" ;
|
||||
-- with_Prep = ss "with" ;
|
||||
-- ye_Pron = mkNP "you" "you" "your" Pl P2 ;
|
||||
-- you_Pron = mkNP "you" "you" "your" Sg P2 ;
|
||||
-- yes_Phr = ss "yes" ;
|
||||
--
|
||||
--}
|
||||
--
|
||||
concrete StructuralGer of Structural = CatGer **
|
||||
|
||||
open MorphoGer, Prelude in {
|
||||
|
||||
flags optimize=all ;
|
||||
|
||||
lin
|
||||
|
||||
above_Prep = mkPrep "über" Dat ;
|
||||
after_Prep = mkPrep "nach" Dat ;
|
||||
all_Predet = {s = appAdj (regA "all")} ;
|
||||
almost_AdA, almost_AdN = ss "fast" ;
|
||||
although_Subj = ss "obwohl" ;
|
||||
always_AdV = ss "immer" ;
|
||||
and_Conj = ss "und" ** {n = Pl} ;
|
||||
because_Subj = ss "weil" ;
|
||||
before_Prep = mkPrep "vor" Dat ;
|
||||
behind_Prep = mkPrep "hinter" Dat ;
|
||||
between_Prep = mkPrep "zwischen" Dat ;
|
||||
both7and_DConj = sd2 "sowohl" ["als auch"] ** {n = Pl} ;
|
||||
but_PConj = ss "aber" ;
|
||||
by8agent_Prep = mkPrep "durch" Acc ;
|
||||
by8means_Prep = mkPrep "mit" Dat ;
|
||||
can8know_VV, can_VV = auxVV
|
||||
(mkV
|
||||
"können" "kann" "kannst" "kann" "könnt" "könn"
|
||||
"konnte" "konntest" "konnten" "könntet"
|
||||
"könnte" "gekonnen" []
|
||||
VHaben) ;
|
||||
during_Prep = mkPrep "während" Gen ;
|
||||
either7or_DConj = sd2 "entweder" "oder" ** {n = Sg} ;
|
||||
everybody_NP = nameNounPhrase {s = caselist "jeder" "jeden" "jedem" "jedes"} ;
|
||||
every_Det = detLikeAdj Sg "jed" ;
|
||||
everything_NP = nameNounPhrase {s = caselist "alles" "alles" "allem" "alles"} ;
|
||||
everywhere_Adv = ss "überall" ;
|
||||
from_Prep = mkPrep "aus" Dat ;
|
||||
he_Pron = mkPronPers "er" "ihn" "ihm" "seiner" "sein" Sg P3 ;
|
||||
here7to_Adv = ss ["hierher"] ;
|
||||
here7from_Adv = ss ["hieraus"] ;
|
||||
here_Adv = ss ["to hier"] ;
|
||||
how_IAdv = ss "wie" ;
|
||||
how8many_IDet = detLikeAdj Pl "wieviel" ;
|
||||
if_Subj = ss "wenn" ;
|
||||
in8front_Prep = mkPrep "vor" Dat ;
|
||||
i_Pron = mkPronPers "ich" "mich" "mir" "meiner" "mein" Sg P1 ;
|
||||
in_Prep = mkPrep "in" Dat ;
|
||||
it_Pron = mkPronPers "es" "es" "ihm" "seiner" "sein" Sg P3 ;
|
||||
less_CAdv = ss "weniger" ;
|
||||
many_Det = detLikeAdj Pl "viel" ;
|
||||
more_CAdv = ss "mehr" ;
|
||||
most_Predet = {s = appAdj (regA "meist")} ;
|
||||
much_Det = detLikeAdj Sg "viel" ;
|
||||
must_VV = auxVV
|
||||
(mkV
|
||||
"müssen" "muß" "mußt" "muß" "müßt" "müß"
|
||||
"mußte" "mußtest" "mußten" "mußtet"
|
||||
"mußte" "gemüßt" []
|
||||
VHaben) ;
|
||||
only_Predet = {s = \\_,_,_ => "nur"} ;
|
||||
no_Phr = ss ["Nein ."] ;
|
||||
on_Prep = mkPrep "auf" Dat ;
|
||||
or_Conj = ss "oder" ** {n = Sg} ;
|
||||
otherwise_PConj = ss "sonst" ;
|
||||
part_Prep = mkPrep "von" Dat ;
|
||||
please_Voc = ss "bitte" ;
|
||||
possess_Prep = mkPrep "von" Dat ;
|
||||
quite_Adv = ss "ziemlich" ;
|
||||
she_Pron = mkPronPers "sie" "sie" "ihr" "ihrer" "ihr" Sg P3 ;
|
||||
so_AdA = ss "so" ;
|
||||
somebody_NP = nameNounPhrase {s = caselist "jemand" "jemanden" "jemandem" "jemands"} ;
|
||||
somePl_Det = detLikeAdj Pl "einig" ;
|
||||
-- someSg_Det =
|
||||
something_NP = nameNounPhrase {s = \\_ => "etwas"} ;
|
||||
somewhere_Adv = ss "irgendwo" ;
|
||||
that_Quant = detLikeAdj Sg "jen" ;
|
||||
that_NP = nameNounPhrase {s = caselist "das" "das" "denem" "dessen"} ; ----
|
||||
there_Adv = ss "da" ;
|
||||
there7to_Adv = ss "dahin" ;
|
||||
there7from_Adv = ss ["daher"] ;
|
||||
therefore_PConj = ss "deshalb" ;
|
||||
these_Quant = detLikeAdj Pl "dies" ;
|
||||
they_Pron = mkPronPers "sie" "sie" "ihnen" "ihrer" "ihr" Pl P3 ;
|
||||
this_Quant = detLikeAdj Sg "dies" ;
|
||||
this_NP = nameNounPhrase {s = caselist "dies" "dies" "diesem" "dieses"} ; ----
|
||||
-- those_NP
|
||||
those_Quant = detLikeAdj Pl "jen" ;
|
||||
thou_Pron = mkPronPers "du" "dich" "dir" "deiner" "dein" Sg P2 ;
|
||||
through_Prep = mkPrep "durch" Acc ;
|
||||
too_AdA = ss "zu" ;
|
||||
to_Prep = mkPrep "nach" Dat ;
|
||||
under_Prep = mkPrep "unter" Dat ;
|
||||
very_AdA = ss "sehr" ;
|
||||
want_VV = auxVV
|
||||
(mkV
|
||||
"wollen" "will" "willst" "will" "wollt" "woll"
|
||||
"wollte" "wolltest" "wollten" "wolltet"
|
||||
"wollte" "gewollen" []
|
||||
VHaben) ;
|
||||
we_Pron = mkPronPers "wir" "uns" "uns" "unser" "unser" Pl P1 ;
|
||||
|
||||
whatSg_IP = {s = caselist "was" "was" "was" "wessen" ; n = Sg} ; ----
|
||||
whatPl_IP = {s = caselist "was" "was" "was" "wessen" ; n = Pl} ; ----
|
||||
|
||||
when_IAdv = ss "wann" ;
|
||||
when_Subj = ss "wenn" ;
|
||||
where_IAdv = ss "war" ;
|
||||
|
||||
whichPl_IDet = detLikeAdj Pl "welch" ;
|
||||
whichSg_IDet = detLikeAdj Sg "welch" ;
|
||||
whoSg_IP = {s = caselist "wer" "wen" "wem" "wessen" ; n = Sg} ;
|
||||
whoPl_IP = {s = caselist "wer" "wen" "wem" "wessen" ; n = Pl} ;
|
||||
why_IAdv = ss "warum" ;
|
||||
without_Prep = mkPrep "ohne" Acc ;
|
||||
with_Prep = mkPrep "mit" Dat ;
|
||||
ye_Pron = mkPronPers "ihr" "euch" "euch" "eurer" "euer" Pl P2 ; ---- poss
|
||||
yes_Phr = ss ["Ja ."] ;
|
||||
you_Pron = mkPronPers "Sie" "Sie" "Ihnen" "Ihrer" "Ihr" Pl P3 ;
|
||||
}
|
||||
|
||||
@@ -1,10 +1,10 @@
|
||||
--concrete TensedGer of Tensed = CatGer, TenseX ** open ResGer in {
|
||||
--
|
||||
-- flags optimize=all_subs ;
|
||||
--
|
||||
-- lin
|
||||
-- UseCl t a p cl = {s = t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! ODir} ;
|
||||
-- UseQCl t a p cl = {s = \\q => t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! q} ;
|
||||
-- UseRCl t a p cl = {s = \\r => t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! r} ;
|
||||
--
|
||||
--}
|
||||
concrete TensedGer of Tensed = CatGer, TenseX ** open ResGer in {
|
||||
|
||||
flags optimize=all_subs ;
|
||||
|
||||
lin
|
||||
UseCl t a p cl = {s = \\o => t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! o} ;
|
||||
UseQCl t a p cl = {s = \\q => t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! q} ;
|
||||
UseRCl t a p cl = {s = \\r => t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! p.p ! r} ;
|
||||
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user