summaryrefslogtreecommitdiff
path: root/examples/lrec-tutorial/face
diff options
context:
space:
mode:
Diffstat (limited to 'examples/lrec-tutorial/face')
-rw-r--r--examples/lrec-tutorial/face/Face.gf14
-rw-r--r--examples/lrec-tutorial/face/FaceEn0.gf22
-rw-r--r--examples/lrec-tutorial/face/FaceEng.gf7
-rw-r--r--examples/lrec-tutorial/face/FaceFin.gf7
-rw-r--r--examples/lrec-tutorial/face/FaceI.gf17
-rw-r--r--examples/lrec-tutorial/face/FaceIta.gf8
-rw-r--r--examples/lrec-tutorial/face/LexFace.gf8
-rw-r--r--examples/lrec-tutorial/face/LexFaceEng.gf8
-rw-r--r--examples/lrec-tutorial/face/LexFaceFin.gf7
-rw-r--r--examples/lrec-tutorial/face/LexFaceIta.gf6
10 files changed, 104 insertions, 0 deletions
diff --git a/examples/lrec-tutorial/face/Face.gf b/examples/lrec-tutorial/face/Face.gf
new file mode 100644
index 000000000..9259363da
--- /dev/null
+++ b/examples/lrec-tutorial/face/Face.gf
@@ -0,0 +1,14 @@
+abstract Face = {
+
+flags startcat = Message ;
+
+cat
+ Message ; Person ; Object ; Number ;
+fun
+ Have : Person -> Number -> Object -> Message ;
+ Like : Person -> Object -> Message ;
+ You : Person ;
+ Friend, Invitation : Object ;
+ One, Two, Hundred : Number ;
+
+}
diff --git a/examples/lrec-tutorial/face/FaceEn0.gf b/examples/lrec-tutorial/face/FaceEn0.gf
new file mode 100644
index 000000000..2c4e7123b
--- /dev/null
+++ b/examples/lrec-tutorial/face/FaceEn0.gf
@@ -0,0 +1,22 @@
+--# -path=.:present
+
+concrete FaceEn0 of Face = open SyntaxEng, ParadigmsEng in {
+lincat
+ Message = Cl ;
+ Person = NP ;
+ Object = CN ;
+ Number = Numeral ;
+lin
+ Have p n o = mkCl p have_V2 (mkNP n o) ;
+ Like p o = mkCl p like_V2 (mkNP this_Quant o) ;
+ You = mkNP youSg_Pron ;
+ Friend = mkCN friend_N ;
+ Invitation = mkCN invitation_N ;
+ One = n1_Numeral ;
+ Two = n2_Numeral ;
+ Hundred = n100_Numeral ;
+oper
+ like_V2 = mkV2 "like" ;
+ invitation_N = mkN "invitation" ;
+ friend_N = mkN "friend" ;
+}
diff --git a/examples/lrec-tutorial/face/FaceEng.gf b/examples/lrec-tutorial/face/FaceEng.gf
new file mode 100644
index 000000000..bac0b5f5a
--- /dev/null
+++ b/examples/lrec-tutorial/face/FaceEng.gf
@@ -0,0 +1,7 @@
+--# -path=.:present
+
+concrete FaceEng of Face = FaceI with
+ (Syntax = SyntaxEng),
+ (LexFace = LexFaceEng) ;
+
+
diff --git a/examples/lrec-tutorial/face/FaceFin.gf b/examples/lrec-tutorial/face/FaceFin.gf
new file mode 100644
index 000000000..47b57ce29
--- /dev/null
+++ b/examples/lrec-tutorial/face/FaceFin.gf
@@ -0,0 +1,7 @@
+--# -path=.:present
+
+concrete FaceFin of Face = FaceI with
+ (Syntax = SyntaxFin),
+ (LexFace = LexFaceFin) ;
+
+
diff --git a/examples/lrec-tutorial/face/FaceI.gf b/examples/lrec-tutorial/face/FaceI.gf
new file mode 100644
index 000000000..b612dcdb8
--- /dev/null
+++ b/examples/lrec-tutorial/face/FaceI.gf
@@ -0,0 +1,17 @@
+incomplete concrete FaceI of Face = open Syntax, LexFace in {
+
+lincat
+ Message = Cl ;
+ Person = NP ;
+ Object = CN ;
+ Number = Numeral ;
+lin
+ Have p n o = mkCl p have_V2 (mkNP n o) ;
+ Like p o = mkCl p like_V2 (mkNP this_Quant o) ;
+ You = mkNP youSg_Pron ;
+ Friend = mkCN friend_N ;
+ Invitation = mkCN invitation_N ;
+ One = n1_Numeral ;
+ Two = n2_Numeral ;
+ Hundred = n100_Numeral ;
+}
diff --git a/examples/lrec-tutorial/face/FaceIta.gf b/examples/lrec-tutorial/face/FaceIta.gf
new file mode 100644
index 000000000..7e512ce6d
--- /dev/null
+++ b/examples/lrec-tutorial/face/FaceIta.gf
@@ -0,0 +1,8 @@
+--# -path=.:present
+
+concrete FaceIta of Face = FaceI - [Like] with
+ (Syntax = SyntaxIta),
+ (LexFace = LexFaceIta) ** open SyntaxIta in {
+lin Like p o =
+ mkCl (mkNP this_Quant o) like_V2 p ;
+}
diff --git a/examples/lrec-tutorial/face/LexFace.gf b/examples/lrec-tutorial/face/LexFace.gf
new file mode 100644
index 000000000..db60ab8fd
--- /dev/null
+++ b/examples/lrec-tutorial/face/LexFace.gf
@@ -0,0 +1,8 @@
+interface LexFace = open Syntax in {
+
+oper
+ like_V2 : V2 ;
+ invitation_N : N ;
+ friend_N : N ;
+
+}
diff --git a/examples/lrec-tutorial/face/LexFaceEng.gf b/examples/lrec-tutorial/face/LexFaceEng.gf
new file mode 100644
index 000000000..042d19923
--- /dev/null
+++ b/examples/lrec-tutorial/face/LexFaceEng.gf
@@ -0,0 +1,8 @@
+instance LexFaceEng of LexFace = open SyntaxEng, ParadigmsEng in {
+
+oper
+ like_V2 = mkV2 "like" ;
+ invitation_N = mkN "invitation" ;
+ friend_N = mkN "friend" ;
+
+}
diff --git a/examples/lrec-tutorial/face/LexFaceFin.gf b/examples/lrec-tutorial/face/LexFaceFin.gf
new file mode 100644
index 000000000..f43dbb022
--- /dev/null
+++ b/examples/lrec-tutorial/face/LexFaceFin.gf
@@ -0,0 +1,7 @@
+instance LexFaceFin of LexFace = open SyntaxFin, ParadigmsFin in {
+
+oper
+ like_V2 = mkV2 (mkV "pitää") elative ;
+ invitation_N = mkN "kutsu" ;
+ friend_N = mkN "ystävä" ;
+}
diff --git a/examples/lrec-tutorial/face/LexFaceIta.gf b/examples/lrec-tutorial/face/LexFaceIta.gf
new file mode 100644
index 000000000..ce03ef126
--- /dev/null
+++ b/examples/lrec-tutorial/face/LexFaceIta.gf
@@ -0,0 +1,6 @@
+instance LexFaceIta of LexFace = open SyntaxIta, ParadigmsIta in {
+oper
+ like_V2 = mkV2 (mkV (piacere_64 "piacere")) dative ;
+ invitation_N = mkN "invito" ;
+ friend_N = mkN "amico" ;
+}