From 2b21e7fae764f454200183fdcd7efbed3c647012 Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 24 Apr 2010 11:34:04 +0000 Subject: lrec tutorial examples --- examples/lrec-tutorial/face/Face.gf | 14 ++++++++++++++ examples/lrec-tutorial/face/FaceEn0.gf | 22 ++++++++++++++++++++++ examples/lrec-tutorial/face/FaceEng.gf | 7 +++++++ examples/lrec-tutorial/face/FaceFin.gf | 7 +++++++ examples/lrec-tutorial/face/FaceI.gf | 17 +++++++++++++++++ examples/lrec-tutorial/face/FaceIta.gf | 8 ++++++++ examples/lrec-tutorial/face/LexFace.gf | 8 ++++++++ examples/lrec-tutorial/face/LexFaceEng.gf | 8 ++++++++ examples/lrec-tutorial/face/LexFaceFin.gf | 7 +++++++ examples/lrec-tutorial/face/LexFaceIta.gf | 6 ++++++ 10 files changed, 104 insertions(+) create mode 100644 examples/lrec-tutorial/face/Face.gf create mode 100644 examples/lrec-tutorial/face/FaceEn0.gf create mode 100644 examples/lrec-tutorial/face/FaceEng.gf create mode 100644 examples/lrec-tutorial/face/FaceFin.gf create mode 100644 examples/lrec-tutorial/face/FaceI.gf create mode 100644 examples/lrec-tutorial/face/FaceIta.gf create mode 100644 examples/lrec-tutorial/face/LexFace.gf create mode 100644 examples/lrec-tutorial/face/LexFaceEng.gf create mode 100644 examples/lrec-tutorial/face/LexFaceFin.gf create mode 100644 examples/lrec-tutorial/face/LexFaceIta.gf (limited to 'examples/lrec-tutorial/face') 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" ; +} -- cgit v1.2.3