From 89678024d88d12984d01a11ff1c3be7d890c074f Mon Sep 17 00:00:00 2001 From: Aarne Ranta Date: Wed, 19 Apr 2023 11:57:51 +0200 Subject: [PATCH] Italian from the lecture --- lab2/grammar/italian/MicroLangIta.gf | 233 ++++++++++++++++++++++++++ lab2/grammar/italian/MicroLangIta.gfo | Bin 0 -> 3785 bytes lab2/grammar/italian/MicroResIta.gf | 62 +++++++ lab2/grammar/italian/MicroResIta.gfo | Bin 0 -> 2788 bytes 4 files changed, 295 insertions(+) create mode 100644 lab2/grammar/italian/MicroLangIta.gf create mode 100644 lab2/grammar/italian/MicroLangIta.gfo create mode 100644 lab2/grammar/italian/MicroResIta.gf create mode 100644 lab2/grammar/italian/MicroResIta.gfo diff --git a/lab2/grammar/italian/MicroLangIta.gf b/lab2/grammar/italian/MicroLangIta.gf new file mode 100644 index 0000000..b441318 --- /dev/null +++ b/lab2/grammar/italian/MicroLangIta.gf @@ -0,0 +1,233 @@ +--# -path=.:../abstract +concrete MicroLangIta of MicroLang = open MicroResIta in { + +----------------------------------------------------- +---------------- Grammar part ----------------------- +----------------------------------------------------- + + lincat +{- + Utt = {s : Str} ; + + S = {s : Str} ; + VP = {verb : Verb ; compl : Str} ; ---s special case of Mini + Comp = {s : Str} ; +-} + AP = Adjective ; + CN = Noun ; +{- + NP = {s : Case => Str ; a : Agreement} ; + Pron = {s : Case => Str ; a : Agreement} ; + Det = {s : Str ; n : Number} ; + Prep = {s : Str} ; + V = Verb ; + V2 = Verb2 ; + -} + A = Adjective ; + N = Noun ; + Adv = {s : Str} ; + + + lin + {- + UttS s = s ; + UttNP np = {s = np.s ! Acc} ; + + PredVPS np vp = { + s = np.s ! Nom ++ vp.verb.s ! agr2vform np.a ++ vp.compl + } ; + + UseV v = { + verb = v ; + compl = [] ; + } ; + + ComplV2 v2 np = { + verb = v2 ; + compl = v2.c ++ np.s ! Acc -- NP object in the accusative, preposition first + } ; + + UseComp comp = { + verb = be_Verb ; -- the verb is the copula "be" + compl = comp.s + } ; + + CompAP ap = ap ; + + AdvVP vp adv = + vp ** {compl = vp.compl ++ adv.s} ; + + DetCN det cn = { + s = \\c => det.s ++ cn.s ! det.n ; + a = Agr det.n ; + } ; + + UsePron p = p ; + + a_Det = {s = pre {"a"|"e"|"i"|"o" => "an" ; _ => "a"} ; n = Sg} ; --- a/an can get wrong + aPl_Det = {s = "" ; n = Pl} ; + the_Det = {s = "the" ; n = Sg} ; + thePl_Det = {s = "the" ; n = Pl} ; + -} + UseN n = n ; + + AdjCN ap cn = { + s = table {n => cn.s ! n ++ ap.s ! cn.g ! n} ; + g = cn.g + } ; + + PositA a = a ; +{- + PrepNP prep np = {s = prep.s ++ np.s ! Acc} ; + + in_Prep = {s = "in"} ; + on_Prep = {s = "on"} ; + with_Prep = {s = "with"} ; + + he_Pron = { + s = table {Nom => "he" ; Acc => "him"} ; + a = Agr Sg ; + } ; + she_Pron = { + s = table {Nom => "she" ; Acc => "her"} ; + a = Agr Sg ; + } ; + they_Pron = { + s = table {Nom => "they" ; Acc => "them"} ; + a = Agr Pl ; + } ; +-} +----------------------------------------------------- +---------------- Lexicon part ----------------------- +----------------------------------------------------- + +-- lin already_Adv = mkAdv "already" ; +lin animal_N = mkN "animale" ; +lin apple_N = mkN "mela" ; +lin baby_N = mkN "bambino" ; +lin bad_A = mkA "cattivo" ; +lin beer_N = mkN "birra" ; +lin big_A = mkA "grande" ; +lin bike_N = mkN "bicicletta" ; +{- +lin bird_N = mkN "bird" ; +lin black_A = mkA "black" ; +lin blood_N = mkN "blood" ; +lin blue_A = mkA "blue" ; +lin boat_N = mkN "boat" ; +lin book_N = mkN "book" ; +lin boy_N = mkN "boy" ; +lin bread_N = mkN "bread" ; +lin break_V2 = mkV2 (mkV "break" "broke" "broken") ; +lin buy_V2 = mkV2 (mkV "buy" "bought" "bought") ; +lin car_N = mkN "car" ; +lin cat_N = mkN "cat" ; +lin child_N = mkN "child" "children" ; +lin city_N = mkN "city" ; +lin clean_A = mkA "clean" ; +lin clever_A = mkA "clever" ; +lin cloud_N = mkN "cloud" ; +lin cold_A = mkA "cold" ; +lin come_V = mkV "come" "came" "come" ; +lin computer_N = mkN "computer" ; +lin cow_N = mkN "cow" ; +lin dirty_A = mkA "dirty" ; +lin dog_N = mkN "dog" ; +lin drink_V2 = mkV2 (mkV "drink" "drank" "drunk") ; +lin eat_V2 = mkV2 (mkV "eat" "ate" "eaten") ; +lin find_V2 = mkV2 (mkV "find" "found" "found") ; +lin fire_N = mkN "fire" ; +lin fish_N = mkN "fish" "fish" ; +lin flower_N = mkN "flower" ; +lin friend_N = mkN "friend" ; +lin girl_N = mkN "girl" ; +lin good_A = mkA "good" ; +lin go_V = mkV "go" "went" "gone" ; +lin grammar_N = mkN "grammar" ; +lin green_A = mkA "green" ; +lin heavy_A = mkA "heavy" ; +lin horse_N = mkN "horse" ; +lin hot_A = mkA "hot" ; +lin house_N = mkN "house" ; +-- lin john_PN = mkPN "John" ; +lin jump_V = mkV "jump" ; +lin kill_V2 = mkV2 "kill" ; +-- lin know_VS = mkVS (mkV "know" "knew" "known") ; +lin language_N = mkN "language" ; +lin live_V = mkV "live" ; +lin love_V2 = mkV2 (mkV "love") ; +lin man_N = mkN "man" "men" ; +lin milk_N = mkN "milk" ; +lin music_N = mkN "music" ; +lin new_A = mkA "new" ; +lin now_Adv = mkAdv "now" ; +lin old_A = mkA "old" ; +-- lin paris_PN = mkPN "Paris" ; +lin play_V = mkV "play" ; +lin read_V2 = mkV2 (mkV "read" "read" "read") ; +lin ready_A = mkA "ready" ; +lin red_A = mkA "red" ; +lin river_N = mkN "river" ; +lin run_V = mkV "run" "ran" "run" ; +lin sea_N = mkN "sea" ; +lin see_V2 = mkV2 (mkV "see" "saw" "seen") ; +lin ship_N = mkN "ship" ; +lin sleep_V = mkV "sleep" "slept" "slept" ; +lin small_A = mkA "small" ; +lin star_N = mkN "star" ; +lin swim_V = mkV "swim" "swam" "swum" ; +lin teach_V2 = mkV2 (mkV "teach" "taught" "taught") ; +lin train_N = mkN "train" ; +lin travel_V = mkV "travel" ; +lin tree_N = mkN "tree" ; +lin understand_V2 = mkV2 (mkV "understand" "understood" "understood") ; +lin wait_V2 = mkV2 "wait" "for" ; +lin walk_V = mkV "walk" ; +lin warm_A = mkA "warm" ; +lin water_N = mkN "water" ; +lin white_A = mkA "white" ; +lin wine_N = mkN "wine" ; +lin woman_N = mkN "woman" "women" ; +lin yellow_A = mkA "yellow" ; +lin young_A = mkA "young" ; + +--------------------------- +-- Paradigms part --------- +--------------------------- + +oper + mkN = overload { + mkN : Str -> Noun -- predictable noun, e.g. car-cars, boy-boys, fly-flies, bush-bushes + = \n -> lin N (smartNoun n) ; + mkN : Str -> Str -> Noun -- irregular noun, e.g. man-men + = \sg,pl -> lin N (mkNoun sg pl) ; + } ; + + mkA : Str -> A + = \s -> lin A {s = s} ; + + mkV = overload { + mkV : (inf : Str) -> V -- predictable verb, e.g. play-plays, cry-cries, wash-washes + = \s -> lin V (smartVerb s) ; + mkV : (inf,pres,part : Str) -> V -- irregular verb, e.g. drink-drank-drunk + = \inf,pres,part -> lin V (irregVerb inf pres part) ; + } ; + + mkV2 = overload { + mkV2 : Str -> V2 -- predictable verb with direct object, e.g. "wash" + = \s -> lin V2 (smartVerb s ** {c = []}) ; + mkV2 : Str -> Str -> V2 -- predictable verb with preposition, e.g. "wait - for" + = \s,p -> lin V2 (smartVerb s ** {c = p}) ; + mkV2 : V -> V2 -- any verb with direct object, e.g. "drink" + = \v -> lin V2 (v ** {c = []}) ; + mkV2 : V -> Str -> V2 -- any verb with preposition + = \v,p -> lin V2 (v ** {c = p}) ; + } ; + + mkAdv : Str -> Adv + = \s -> lin Adv {s = s} ; + + mkPrep : Str -> Prep + = \s -> lin Prep {s = s} ; +-} +} diff --git a/lab2/grammar/italian/MicroLangIta.gfo b/lab2/grammar/italian/MicroLangIta.gfo new file mode 100644 index 0000000000000000000000000000000000000000..ea1f9bdd1fb15a9d2ebf087bc0d6a2b1960ca41d GIT binary patch literal 3785 zcmZ>FGce)t%}g%J_eso4_bf?d=7jSY7}=8ZQ!?|?8CXL@+;lA%7#JD2!LmWA#hxXJ z48HoI#i>Qb`iY4}d8zs#sfo!MnR)5@$@#ejy2X`wC5aWf>7}~4IVJiziAhHK=|zdT zxrs&knI(xinTdJ&V56Yc>ZPYKGDt`=FfcMQFn}xq5ljqV4g({E!31V7f@DD=j0_CS zAT~%5BLf2ym<3t^%uUQmWnf^0u`@wzmfX~wL>L1io0OQFl$nL+#5i@geNfAgNCj)D7Nm0Ck07yTB z2s1Vl7?~L3(PbdUfMlQsAR8toCI}T}U@S&4k;ON$I2lERDL9>hk?GI>|NrY5!O_Ub z2-atvT&WE2n}&zk}QRP-joFzS1g)iEW@*^ix($=Q#IfyFT(-hdnr zGq5=O#T)W7VWtR3tbrq+fiWE=9-yg(JY9^8UcQ_ROo;`Y3{1&+0w9|iai=>GMpT<2 zu3}_j%##um1R21+5{NGeAtVParlVq{=sU}OYQ zjG%PH$i&3Lz{teR%Iug@#>U7fBLfara5#W?sHp>*bde>Hk~7Z43Mx@RmOA^fF)|7Y zk{ghMf^gS>f)OK2!UHQF>P`m6bOx001m`i36JQ46%#A2{4_sU#Wj;nGQ08M~WO2^V zEns70KngMjn8}b*1L_b)xG)L9#q5$=LNmh|K~W(sO>R_3OT+z1SyUhlqAV(y`~qke zR%`+J#hE3J?2Jr~0gMdHj^q_R;6#F!^C1}&O%Rfdp*hgspOb+x5sW|;HK_h(WMF1t zWMk)G2`EaXUFu^AD9X>HS&%XY)68g=(Bf1`J;BJp>=$o9UJ@ry7bByG2Pe2F&I1*$ zpvD)dv<1Z+10xe78*^w04YPC@&BBx^%!r0&(=O+7KpL*`e(a2lehlQsX=Wye1aj+< zvp6@gsKhV7G>;A5G6uKLKrLoQCQdH)#DapHR0?g)%EDf^6N0L9CT#XgiE)a98??mz#;3Hl9ifV zl3A9@#t!K!AX&@I!Y?2w#FmtrT1265b8}JcMv7H%pCge0DS(AVSd%i-De`Mx9;$ul meuZ^!;3 Str ; g : Gender} ; + Adjective : Type = {s : Gender => Number => Str} ; + +-- here is an example that is type-correct as a Noun + donna_N : Noun = { + s = table {Sg => "donna" ; Pl => "donne"} ; + g = Fem + } ; + +-- define constructor function for Noun + mkNoun : Str -> Str -> Gender -> Noun = \sg, pl, g -> { + s = table {Sg => sg ; Pl => pl} ; + g = g + } ; + +-- define a noun using this constructor + uomo_N : Noun = mkNoun "uomo" "uomini" Masc ; + +-- define a smart paradigm + smartNoun : Str -> Noun = \s -> case s of { + x + "o" => mkNoun s (x + "i") Masc ; + x + "a" => mkNoun s (x + "e") Fem ; + x + "e" => mkNoun s (x + "i") Masc ; + _ => mkNoun s s Masc + } ; + +-- the overloaded paradigm is what the lexicon will use + mkN = overload { + mkN : Str -> Noun = smartNoun ; + mkN : Str -> Str -> Gender -> Noun = mkNoun ; + mkN : Gender -> Noun -> Noun = \g, n -> n ** {g = g} ; + } ; + +-- adjectives: + mkAdjective : (msg,fsg,mpl,fpl : Str) -> Adjective = \msg,fsg,mpl,fpl -> { + s = table { + Masc => table {Sg => msg ; Pl => mpl} ; + Fem => table {Sg => fsg ; Pl => fpl} + } + } ; + smartAdjective : Str -> Adjective = \s -> case s of { + x + "o" => mkAdjective s (x + "a") (x + "i") (x + "e") ; + x + "e" => mkAdjective s s (x + "i") (x + "i") ; + _ => mkAdjective s s s s + } ; + + mkA = overload { + mkA : Str -> Adjective = smartAdjective ; + mkA : (msg,fsg,mpl,fpl : Str) -> Adjective = mkAdjective ; + } ; + +} \ No newline at end of file diff --git a/lab2/grammar/italian/MicroResIta.gfo b/lab2/grammar/italian/MicroResIta.gfo new file mode 100644 index 0000000000000000000000000000000000000000..1c93c3d91da3abf41cc5e6e2b64af2411ac8d5f8 GIT binary patch literal 2788 zcmZ>FGce)y%}g%J4@xceEJ}%&n?g`uFNY*tk6v_)y>T*(a%XtGSW{kO3ckoEYi;`NzBPi%+p6Q zUN1e3L6p@|UER=>g^_`UgOPzl0@-@D+-$%6(mV#nVz44Jtct)=rqT?I6>N-|V2(L% zb!L*t=Ck-F7ALbfs;gtSo;x?&F(oTCxg@hJm4UGsq|g$p(I6R92F7AexN;UoMjjq! zmXOMVR1k}wk%6&T7{zWj_tdeSpO=>y@5jQ($S*{m zdqFw{Kt5%}9Va4;Slz{loTxxvWn%@q2UR>EhXEp<%D|Y8W)LJXpcoE{D(2j5M^*+V zMoSwW2F7@BvLGiZFHMNa{c*dabyK-4p#L_av!F%X-8 zz^+5l56V3Z%((?QD59W5LV}@b#px*8A%>`@GGpcDJ5*jEk;Px|)T+gVc zg_6`b!AT8Ns34mSw*7XjB?5dPm!1V80D0ay~P4?Wj;!lgtU<$GKpx81Is}hQ>iGa2~^TR^rT`j4c(Iv va~K$lQOtmpfsDm$rTMw};L2KBn%v|mEsY*m(Cop+0y3QqWJhLRCZ_!Ww7=@e literal 0 HcmV?d00001