Simple conjecture

slomo · Oct 12, 2012 · 3155590 · 3155590
1 parent f6abf04
commit 3155590
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tptp-test/fancy.p b/tptp-test/fancy.p
@@ -0,0 +1 @@
+fof(ax, axiom, ![X]: r(X)).fof(ax, axiom, ![X]: p(X)).fof(c, conjecture, ![X]: p(X) & r(X)).