From c70df9200c3244f45f75dcaefa650a82ddab55cc Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Tue, 30 Aug 2011 14:58:16 +0000
Subject: added example for NLG from logical formula. See examples/nlg

---
 examples/nlg/Logic.gf | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 examples/nlg/Logic.gf

(limited to 'examples/nlg/Logic.gf')

diff --git a/examples/nlg/Logic.gf b/examples/nlg/Logic.gf
new file mode 100644
index 000000000..63c330faf
--- /dev/null
+++ b/examples/nlg/Logic.gf
@@ -0,0 +1,20 @@
+abstract Logic = {
+
+cat
+  Ind; Prop;
+
+fun
+  john : Ind;
+  mary : Ind;
+  boy   : Ind -> Prop;
+  love  : Ind -> Ind -> Prop;
+  leave : Ind -> Prop;
+  smart : Ind -> Prop;
+  exists : (Ind -> Prop) -> Prop;
+  forall : (Ind -> Prop) -> Prop;
+  and,or : Prop -> Prop -> Prop;
+  impl : Prop -> Prop -> Prop;
+  not : Prop -> Prop;
+  eq : Ind -> Ind -> Prop;
+
+}
-- 
cgit v1.2.3