From f668736f362936bd612801a6c7c7487cd51bcf48 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sun, 21 Oct 2007 10:06:34 +0000
Subject: [PATCH] English Base implementation with functor

---
 examples/tutorial/semantics/BaseIEng.gf   |  8 ++++++++
 examples/tutorial/semantics/LexBaseEng.gf | 17 +++++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 examples/tutorial/semantics/BaseIEng.gf
 create mode 100644 examples/tutorial/semantics/LexBaseEng.gf

diff --git a/examples/tutorial/semantics/BaseIEng.gf b/examples/tutorial/semantics/BaseIEng.gf
new file mode 100644
index 000000000..a73bd44c6
--- /dev/null
+++ b/examples/tutorial/semantics/BaseIEng.gf
@@ -0,0 +1,8 @@
+--# -path=.:prelude:present:api:mathematical
+
+concrete BaseIEng of Base = BaseI with
+  (Syntax = SyntaxEng), 
+  (Grammar = GrammarEng), 
+  (G = GrammarEng), 
+  (Symbolic = SymbolicEng), 
+  (LexBase = LexBaseEng) ;
diff --git a/examples/tutorial/semantics/LexBaseEng.gf b/examples/tutorial/semantics/LexBaseEng.gf
new file mode 100644
index 000000000..d0f3baa1e
--- /dev/null
+++ b/examples/tutorial/semantics/LexBaseEng.gf
@@ -0,0 +1,17 @@
+instance LexBaseEng of LexBase = open SyntaxEng, ParadigmsEng in {
+
+oper
+  even_A = mkA "even" ;
+  odd_A = mkA "odd" ;
+  prime_A = mkA "prime" ;
+  equal_A2 = mkA2 (mkA "equal") (mkPrep "to") ;
+  greater_A2 = mkA2 (mkA "greater") (mkPrep "than") ; ---
+  smaller_A2 = mkA2 (mkA "smaller") (mkPrep "than") ; ---
+  divisible_A2 = mkA2 (mkA "divisible") (mkPrep "by") ;
+  number_N = mkN "number" ;
+  sum_N2 = mkN2 (mkN "sum") (mkPrep "of") ;
+--  product_N2 : N2 ;
+--  gcd_N2 : N2 ;
+
+--  noSg_Det : Det ;
+}