resource examples in tutorial

1 files changed, 20 insertions, 0 deletions

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