From 3737b9926696b70bdecdef3d38d1a1f9399c734a Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 16 Aug 2007 20:12:45 +0000
Subject: foods example moved and completed

---
 examples/tutorial/foods/FoodsEng.gf | 50 +++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 examples/tutorial/foods/FoodsEng.gf

(limited to 'examples/tutorial/foods/FoodsEng.gf')

diff --git a/examples/tutorial/foods/FoodsEng.gf b/examples/tutorial/foods/FoodsEng.gf
new file mode 100644
index 000000000..ba3502b39
--- /dev/null
+++ b/examples/tutorial/foods/FoodsEng.gf
@@ -0,0 +1,50 @@
+--# -path=.:resource:prelude
+
+concrete FoodsEng of Foods = open Prelude in {
+
+  lincat
+    S, Quality = SS ; 
+    Kind = {s : Number => Str} ; 
+    Item = {s : Str ; n : Number} ; 
+
+  lin
+    Is item quality = ss (item.s ++ copula item.n ++ quality.s) ;
+    This  = det Sg "this" ;
+    That  = det Sg "that" ;
+    These = det Pl "these" ;
+    Those = det Pl "those" ;
+    QKind quality kind = {s = \\n => quality.s ++ kind.s ! n} ;
+    Wine = noun "wine" "wines" ;
+    Cheese = noun "cheese" "cheeses" ;
+    Fish = noun "fish" "fish" ;
+    Pizza = noun "pizza" "pizzas" ;
+    Very = prefixSS "very" ;
+    Fresh = ss "fresh" ;
+    Warm = ss "warm" ;
+    Italian = ss "Italian" ;
+    Expensive = ss "expensive" ;
+    Delicious = ss "delicious" ;
+    Boring = ss "boring" ;
+
+  param
+    Number = Sg | Pl ;
+
+  oper
+    det : Number -> Str -> {s : Number => Str} -> {s : Str ; n : Number} = 
+      \n,d,cn -> {
+        s = d ++ cn.s ! n ;
+        n = n
+      } ;
+    noun : Str -> Str -> {s : Number => Str} = 
+      \man,men -> {s = table {
+        Sg => man ;
+        Pl => men 
+        }
+      } ;
+    copula : Number -> Str = 
+      \n -> case n of {
+        Sg => "is" ;
+        Pl => "are"
+        } ;
+}
+    
-- 
cgit v1.2.3