diff options
Diffstat (limited to 'test/regress/regress0/tptp/tptp_parser10.p')
-rw-r--r-- | test/regress/regress0/tptp/tptp_parser10.p | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/regress/regress0/tptp/tptp_parser10.p b/test/regress/regress0/tptp/tptp_parser10.p new file mode 100644 index 000000000..d6a257121 --- /dev/null +++ b/test/regress/regress0/tptp/tptp_parser10.p @@ -0,0 +1,9 @@ +% Status: Theorem + +%-------------------------------------------------------------------------- + +fof(query_1,axiom, ![A,B]: (A != B => e(A) != e(B)) ). + +fof(query_1,conjecture, e(1.6) != e(1) ). + +%-------------------------------------------------------------------------- |