1 files changed, 0 insertions, 23 deletions
diff --git a/examples/nlg/LogicCnc.gf b/examples/nlg/LogicCnc.gf
deleted file mode 100644
index b9a2013c9..000000000
--- a/examples/nlg/LogicCnc.gf
+++ /dev/null
@@ -1,23 +0,0 @@
---# -path=present
-concrete LogicCnc of Logic = {
-
-lincat
-  Ind = {s : Str};
-  Prop = {s:Str};
-
-lin
-  john = {s="john"};
-  mary = {s="mary"};
-  boy x = {s="boy"++"("++x.s++")"};
-  smart x = {s="smart"++"("++x.s++")"};
-  love x y = {s="love"++"("++x.s++","++y.s++")"};
-  leave x = {s="leave"++"("++x.s++")"};
-  and  x y = {s=x.s++"&&"++y.s};
-  or   x y = {s=x.s++"||"++y.s};
-  impl x y = {s=x.s++"=>"++y.s};
-  forall f = {s="forall"++f.$0++"."++"("++f.s++")"};
-  exists f = {s="exists"++f.$0++"."++"("++f.s++")"};
-  not p = {s="not"++"("++p.s++")"};
-  eq x y = {s=x.s++"="++y.s};
-
-}