From 1ca5e5398abd42fe71d4fe541e84318df0351e20 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 19 Nov 2003 17:33:06 +0000
Subject: Extending resource.

---
 grammars/database/DatabaseEngRes.gf | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 grammars/database/DatabaseEngRes.gf

(limited to 'grammars/database/DatabaseEngRes.gf')

diff --git a/grammars/database/DatabaseEngRes.gf b/grammars/database/DatabaseEngRes.gf
new file mode 100644
index 000000000..e00501a47
--- /dev/null
+++ b/grammars/database/DatabaseEngRes.gf
@@ -0,0 +1,11 @@
+resource DatabaseEngRes = open Prelude in {
+oper
+  mkSent : SS -> SS -> SS1 Bool = \long, short -> 
+    {s = table {b => if_then_else Str b long.s short.s}} ;
+
+  mkSentPrel : Str -> SS -> SS1 Bool = \prel, matter -> 
+    mkSent (ss (prel ++ matter.s)) matter ;
+
+  mkSentSame : SS -> SS1 Bool = \s -> 
+    mkSent s s ;
+} ;
-- 
cgit v1.2.3