diff options
Diffstat (limited to 'test/regress/regress0/tptp/tptp_parser9.p')
| -rw-r--r-- | test/regress/regress0/tptp/tptp_parser9.p | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/regress/regress0/tptp/tptp_parser9.p b/test/regress/regress0/tptp/tptp_parser9.p new file mode 100644 index 000000000..9bed19702 --- /dev/null +++ b/test/regress/regress0/tptp/tptp_parser9.p @@ -0,0 +1,13 @@ +% Status: CounterSatisfiable + +%-------------------------------------------------------------------------- + +fof(query_1,axiom, include(1) ). + +fof(query_1,axiom, ![E]: e(E,1.6) ). + +fof(query_1,axiom, ![A,E]: ~e(A,3.0E3) ). + +fof(query_1,conjecture, ![E]: e(E,2.6) ). + +%-------------------------------------------------------------------------- |