examples of dialogue system grammars

1 files changed, 27 insertions, 0 deletions

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 ;
+
+
+}