From 013f3ce803cac0d6b0d6f100f4561fb8a0e892fe Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 1 Jun 2006 16:16:18 +0000
Subject: resource examples in tutorial

---
 doc/tutorial/arithm/ArithmI.gf | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 doc/tutorial/arithm/ArithmI.gf

(limited to 'doc/tutorial/arithm/ArithmI.gf')

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) ;
+
+}
-- 
cgit v1.2.3