resource examples in tutorial

7 files changed, 109 insertions, 0 deletions

diff --git a/doc/tutorial/arithm/Arithm.gf b/doc/tutorial/arithm/Arithm.gf
new file mode 100644
index 000000000..00d6b4780
--- /dev/null
+++ b/doc/tutorial/arithm/Arithm.gf
@@ -0,0 +1,13 @@
+abstract Arithm = {
+
+  cat
+    Prop ;
+    Nat ;
+
+  fun
+    Zero : Nat ;
+    Succ : Nat -> Nat ;
+    Even : Nat -> Prop ;
+    And  : Prop -> Prop -> Prop ;
+
+}
diff --git a/doc/tutorial/arithm/ArithmEng.gf b/doc/tutorial/arithm/ArithmEng.gf
new file mode 100644
index 000000000..5d2cd966d
--- /dev/null
+++ b/doc/tutorial/arithm/ArithmEng.gf
@@ -0,0 +1,27 @@
+--# -path=.:alltenses:prelude
+
+concrete ArithmEng of Arithm = ArithmI with
+  (Lang = LangEng),
+  (Lex = LexEng) ;
+
+{-
+
+concrete ArithmEng of Arithm = open LangEng, ParadigmsEng in {
+
+  lincat
+    Prop = S ;
+    Nat  = NP ;
+
+  lin
+    Zero = 
+      UsePN (regPN "zero" nonhuman) ;
+    Succ n = 
+      DetCN (DetSg (SgQuant DefArt) NoOrd) (ComplN2 (regN2 "successor") n) ;
+    Even n = 
+      UseCl TPres ASimul PPos 
+        (PredVP n (UseComp (CompAP (PositA (regA "even"))))) ;
+    And x y = 
+      ConjS and_Conj (BaseS x y) ;
+
+}
+-}
diff --git a/doc/tutorial/arithm/ArithmI.gf b/doc/tutorial/arithm/ArithmI.gf
new file mode 100644
index 000000000..f41b57fa6
--- /dev/null
+++ b/doc/tutorial/arithm/ArithmI.gf
@@ -0,0 +1,20 @@
+--# -path=.:alltenses:prelude
+
+incomplete concrete ArithmI of Arithm = open Lang, Lex in {
+
+  lincat
+    Prop = S ;
+    Nat  = NP ;
+
+  lin
+    Zero = 
+      UsePN zero_PN ;
+    Succ n = 
+      DetCN (DetSg (SgQuant DefArt) NoOrd) (ComplN2 successor_N2 n) ;
+    Even n = 
+      UseCl TPres ASimul PPos 
+        (PredVP n (UseComp (CompAP (PositA even_A)))) ;
+    And x y = 
+      ConjS and_Conj (BaseS x y) ;
+
+}
diff --git a/doc/tutorial/arithm/ArithmSwe.gf b/doc/tutorial/arithm/ArithmSwe.gf
new file mode 100644
index 000000000..070dcc280
--- /dev/null
+++ b/doc/tutorial/arithm/ArithmSwe.gf
@@ -0,0 +1,29 @@
+--# -path=.:alltenses:prelude
+
+
+concrete ArithmSwe of Arithm = ArithmI with
+  (Lang = LangSwe),
+  (Lex = LexSwe) ;
+
+{-
+concrete ArithmSwe of Arithm = open LangSwe, ParadigmsSwe in {
+
+  lincat
+    Prop = S ;
+    Nat  = NP ;
+
+  lin
+    Zero = 
+      UsePN (regPN "noll" neutrum) ;
+    Succ n = 
+      DetCN (DetSg (SgQuant DefArt) NoOrd) 
+        (ComplN2 (mkN2 (mk2N "efterföljare" "efterföljare") 
+           (mkPreposition "till")) n) ;
+    Even n = 
+      UseCl TPres ASimul PPos 
+        (PredVP n (UseComp (CompAP (PositA (regA "jämn"))))) ;
+    And x y = 
+      ConjS and_Conj (BaseS x y) ;
+
+}
+-}
\ No newline at end of file
diff --git a/doc/tutorial/arithm/Lex.gf b/doc/tutorial/arithm/Lex.gf
new file mode 100644
index 000000000..bfc725772
--- /dev/null
+++ b/doc/tutorial/arithm/Lex.gf
@@ -0,0 +1,6 @@
+abstract Lex = Cat ** {
+  fun
+    zero_PN : PN ;
+    successor_N2 : N2 ;  
+    even_A : A ;
+}
diff --git a/doc/tutorial/arithm/LexEng.gf b/doc/tutorial/arithm/LexEng.gf
new file mode 100644
index 000000000..50a2a99df
--- /dev/null
+++ b/doc/tutorial/arithm/LexEng.gf
@@ -0,0 +1,6 @@
+concrete LexEng of Lex = CatEng ** open ParadigmsEng in {
+  lin 
+    zero_PN = regPN "zero" nonhuman ;
+    successor_N2 = regN2 "successor" ;
+    even_A = regA "even" ;
+}
diff --git a/doc/tutorial/arithm/LexSwe.gf b/doc/tutorial/arithm/LexSwe.gf
new file mode 100644
index 000000000..54d66b6e9
--- /dev/null
+++ b/doc/tutorial/arithm/LexSwe.gf
@@ -0,0 +1,8 @@
+concrete LexSwe of Lex = CatSwe ** open ParadigmsSwe in {
+  lin 
+    zero_PN = regPN "noll" neutrum ;
+    successor_N2 = 
+      mkN2 (mk2N "efterföljare" "efterföljare") (mkPreposition "till") ;
+    even_A = regA "jämn" ;
+
+}