In run_as_prover9_test_suite.py: added support for negated/expected-to-fail test cases, made output extraction more precise, improved output message clarity, improved usage documentation, and removed some distracting verbose messaging at the lower verbosity levels.
In naive_consent_theory.in: combined existing ethical action definitions into one combined definition. While the new definition doesn't permit testing the ethical nature of giving (or not giving) consent any more, it does provide better/more easily testable logical consistency. To test this (as a guard for future changes to this naive theory), negated test cases have been added. Usage documentation and formatting were also improved.
Initial commit of a TPTP test suite runner, run_as_tptp_test_suite.py, which uses the E automated theorem prover to run system/theory tests specified in the popular TPTP interchange format in the same way as the existing Prover9 test runner.
Initial import of a TPTP interchange format version of the naive consent theory as naive_consent_theory.tptp. This is intended to broaden the potential audience for this work by broadening prover support. Similarly to the Prover9 version, this includes test cases, and these are intended for use with the TPTP test suite runner.
In README.md: added a planned feature item for privacy considerations.
In run_as_prover9_test_suite.py, run_as_tptp_test_suite.py: added prover installation documentation to the Prover9 test runner, and clarified the E prover install step in the TPTP test runner.
In README.md: introduced the TPTP-compatible versions of the theory files, updating the 'getting started' information in particular to mention System on TPTP as a quick method to get started without having to install a prover.