From 6bbd4e423a7cda422a2e519453a41cef234506bd Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 16 May 2006 13:07:41 +0000
Subject: examples of dialogue system grammars

---
 examples/dialogue/Dialogue.gf | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 examples/dialogue/Dialogue.gf

(limited to 'examples/dialogue/Dialogue.gf')

diff --git a/examples/dialogue/Dialogue.gf b/examples/dialogue/Dialogue.gf
new file mode 100644
index 000000000..ccb410d15
--- /dev/null
+++ b/examples/dialogue/Dialogue.gf
@@ -0,0 +1,27 @@
+abstract Dialogue = {
+
+  cat
+    Move ;
+    Action ;
+    Kind ;
+    Object Kind ;
+    Oper0 ;
+    Oper1 Kind ;
+    Oper2 Kind Kind ;
+
+  fun
+    MRequest : Action -> Move ;
+    MAnswer  : Action -> Move ;
+
+    MQuery : Kind -> Move ;
+
+    AOper0 :                 Oper0                             -> Action ;
+    AOper1 : (k   : Kind) -> Oper1 k   -> Object k             -> Action ;
+    AOper2 : (k,m : Kind) -> Oper2 k m -> Object k -> Object m -> Action ;
+
+    OAll   : (k : Kind) -> Object k ;
+    OIndef : (k : Kind) -> Object k ;
+    ODef   : (k : Kind) -> Object k ;
+
+
+}
-- 
cgit v1.2.3