diff options
Diffstat (limited to 'test/regress/regress0/tptp/tptp_parser8.p')
-rw-r--r-- | test/regress/regress0/tptp/tptp_parser8.p | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/regress/regress0/tptp/tptp_parser8.p b/test/regress/regress0/tptp/tptp_parser8.p new file mode 100644 index 000000000..da281151b --- /dev/null +++ b/test/regress/regress0/tptp/tptp_parser8.p @@ -0,0 +1,10 @@ +% Status: Satisfiable + +%-------------------------------------------------------------------------- +include('tptp_parser7.p'). + +cnf(query_1,axiom, include('A') | b ). + +cnf(query_1,negated_conjecture, ~ b ). + +%-------------------------------------------------------------------------- |