From 4c88a3bb64c9a2a487ea1314e4eaa584753f012c Mon Sep 17 00:00:00 2001
From: someone <jan@jvales.net>
Date: Tue, 5 Jun 2012 22:12:27 +0200
Subject: [PATCH] FAIL used "not" in eg. psh -.-

---
 fault.c.f.ab.obs | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 fault.c.f.ab.obs

diff --git a/fault.c.f.ab.obs b/fault.c.f.ab.obs
new file mode 100644
index 0000000..33c5b33
--- /dev/null
+++ b/fault.c.f.ab.obs
@@ -0,0 +1,5 @@
+% 1 jan@srv253 ~/ewbs (git)-[master] % ./dlv -silent -FRmin c.dl psh.dl w.dl f.dl s.dl constraints.dl connect.dl abnormal.hyp fault.obs fault.c.f.ab.obs -N=120
+% Cannot perform Reiter diagnostic reasoning for theories with negative body literals different from "ab".
+
+% Angaben lesen will gelernt sein: überlesen und jetzt geht es sich zeitlich nicht mehr aus ...
+
-- 
2.43.0