improved final-resource

12 files changed, 71 insertions, 0 deletions

diff --git a/doc/tutorial/music/Music.gf b/doc/tutorial/music/Music.gf
new file mode 100644
index 000000000..e662bc70e
--- /dev/null
+++ b/doc/tutorial/music/Music.gf
@@ -0,0 +1,9 @@
+  abstract Music = {
+    cat 
+      Kind ;
+      Property ;
+    fun 
+      PropKind : Kind -> Property -> Kind ; 
+      Song : Kind ;
+      American : Property ;
+}
\ No newline at end of file
diff --git a/doc/tutorial/music/MusicEng.gf b/doc/tutorial/music/MusicEng.gf
new file mode 100644
index 000000000..1339ab757
--- /dev/null
+++ b/doc/tutorial/music/MusicEng.gf
@@ -0,0 +1,7 @@
+--# -path=.:present:prelude
+
+  concrete MusicEng of Music = MusicEng0 - [PropKind] ** open GrammarEng in {
+    lin
+      PropKind k p = 
+        RelCN k (UseRCl TPres ASimul PPos (RelVP IdRP (UseComp (CompAP p)))) ;
+    }
diff --git a/doc/tutorial/music/MusicEng0.gf b/doc/tutorial/music/MusicEng0.gf
new file mode 100644
index 000000000..2d9ae53b3
--- /dev/null
+++ b/doc/tutorial/music/MusicEng0.gf
@@ -0,0 +1,3 @@
+  concrete MusicEng0 of Music = MusicI with
+    (Grammar = GrammarEng),
+    (MusicLex = MusicLexEng) ;
diff --git a/doc/tutorial/music/MusicFin.gf b/doc/tutorial/music/MusicFin.gf
new file mode 100644
index 000000000..1778446a6
--- /dev/null
+++ b/doc/tutorial/music/MusicFin.gf
@@ -0,0 +1,5 @@
+--# -path=.:present:prelude
+
+  concrete MusicFin of Music = MusicI with
+    (Grammar = GrammarFin),
+    (MusicLex = MusicLexFin) ;
diff --git a/doc/tutorial/music/MusicFre.gf b/doc/tutorial/music/MusicFre.gf
new file mode 100644
index 000000000..4992589ef
--- /dev/null
+++ b/doc/tutorial/music/MusicFre.gf
@@ -0,0 +1,6 @@
+--# -path=.:present:prelude
+
+
+  concrete MusicFre of Music = MusicI with
+    (Grammar = GrammarFre),
+    (MusicLex = MusicLexFre) ;
diff --git a/doc/tutorial/music/MusicGer.gf b/doc/tutorial/music/MusicGer.gf
new file mode 100644
index 000000000..eaf22f287
--- /dev/null
+++ b/doc/tutorial/music/MusicGer.gf
@@ -0,0 +1,6 @@
+--# -path=.:present:prelude
+
+  concrete MusicGer of Music = MusicI with
+    (Grammar = GrammarGer),
+    (MusicLex = MusicLexGer) ;
+
diff --git a/doc/tutorial/music/MusicI.gf b/doc/tutorial/music/MusicI.gf
new file mode 100644
index 000000000..a831fd7e6
--- /dev/null
+++ b/doc/tutorial/music/MusicI.gf
@@ -0,0 +1,9 @@
+  incomplete concrete MusicI of Music = open Grammar, MusicLex in {
+    lincat 
+      Kind = CN ;
+      Property = AP ;
+    lin
+      PropKind k p = AdjCN p k ;
+      Song = UseN song_N ;
+      American = PositA american_A ;
+    }
\ No newline at end of file
diff --git a/doc/tutorial/music/MusicLex.gf b/doc/tutorial/music/MusicLex.gf
new file mode 100644
index 000000000..87a670698
--- /dev/null
+++ b/doc/tutorial/music/MusicLex.gf
@@ -0,0 +1,5 @@
+  abstract MusicLex = Cat ** {
+    fun
+      song_N : N ;
+      american_A : A ;
+    }
diff --git a/doc/tutorial/music/MusicLexEng.gf b/doc/tutorial/music/MusicLexEng.gf
new file mode 100644
index 000000000..3d90e8f37
--- /dev/null
+++ b/doc/tutorial/music/MusicLexEng.gf
@@ -0,0 +1,5 @@
+  concrete MusicLexEng of MusicLex = CatEng ** open ParadigmsEng in {
+    lin
+      song_N = regN "song" ;
+      american_A = regA "American" ;
+    }
\ No newline at end of file
diff --git a/doc/tutorial/music/MusicLexFin.gf b/doc/tutorial/music/MusicLexFin.gf
new file mode 100644
index 000000000..eb6ba7ef0
--- /dev/null
+++ b/doc/tutorial/music/MusicLexFin.gf
@@ -0,0 +1,6 @@
+  concrete MusicLexFin of MusicLex = CatFin ** open ParadigmsFin in {
+    lin
+      song_N = regN "kappale" ;
+      american_A = regA "amerikkalainen" ;
+    }
+
diff --git a/doc/tutorial/music/MusicLexFre.gf b/doc/tutorial/music/MusicLexFre.gf
new file mode 100644
index 000000000..31efbc728
--- /dev/null
+++ b/doc/tutorial/music/MusicLexFre.gf
@@ -0,0 +1,5 @@
+  concrete MusicLexFre of MusicLex = CatFre ** open ParadigmsFre in {
+    lin
+      song_N = regGenN "chanson" feminine ;
+      american_A = regA "américain" ;
+    }
diff --git a/doc/tutorial/music/MusicLexGer.gf b/doc/tutorial/music/MusicLexGer.gf
new file mode 100644
index 000000000..52e16bc0c
--- /dev/null
+++ b/doc/tutorial/music/MusicLexGer.gf
@@ -0,0 +1,5 @@
+  concrete MusicLexGer of MusicLex = CatGer ** open ParadigmsGer in {
+    lin
+      song_N = reg2N "Lied" "Lieder" neuter ;
+      american_A = regA "amerikanisch" ;
+    }