added example for NLG from logical formula. See examples/nlg

1 files changed, 20 insertions, 0 deletions

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