diff --git a/test/facts/facts.lp b/test/facts/facts.lp
new file mode 100644
index 0000000..a597092
--- /dev/null
+++ b/test/facts/facts.lp
@@ -0,0 +1,2 @@
+a.
+b.
\ No newline at end of file
diff --git a/test/facts/facts2.lp b/test/facts/facts2.lp
new file mode 100644
index 0000000..924f266
--- /dev/null
+++ b/test/facts/facts2.lp
@@ -0,0 +1,3 @@
+a.
+b.
+:- not &k{ a }.
\ No newline at end of file