resource examples in tutorial

1 files changed, 27 insertions, 0 deletions

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) ;
+
+}
+-}