diff --git a/lectures/lecture-02/Intro.gf b/lectures/lecture-02/Intro.gf new file mode 100644 index 0000000..47a2ce6 --- /dev/null +++ b/lectures/lecture-02/Intro.gf @@ -0,0 +1,30 @@ +abstract Intro = { + +cat + S ; + NP ; + VP ; + CN ; + AP ; + Det ; + Pron ; + N ; + A ; + V2 ; + +fun + PredVP : NP -> VP -> S ; + ComplV2 : V2 -> NP -> VP ; + DetCN : Det -> CN -> NP ; + AdjCN : AP -> CN -> CN ; + UseN : N -> CN ; + UseA : A -> AP ; + UsePron : Pron -> NP ; + + the_Det : Det ; + black_A : A ; + cat_N : N ; + see_V2 : V2 ; + we_Pron : Pron ; + +} \ No newline at end of file diff --git a/lectures/lecture-02/IntroEng.gf b/lectures/lecture-02/IntroEng.gf new file mode 100644 index 0000000..759ff24 --- /dev/null +++ b/lectures/lecture-02/IntroEng.gf @@ -0,0 +1,30 @@ +concrete IntroEng of Intro = { + +lincat + S = Str ; + NP = Str ; + VP = Str ; + CN = Str ; + AP = Str ; + Det = Str ; + Pron = Str ; + N = Str ; + A = Str ; + V2 = Str ; + +lin + PredVP np vp = np ++ vp ; + ComplV2 v2 np = v2 ++ np ; + DetCN det cn = det ++ cn ; + AdjCN ap cn = ap ++ cn ; + UseN n = n ; + UseA a = a ; + UsePron pron = pron ; + + the_Det = "the" ; + black_A = "black" ; + cat_N = "cat" ; + see_V2 = "sees" ; + we_Pron = "us" ; + +} \ No newline at end of file diff --git a/lectures/lecture-02/IntroIta.gf b/lectures/lecture-02/IntroIta.gf new file mode 100644 index 0000000..d3e6530 --- /dev/null +++ b/lectures/lecture-02/IntroIta.gf @@ -0,0 +1,30 @@ +concrete IntroIta of Intro = { + +lincat + S = Str ; + NP = Str ; + VP = Str ; + CN = Str ; + AP = Str ; + Det = Str ; + Pron = Str ; + N = Str ; + A = Str ; + V2 = Str ; + +lin + PredVP np vp = np ++ vp ; + ComplV2 v2 np = np ++ v2 ; + DetCN det cn = det ++ cn ; + AdjCN ap cn = cn ++ ap ; + UseN n = n ; + UseA a = a ; + UsePron pron = pron ; + + the_Det = "il" ; + black_A = "nero" ; + cat_N = "gatto" ; + see_V2 = "vede" ; + we_Pron = "ci" ; + +} \ No newline at end of file