Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: FIXME
Upstream-Contact: FIXME
Source: FIXME
Disclaimer: Autogenerated by licensecheck

Files: Dockerfile
 INSTALL
 README.md
 VERSION
 debian/NEWS
 debian/README.Debian
 debian/TODO
 debian/clean
 debian/control
 debian/copyright-check
 debian/docs
 debian/examples
 debian/fake_bin/eye
 debian/gbp.conf
 debian/install
 debian/links
 debian/manpages
 debian/patches/2001_tidy_usage.patch
 debian/patches/2002_privacy.patch
 debian/patches/series
 debian/rules
 debian/source/format
 debian/source/lintian-overrides
 debian/tests/control
 debian/tests/eye.pvm.t
 debian/tests/net/eye.pvm.t
 debian/watch
 documentation/blogic.md
 documentation/command_line.md
 documentation/docker.md
 documentation/forward_or_backward.md
 documentation/rdfpackages.md
 eye-builtins.n3
 eye.cmd
 eye.sh
 eye.sh.in
 index.html
 install.cmd
 install.sh
 log-rules.n3
 mkeye
 proofcheck
 reasoning/3outof5/README
 reasoning/3outof5/answer.n3
 reasoning/3outof5/proof.n3
 reasoning/3outof5/query.n3
 reasoning/3outof5/sample.n3
 reasoning/3outof5/test
 reasoning/4color/4color_answer.n3
 reasoning/4color/4color_data.n3
 reasoning/4color/4color_proof.n3
 reasoning/4color/4color_query.n3
 reasoning/4color/4color_rules.n3
 reasoning/4color/README
 reasoning/4color/test
 reasoning/4number/4number-answer.n3
 reasoning/4number/4number-proof.n3
 reasoning/4number/4number-query.n3
 reasoning/4number/4number.n3
 reasoning/4number/README
 reasoning/4number/test
 reasoning/README
 reasoning/access-control-policy/README
 reasoning/access-control-policy/acp-answer.n3
 reasoning/access-control-policy/acp-proof.n3
 reasoning/access-control-policy/acp-query.n3
 reasoning/access-control-policy/acp.n3
 reasoning/access-control-policy/test
 reasoning/ackermann/README
 reasoning/ackermann/ackermann-answer.n3
 reasoning/ackermann/ackermann-proof.n3
 reasoning/ackermann/ackermann-query.n3
 reasoning/ackermann/ackermann.n3
 reasoning/ackermann/test
 reasoning/age/README
 reasoning/age/age-answer.n3
 reasoning/age/age-proof.n3
 reasoning/age/age-query.n3
 reasoning/age/age.n3
 reasoning/age/test
 reasoning/allen/README
 reasoning/allen/allen.n3
 reasoning/allen/answer.n3
 reasoning/allen/eventTime_rules.n3
 reasoning/allen/logic.n3
 reasoning/allen/population.n3
 reasoning/allen/query.n3
 reasoning/allen/test
 reasoning/allen/token.n3
 reasoning/allen/try.n3
 reasoning/arcus/3outof5/3outof5-answer.ttl
 reasoning/arcus/3outof5/3outof5-proof.ttl
 reasoning/arcus/3outof5/3outof5.ttl
 reasoning/arcus/3outof5/README.md
 reasoning/arcus/3outof5/test
 reasoning/arcus/4color/4color-answer.ttl
 reasoning/arcus/4color/4color-proof.ttl
 reasoning/arcus/4color/4color.ttl
 reasoning/arcus/4color/README.md
 reasoning/arcus/4color/test
 reasoning/arcus/README.md
 reasoning/arcus/access-control-policy/README.md
 reasoning/arcus/access-control-policy/access-control-policy-answer.ttl
 reasoning/arcus/access-control-policy/access-control-policy-proof.ttl
 reasoning/arcus/access-control-policy/access-control-policy.ttl
 reasoning/arcus/access-control-policy/test
 reasoning/arcus/ackermann/README.md
 reasoning/arcus/ackermann/ackermann-answer.ttl
 reasoning/arcus/ackermann/ackermann-proof.ttl
 reasoning/arcus/ackermann/ackermann.ttl
 reasoning/arcus/ackermann/test
 reasoning/arcus/age/README.md
 reasoning/arcus/age/age-answer.ttl
 reasoning/arcus/age/age-proof.ttl
 reasoning/arcus/age/age.ttl
 reasoning/arcus/age/test
 reasoning/arcus/backward/README.md
 reasoning/arcus/backward/backward-answer.ttl
 reasoning/arcus/backward/backward-proof.ttl
 reasoning/arcus/backward/backward.ttl
 reasoning/arcus/backward/test
 reasoning/arcus/basic-monadic/1tt1.ttl
 reasoning/arcus/basic-monadic/1tt10.ttl
 reasoning/arcus/basic-monadic/1tt2.ttl
 reasoning/arcus/basic-monadic/1tt3.ttl
 reasoning/arcus/basic-monadic/1tt4.ttl
 reasoning/arcus/basic-monadic/1tt5.ttl
 reasoning/arcus/basic-monadic/1tt6.ttl
 reasoning/arcus/basic-monadic/1tt7.ttl
 reasoning/arcus/basic-monadic/1tt8.ttl
 reasoning/arcus/basic-monadic/1tt9.ttl
 reasoning/arcus/basic-monadic/README.md
 reasoning/arcus/basic-monadic/basic-monadic-answer.ttl
 reasoning/arcus/basic-monadic/basic-monadic-proof.ttl
 reasoning/arcus/basic-monadic/basic-monadic.ttl
 reasoning/arcus/basic-monadic/test
 reasoning/arcus/beetle/README.md
 reasoning/arcus/beetle/beetle-answer.ttl
 reasoning/arcus/beetle/beetle-proof.ttl
 reasoning/arcus/beetle/beetle.ttl
 reasoning/arcus/beetle/test
 reasoning/arcus/beetle12/README.md
 reasoning/arcus/beetle12/beetle12-answer.ttl
 reasoning/arcus/beetle12/beetle12-proof.ttl
 reasoning/arcus/beetle12/beetle12.ttl
 reasoning/arcus/beetle12/test
 reasoning/arcus/beetle6/README.md
 reasoning/arcus/beetle6/beetle6-answer.ttl
 reasoning/arcus/beetle6/beetle6-proof.ttl
 reasoning/arcus/beetle6/beetle6.ttl
 reasoning/arcus/beetle6/test
 reasoning/arcus/cardinality/README.md
 reasoning/arcus/cardinality/cardinality-answer.ttl
 reasoning/arcus/cardinality/cardinality-proof.ttl
 reasoning/arcus/cardinality/cardinality.ttl
 reasoning/arcus/cardinality/test
 reasoning/arcus/collatz/README.md
 reasoning/arcus/collatz/collatz-answer.ttl
 reasoning/arcus/collatz/collatz-proof.ttl
 reasoning/arcus/collatz/collatz.ttl
 reasoning/arcus/collatz/test
 reasoning/arcus/combinatorics/README.md
 reasoning/arcus/combinatorics/combinatorics-answer.ttl
 reasoning/arcus/combinatorics/combinatorics-proof.ttl
 reasoning/arcus/combinatorics/combinatorics.ttl
 reasoning/arcus/combinatorics/test
 reasoning/arcus/complex/README.md
 reasoning/arcus/complex/complex-answer.ttl
 reasoning/arcus/complex/complex-proof.ttl
 reasoning/arcus/complex/complex.ttl
 reasoning/arcus/complex/test
 reasoning/arcus/control-system/README.md
 reasoning/arcus/control-system/control-system-answer.ttl
 reasoning/arcus/control-system/control-system-proof.ttl
 reasoning/arcus/control-system/control-system.ttl
 reasoning/arcus/control-system/test
 reasoning/arcus/crypto/README.md
 reasoning/arcus/crypto/crypto-answer.ttl
 reasoning/arcus/crypto/crypto-proof.ttl
 reasoning/arcus/crypto/crypto.ttl
 reasoning/arcus/crypto/test
 reasoning/arcus/deep-taxonomy/README.md
 reasoning/arcus/deep-taxonomy/deep-taxonomy-answer.ttl
 reasoning/arcus/deep-taxonomy/deep-taxonomy-proof.ttl
 reasoning/arcus/deep-taxonomy/deep-taxonomy.ttl
 reasoning/arcus/deep-taxonomy/test
 reasoning/arcus/defeasable-logic/README.md
 reasoning/arcus/defeasable-logic/defeasable-logic-answer.ttl
 reasoning/arcus/defeasable-logic/defeasable-logic-proof.ttl
 reasoning/arcus/defeasable-logic/defeasable-logic.ttl
 reasoning/arcus/defeasable-logic/test
 reasoning/arcus/derived-rule/README.md
 reasoning/arcus/derived-rule/derived-rule-answer.ttl
 reasoning/arcus/derived-rule/derived-rule-proof.ttl
 reasoning/arcus/derived-rule/derived-rule.ttl
 reasoning/arcus/derived-rule/test
 reasoning/arcus/diamond-property/README.md
 reasoning/arcus/diamond-property/diamond-property-answer.ttl
 reasoning/arcus/diamond-property/diamond-property-proof.ttl
 reasoning/arcus/diamond-property/diamond-property.ttl
 reasoning/arcus/diamond-property/test
 reasoning/arcus/dijkstra/README.md
 reasoning/arcus/dijkstra/dijkstra-answer.ttl
 reasoning/arcus/dijkstra/dijkstra-proof.ttl
 reasoning/arcus/dijkstra/dijkstra.ttl
 reasoning/arcus/dijkstra/test
 reasoning/arcus/dog/README.md
 reasoning/arcus/dog/dog-answer.ttl
 reasoning/arcus/dog/dog-proof.ttl
 reasoning/arcus/dog/dog.ttl
 reasoning/arcus/dog/test
 reasoning/arcus/easter/README.md
 reasoning/arcus/easter/easter-answer.ttl
 reasoning/arcus/easter/easter-proof.ttl
 reasoning/arcus/easter/easter.ttl
 reasoning/arcus/easter/test
 reasoning/arcus/eulers-identity/README.md
 reasoning/arcus/eulers-identity/eulers-identity-answer.ttl
 reasoning/arcus/eulers-identity/eulers-identity-proof.ttl
 reasoning/arcus/eulers-identity/eulers-identity.ttl
 reasoning/arcus/eulers-identity/test
 reasoning/arcus/fibonacci/README.md
 reasoning/arcus/fibonacci/fibonacci-answer.ttl
 reasoning/arcus/fibonacci/fibonacci-proof.ttl
 reasoning/arcus/fibonacci/fibonacci.ttl
 reasoning/arcus/fibonacci/test
 reasoning/arcus/fuse/README.md
 reasoning/arcus/fuse/fuse-output.err
 reasoning/arcus/fuse/fuse.ttl
 reasoning/arcus/fuse/test
 reasoning/arcus/good-cobbler/README.md
 reasoning/arcus/good-cobbler/good-cobbler-answer.ttl
 reasoning/arcus/good-cobbler/good-cobbler-proof.ttl
 reasoning/arcus/good-cobbler/good-cobbler.ttl
 reasoning/arcus/good-cobbler/test
 reasoning/arcus/gps/README.md
 reasoning/arcus/gps/gps-answer.ttl
 reasoning/arcus/gps/gps-proof.ttl
 reasoning/arcus/gps/gps-schema
 reasoning/arcus/gps/gps.ttl
 reasoning/arcus/gps/test
 reasoning/arcus/graph/README.md
 reasoning/arcus/graph/graph-answer.ttl
 reasoning/arcus/graph/graph-proof.ttl
 reasoning/arcus/graph/graph.ttl
 reasoning/arcus/graph/test
 reasoning/arcus/gray-code-counter/README.md
 reasoning/arcus/gray-code-counter/gray-code-counter-answer.ttl
 reasoning/arcus/gray-code-counter/gray-code-counter-proof.ttl
 reasoning/arcus/gray-code-counter/gray-code-counter.ttl
 reasoning/arcus/gray-code-counter/test
 reasoning/arcus/hanoi/README.md
 reasoning/arcus/hanoi/hanoi-answer.ttl
 reasoning/arcus/hanoi/hanoi-proof.ttl
 reasoning/arcus/hanoi/hanoi.ttl
 reasoning/arcus/hanoi/test
 reasoning/arcus/heisenberg/README.md
 reasoning/arcus/heisenberg/heisenberg-answer.ttl
 reasoning/arcus/heisenberg/heisenberg-proof.ttl
 reasoning/arcus/heisenberg/heisenberg.ttl
 reasoning/arcus/heisenberg/test
 reasoning/arcus/ldes/README.md
 reasoning/arcus/ldes/ldes-answer.ttl
 reasoning/arcus/ldes/ldes-proof.ttl
 reasoning/arcus/ldes/ldes.ttl
 reasoning/arcus/ldes/test
 reasoning/arcus/meta-interpretation/README.md
 reasoning/arcus/meta-interpretation/meta-interpretation-answer.ttl
 reasoning/arcus/meta-interpretation/meta-interpretation-proof.ttl
 reasoning/arcus/meta-interpretation/meta-interpretation.ttl
 reasoning/arcus/meta-interpretation/test
 reasoning/arcus/n-queens/README.md
 reasoning/arcus/n-queens/n-queens-answer.ttl
 reasoning/arcus/n-queens/n-queens-proof.ttl
 reasoning/arcus/n-queens/n-queens.ttl
 reasoning/arcus/n-queens/test
 reasoning/arcus/path-discovery/README.md
 reasoning/arcus/path-discovery/path-discovery-answer.ttl
 reasoning/arcus/path-discovery/path-discovery-data.ttl
 reasoning/arcus/path-discovery/path-discovery-proof.ttl
 reasoning/arcus/path-discovery/path-discovery.ttl
 reasoning/arcus/path-discovery/test
 reasoning/arcus/peano/README.md
 reasoning/arcus/peano/peano-answer.ttl
 reasoning/arcus/peano/peano-proof.ttl
 reasoning/arcus/peano/peano.ttl
 reasoning/arcus/peano/test
 reasoning/arcus/positive/README.md
 reasoning/arcus/positive/positive-answer.ttl
 reasoning/arcus/positive/positive-proof.ttl
 reasoning/arcus/positive/positive.ttl
 reasoning/arcus/positive/test
 reasoning/arcus/prescription/README.md
 reasoning/arcus/prescription/prescription-answer.ttl
 reasoning/arcus/prescription/prescription-proof.ttl
 reasoning/arcus/prescription/prescription.ttl
 reasoning/arcus/prescription/test
 reasoning/arcus/pythagoras/README.md
 reasoning/arcus/pythagoras/pythagoras-answer.ttl
 reasoning/arcus/pythagoras/pythagoras-proof.ttl
 reasoning/arcus/pythagoras/pythagoras.ttl
 reasoning/arcus/pythagoras/test
 reasoning/arcus/query-generation/README.md
 reasoning/arcus/query-generation/generated-query.ttl
 reasoning/arcus/query-generation/query-generation.ttl
 reasoning/arcus/query-generation/test
 reasoning/arcus/slide32/README.md
 reasoning/arcus/slide32/slide32-answer.ttl
 reasoning/arcus/slide32/slide32-proof.ttl
 reasoning/arcus/slide32/slide32.ttl
 reasoning/arcus/slide32/test
 reasoning/arcus/slide33/README.md
 reasoning/arcus/slide33/slide33-answer.ttl
 reasoning/arcus/slide33/slide33-proof.ttl
 reasoning/arcus/slide33/slide33.ttl
 reasoning/arcus/slide33/test
 reasoning/arcus/snaf/README.md
 reasoning/arcus/snaf/snaf-answer.ttl
 reasoning/arcus/snaf/snaf-proof.ttl
 reasoning/arcus/snaf/snaf.ttl
 reasoning/arcus/snaf/test
 reasoning/arcus/socrates/README.md
 reasoning/arcus/socrates/socrates-answer.ttl
 reasoning/arcus/socrates/socrates-proof.ttl
 reasoning/arcus/socrates/socrates.ttl
 reasoning/arcus/socrates/test
 reasoning/arcus/takeuchi/README.md
 reasoning/arcus/takeuchi/takeuchi-answer.ttl
 reasoning/arcus/takeuchi/takeuchi-proof.ttl
 reasoning/arcus/takeuchi/takeuchi.ttl
 reasoning/arcus/takeuchi/test
 reasoning/arcus/test
 reasoning/arcus/turing/README.md
 reasoning/arcus/turing/test
 reasoning/arcus/turing/turing-answer.ttl
 reasoning/arcus/turing/turing-proof.ttl
 reasoning/arcus/turing/turing.ttl
 reasoning/arcus/universal/README.md
 reasoning/arcus/universal/test
 reasoning/arcus/universal/universal-answer.ttl
 reasoning/arcus/universal/universal-proof.ttl
 reasoning/arcus/universal/universal.ttl
 reasoning/arcus/water/README.md
 reasoning/arcus/water/test
 reasoning/arcus/water/water-answer.ttl
 reasoning/arcus/water/water-proof.ttl
 reasoning/arcus/water/water.ttl
 reasoning/arcus/wet/README.md
 reasoning/arcus/wet/test
 reasoning/arcus/wet/wet-answer.ttl
 reasoning/arcus/wet/wet-proof.ttl
 reasoning/arcus/wet/wet.ttl
 reasoning/arcus/wind-turbine/README.md
 reasoning/arcus/wind-turbine/test
 reasoning/arcus/wind-turbine/wind-turbine-answer.ttl
 reasoning/arcus/wind-turbine/wind-turbine-proof.ttl
 reasoning/arcus/wind-turbine/wind-turbine.ttl
 reasoning/arcus/witch/README.md
 reasoning/arcus/witch/test
 reasoning/arcus/witch/witch-answer.ttl
 reasoning/arcus/witch/witch-proof.ttl
 reasoning/arcus/witch/witch.ttl
 reasoning/arcus/zebra/README.md
 reasoning/arcus/zebra/test
 reasoning/arcus/zebra/zebra-answer.ttl
 reasoning/arcus/zebra/zebra-proof.ttl
 reasoning/arcus/zebra/zebra.ttl
 reasoning/arvol/README.md
 reasoning/arvol/input/access-control-policy.pl
 reasoning/arvol/input/ackermann.pl
 reasoning/arvol/input/age.pl
 reasoning/arvol/input/animal.pl
 reasoning/arvol/input/basic-monadic.pl
 reasoning/arvol/input/best-route.pl
 reasoning/arvol/input/collatz.pl
 reasoning/arvol/input/combinatorics.pl
 reasoning/arvol/input/complex.pl
 reasoning/arvol/input/conflict-resolution.pl
 reasoning/arvol/input/control-system.pl
 reasoning/arvol/input/curly.pl
 reasoning/arvol/input/d3-group.pl
 reasoning/arvol/input/data-negotiation.pl
 reasoning/arvol/input/deep-taxonomy.pl
 reasoning/arvol/input/deontic-logic.pl
 reasoning/arvol/input/derivative.pl
 reasoning/arvol/input/derived-rule.pl
 reasoning/arvol/input/dijkstra.pl
 reasoning/arvol/input/display-user-details.pl
 reasoning/arvol/input/dog.pl
 reasoning/arvol/input/easter.pl
 reasoning/arvol/input/enigma1225.pl
 reasoning/arvol/input/equation-solver.pl
 reasoning/arvol/input/eulerian-path.pl
 reasoning/arvol/input/eulers-identity.pl
 reasoning/arvol/input/evolutionary-algorithm.pl
 reasoning/arvol/input/fast-fourier-transform.pl
 reasoning/arvol/input/fibonacci.pl
 reasoning/arvol/input/flute-puzzle.pl
 reasoning/arvol/input/four-color.pl
 reasoning/arvol/input/fuse.pl
 reasoning/arvol/input/gdpr-compliance.pl
 reasoning/arvol/input/goldbach.pl
 reasoning/arvol/input/good-cobbler.pl
 reasoning/arvol/input/gps.pl
 reasoning/arvol/input/graph-reachability.pl
 reasoning/arvol/input/graph.pl
 reasoning/arvol/input/gray-code-counter.pl
 reasoning/arvol/input/hamiltonian-path.pl
 reasoning/arvol/input/hanoi.pl
 reasoning/arvol/input/healthcare-access-control.pl
 reasoning/arvol/input/intel-4004.pl
 reasoning/arvol/input/kaprekar.pl
 reasoning/arvol/input/lee.pl
 reasoning/arvol/input/meta-interpretation.pl
 reasoning/arvol/input/monkey-bananas.pl
 reasoning/arvol/input/multi-agent.pl
 reasoning/arvol/input/n-queens.pl
 reasoning/arvol/input/newton-raphson.pl
 reasoning/arvol/input/padovan.pl
 reasoning/arvol/input/path-discovery.pl
 reasoning/arvol/input/path.pl
 reasoning/arvol/input/peano.pl
 reasoning/arvol/input/peasant.pl
 reasoning/arvol/input/pi.pl
 reasoning/arvol/input/polygon.pl
 reasoning/arvol/input/polynomial.pl
 reasoning/arvol/input/prime.pl
 reasoning/arvol/input/proposition-prover.pl
 reasoning/arvol/input/qiana.pl
 reasoning/arvol/input/quantum-darwinism.pl
 reasoning/arvol/input/quine-mccluskey.pl
 reasoning/arvol/input/sieve.pl
 reasoning/arvol/input/socrates.pl
 reasoning/arvol/input/superdense-coding.pl
 reasoning/arvol/input/takeuchi.pl
 reasoning/arvol/input/traveling-salesman.pl
 reasoning/arvol/input/turing.pl
 reasoning/arvol/input/universal.pl
 reasoning/arvol/input/wind-turbine.pl
 reasoning/arvol/input/wolf-goat-cabbage.pl
 reasoning/arvol/input/workplace.pl
 reasoning/arvol/input/zebra.pl
 reasoning/arvol/output/access-control-policy.pl
 reasoning/arvol/output/ackermann.pl
 reasoning/arvol/output/age.pl
 reasoning/arvol/output/animal.pl
 reasoning/arvol/output/basic-monadic.pl
 reasoning/arvol/output/best-route.pl
 reasoning/arvol/output/collatz.pl
 reasoning/arvol/output/combinatorics.pl
 reasoning/arvol/output/complex.pl
 reasoning/arvol/output/conflict-resolution.pl
 reasoning/arvol/output/control-system.pl
 reasoning/arvol/output/curly.pl
 reasoning/arvol/output/d3-group.pl
 reasoning/arvol/output/data-negotiation.pl
 reasoning/arvol/output/deep-taxonomy.pl
 reasoning/arvol/output/deontic-logic.pl
 reasoning/arvol/output/derivative.pl
 reasoning/arvol/output/derived-rule.pl
 reasoning/arvol/output/dijkstra.pl
 reasoning/arvol/output/display-user-details.pl
 reasoning/arvol/output/dog.pl
 reasoning/arvol/output/easter.pl
 reasoning/arvol/output/enigma1225.pl
 reasoning/arvol/output/equation-solver.pl
 reasoning/arvol/output/eulerian-path.pl
 reasoning/arvol/output/eulers-identity.pl
 reasoning/arvol/output/evolutionary-algorithm.pl
 reasoning/arvol/output/fast-fourier-transform.pl
 reasoning/arvol/output/fibonacci.pl
 reasoning/arvol/output/flute-puzzle.pl
 reasoning/arvol/output/four-color.pl
 reasoning/arvol/output/fuse.pl
 reasoning/arvol/output/gdpr-compliance.pl
 reasoning/arvol/output/goldbach.pl
 reasoning/arvol/output/good-cobbler.pl
 reasoning/arvol/output/gps.pl
 reasoning/arvol/output/graph-reachability.pl
 reasoning/arvol/output/graph.pl
 reasoning/arvol/output/gray-code-counter.pl
 reasoning/arvol/output/hamiltonian-path.pl
 reasoning/arvol/output/hanoi.pl
 reasoning/arvol/output/healthcare-access-control.pl
 reasoning/arvol/output/intel-4004.pl
 reasoning/arvol/output/kaprekar.pl
 reasoning/arvol/output/lee.pl
 reasoning/arvol/output/matrix.pl
 reasoning/arvol/output/meta-interpretation.pl
 reasoning/arvol/output/monkey-bananas.pl
 reasoning/arvol/output/multi-agent.pl
 reasoning/arvol/output/n-queens.pl
 reasoning/arvol/output/newton-raphson.pl
 reasoning/arvol/output/padovan.pl
 reasoning/arvol/output/path-discovery.pl
 reasoning/arvol/output/path.pl
 reasoning/arvol/output/peano.pl
 reasoning/arvol/output/peasant.pl
 reasoning/arvol/output/pi.pl
 reasoning/arvol/output/polygon.pl
 reasoning/arvol/output/polynomial.pl
 reasoning/arvol/output/prime.pl
 reasoning/arvol/output/proposition-prover.pl
 reasoning/arvol/output/qiana.pl
 reasoning/arvol/output/quantum-darwinism.pl
 reasoning/arvol/output/quine-mccluskey.pl
 reasoning/arvol/output/sieve.pl
 reasoning/arvol/output/socrates.pl
 reasoning/arvol/output/superdense-coding.pl
 reasoning/arvol/output/takeuchi.pl
 reasoning/arvol/output/traveling-salesman.pl
 reasoning/arvol/output/turing.pl
 reasoning/arvol/output/universal.pl
 reasoning/arvol/output/wind-turbine.pl
 reasoning/arvol/output/wolf-goat-cabbage.pl
 reasoning/arvol/output/workplace.pl
 reasoning/arvol/output/zebra.pl
 reasoning/arvol/proof/access-control-policy.pl
 reasoning/arvol/proof/ackermann.pl
 reasoning/arvol/proof/age.pl
 reasoning/arvol/proof/animal.pl
 reasoning/arvol/proof/basic-monadic.pl
 reasoning/arvol/proof/best-route.pl
 reasoning/arvol/proof/collatz.pl
 reasoning/arvol/proof/combinatorics.pl
 reasoning/arvol/proof/complex.pl
 reasoning/arvol/proof/conflict-resolution.pl
 reasoning/arvol/proof/control-system.pl
 reasoning/arvol/proof/curly.pl
 reasoning/arvol/proof/d3-group.pl
 reasoning/arvol/proof/data-negotiation.pl
 reasoning/arvol/proof/deep-taxonomy.pl
 reasoning/arvol/proof/deontic-logic.pl
 reasoning/arvol/proof/derivative.pl
 reasoning/arvol/proof/derived-rule.pl
 reasoning/arvol/proof/dijkstra.pl
 reasoning/arvol/proof/display-user-details.pl
 reasoning/arvol/proof/dog.pl
 reasoning/arvol/proof/easter.pl
 reasoning/arvol/proof/enigma1225.pl
 reasoning/arvol/proof/equation-solver.pl
 reasoning/arvol/proof/eulerian-path.pl
 reasoning/arvol/proof/eulers-identity.pl
 reasoning/arvol/proof/evolutionary-algorithm.pl
 reasoning/arvol/proof/fast-fourier-transform.pl
 reasoning/arvol/proof/fibonacci.pl
 reasoning/arvol/proof/flute-puzzle.pl
 reasoning/arvol/proof/four-color.pl
 reasoning/arvol/proof/fuse.pl
 reasoning/arvol/proof/gdpr-compliance.pl
 reasoning/arvol/proof/goldbach.pl
 reasoning/arvol/proof/good-cobbler.pl
 reasoning/arvol/proof/gps.pl
 reasoning/arvol/proof/graph-reachability.pl
 reasoning/arvol/proof/graph.pl
 reasoning/arvol/proof/gray-code-counter.pl
 reasoning/arvol/proof/hamiltonian-path.pl
 reasoning/arvol/proof/hanoi.pl
 reasoning/arvol/proof/healthcare-access-control.pl
 reasoning/arvol/proof/intel-4004.pl
 reasoning/arvol/proof/kaprekar.pl
 reasoning/arvol/proof/lee.pl
 reasoning/arvol/proof/matrix.pl
 reasoning/arvol/proof/meta-interpretation.pl
 reasoning/arvol/proof/monkey-bananas.pl
 reasoning/arvol/proof/multi-agent.pl
 reasoning/arvol/proof/n-queens.pl
 reasoning/arvol/proof/newton-raphson.pl
 reasoning/arvol/proof/padovan.pl
 reasoning/arvol/proof/path-discovery.pl
 reasoning/arvol/proof/path.pl
 reasoning/arvol/proof/peano.pl
 reasoning/arvol/proof/peasant.pl
 reasoning/arvol/proof/pi.pl
 reasoning/arvol/proof/polygon.pl
 reasoning/arvol/proof/polynomial.pl
 reasoning/arvol/proof/prime.pl
 reasoning/arvol/proof/proposition-prover.pl
 reasoning/arvol/proof/qiana.pl
 reasoning/arvol/proof/quantum-darwinism.pl
 reasoning/arvol/proof/quine-mccluskey.pl
 reasoning/arvol/proof/sieve.pl
 reasoning/arvol/proof/socrates.pl
 reasoning/arvol/proof/superdense-coding.pl
 reasoning/arvol/proof/takeuchi.pl
 reasoning/arvol/proof/traveling-salesman.pl
 reasoning/arvol/proof/turing.pl
 reasoning/arvol/proof/universal.pl
 reasoning/arvol/proof/wind-turbine.pl
 reasoning/arvol/proof/wolf-goat-cabbage.pl
 reasoning/arvol/proof/workplace.pl
 reasoning/arvol/proof/zebra.pl
 reasoning/arvol/test
 reasoning/backward-more/README
 reasoning/backward-more/backward-more-answer1.n3
 reasoning/backward-more/backward-more-answer2.n3
 reasoning/backward-more/backward-more-answer3.n3
 reasoning/backward-more/backward-more-answer5.n3
 reasoning/backward-more/backward-more-answer6.n3
 reasoning/backward-more/backward-more-proof1.n3
 reasoning/backward-more/backward-more-proof2.n3
 reasoning/backward-more/backward-more-proof3.n3
 reasoning/backward-more/backward-more-proof5.n3
 reasoning/backward-more/backward-more-proof6.n3
 reasoning/backward-more/backward-more-query1.n3
 reasoning/backward-more/backward-more-query2.n3
 reasoning/backward-more/backward-more-query3.n3
 reasoning/backward-more/backward-more-query4.n3
 reasoning/backward-more/backward-more-query5.n3
 reasoning/backward-more/backward-more-query6.n3
 reasoning/backward-more/backward-more.n3
 reasoning/backward-more/test
 reasoning/backward/README
 reasoning/backward/backward-answer.n3
 reasoning/backward/backward-proof.n3
 reasoning/backward/backward-query.n3
 reasoning/backward/backward.n3
 reasoning/backward/test
 reasoning/basic-monadic/10tt_answer.n3
 reasoning/basic-monadic/10tt_proof.n3
 reasoning/basic-monadic/1tt1.ttl
 reasoning/basic-monadic/1tt10.ttl
 reasoning/basic-monadic/1tt2.ttl
 reasoning/basic-monadic/1tt3.ttl
 reasoning/basic-monadic/1tt4.ttl
 reasoning/basic-monadic/1tt5.ttl
 reasoning/basic-monadic/1tt6.ttl
 reasoning/basic-monadic/1tt7.ttl
 reasoning/basic-monadic/1tt8.ttl
 reasoning/basic-monadic/1tt9.ttl
 reasoning/basic-monadic/README
 reasoning/basic-monadic/query.n3
 reasoning/basic-monadic/test
 reasoning/bcrule/README
 reasoning/bcrule/example1-pass-only-new.n3
 reasoning/bcrule/example1-pass.n3
 reasoning/bcrule/example1.n3
 reasoning/bcrule/example2-pass-only-new.n3
 reasoning/bcrule/example2-pass.n3
 reasoning/bcrule/example2.n3
 reasoning/bcrule/example3-pass-only-new.n3
 reasoning/bcrule/example3-pass.n3
 reasoning/bcrule/example3.n3
 reasoning/bcrule/example4-pass-only-new.n3
 reasoning/bcrule/example4-pass.n3
 reasoning/bcrule/example4.n3
 reasoning/bcrule/example5-pass-only-new.n3
 reasoning/bcrule/example5-pass.n3
 reasoning/bcrule/example5.n3
 reasoning/bcrule/test
 reasoning/beam-bending-safety/README
 reasoning/beam-bending-safety/beam-bending-safety-output.n3
 reasoning/beam-bending-safety/beam-bending-safety.n3
 reasoning/beam-bending-safety/test
 reasoning/bi/README
 reasoning/bi/ab_c.n3
 reasoning/bi/abc.n3
 reasoning/bi/biA.n3
 reasoning/bi/biP.n3
 reasoning/bi/biQ.n3
 reasoning/bi/medic.n3
 reasoning/bi/test
 reasoning/blogic/README.md
 reasoning/blogic/input/age.n3
 reasoning/blogic/input/beetle.n3
 reasoning/blogic/input/beetle12.n3
 reasoning/blogic/input/beetle6.n3
 reasoning/blogic/input/eulers-identity.n3
 reasoning/blogic/input/fibonacci.n3
 reasoning/blogic/input/gps.n3
 reasoning/blogic/input/peano.n3
 reasoning/blogic/input/slide32.n3
 reasoning/blogic/input/slide33.n3
 reasoning/blogic/input/turing.n3
 reasoning/blogic/input/water.n3
 reasoning/blogic/output/age.n3
 reasoning/blogic/output/beetle.n3
 reasoning/blogic/output/beetle12.n3
 reasoning/blogic/output/beetle6.n3
 reasoning/blogic/output/eulers-identity.n3
 reasoning/blogic/output/fibonacci.n3
 reasoning/blogic/output/gps.n3
 reasoning/blogic/output/peano.n3
 reasoning/blogic/output/slide32.n3
 reasoning/blogic/output/slide33.n3
 reasoning/blogic/output/turing.n3
 reasoning/blogic/output/water.n3
 reasoning/blogic/test
 reasoning/bmi/README
 reasoning/bmi/age_rules_backward.n3
 reasoning/bmi/bmi_instances.n3
 reasoning/bmi/bmi_proof.n3
 reasoning/bmi/bmi_query.n3
 reasoning/bmi/bmi_rules.n3
 reasoning/bmi/test
 reasoning/bmi/weightStatus_rules.n3
 reasoning/bnode-scope/README
 reasoning/bnode-scope/test
 reasoning/bnode-scope/test1-answer.n3
 reasoning/bnode-scope/test1-proof.n3
 reasoning/bnode-scope/test1.n3
 reasoning/braking-safety-worlds/README
 reasoning/braking-safety-worlds/braking-safety-worlds-output.n3
 reasoning/braking-safety-worlds/braking-safety-worlds.n3
 reasoning/braking-safety-worlds/test
 reasoning/ccd/README
 reasoning/ccd/background_rules.n3
 reasoning/ccd/ccd_rules.n3
 reasoning/ccd/test
 reasoning/ccd/test_answer.n3
 reasoning/ccd/test_data.n3
 reasoning/ccd/test_proof.n3
 reasoning/ccd/test_query.n3
 reasoning/ccd/train_data.n3
 reasoning/ccd/train_model.n3
 reasoning/ccd/train_model_proof.n3
 reasoning/ccd/train_query.n3
 reasoning/ccd/train_rules.n3
 reasoning/cha58/README
 reasoning/cha58/cha58-answer.ttl
 reasoning/cha58/cha58-data.ttl
 reasoning/cha58/cha58-query.n3
 reasoning/cha58/cha58-rules.n3
 reasoning/cha58/test
 reasoning/collatz/README
 reasoning/collatz/collatz-answer.n3
 reasoning/collatz/collatz-query.n3
 reasoning/collatz/collatz.n3
 reasoning/collatz/test
 reasoning/combinatorics/README
 reasoning/combinatorics/combination-answer.n3
 reasoning/combinatorics/combination-proof.n3
 reasoning/combinatorics/combination-query.n3
 reasoning/combinatorics/combination.n3
 reasoning/combinatorics/permutation-answer.n3
 reasoning/combinatorics/permutation-proof.n3
 reasoning/combinatorics/permutation-query.n3
 reasoning/combinatorics/permutation.n3
 reasoning/combinatorics/test
 reasoning/complex-matrix-stability-worlds/README
 reasoning/complex-matrix-stability-worlds/complex-matrix-stability-worlds-output.n3
 reasoning/complex-matrix-stability-worlds/complex-matrix-stability-worlds.n3
 reasoning/complex-matrix-stability-worlds/test
 reasoning/complex/README
 reasoning/complex/complex-answer.n3
 reasoning/complex/complex.n3
 reasoning/complex/test
 reasoning/control-system/README
 reasoning/control-system/answer-001.n3
 reasoning/control-system/data-001.n3
 reasoning/control-system/proof-001.n3
 reasoning/control-system/query-001.n3
 reasoning/control-system/rules-001.n3
 reasoning/control-system/test
 reasoning/crypto/README
 reasoning/crypto/crypto-proof.n3
 reasoning/crypto/cryptoP.n3
 reasoning/crypto/test
 reasoning/csv/README
 reasoning/csv/select-data-extra.n3
 reasoning/csv/select-data.csv
 reasoning/csv/select-data.n3
 reasoning/csv/select-proof-extra.n3
 reasoning/csv/select-proof.n3
 reasoning/csv/select-query.n3
 reasoning/csv/test
 reasoning/dairy-energy-balance/README
 reasoning/dairy-energy-balance/dairy-energy-balance-output.n3
 reasoning/dairy-energy-balance/dairy-energy-balance.n3
 reasoning/dairy-energy-balance/test
 reasoning/dcg/README
 reasoning/dcg/dcg-pass.n3
 reasoning/dcg/dcg.n3
 reasoning/dcg/dcg2-pass.n3
 reasoning/dcg/dcg2.n3
 reasoning/dcg/dcg3-pass.n3
 reasoning/dcg/dcg3.n3
 reasoning/dcg/test
 reasoning/deep-taxonomy/README
 reasoning/deep-taxonomy/test
 reasoning/deep-taxonomy/test-answer.ttl
 reasoning/deep-taxonomy/test-dl.ttl
 reasoning/deep-taxonomy/test-facts.ttl
 reasoning/deep-taxonomy/test-query.n3
 reasoning/deep-taxonomy/test-rules.n3
 reasoning/defeasable-logic/README
 reasoning/defeasable-logic/defeasable-logic-answer.n3
 reasoning/defeasable-logic/defeasable-logic.n3
 reasoning/defeasable-logic/test
 reasoning/delfour-insight-economy/README
 reasoning/delfour-insight-economy/catalog.ttl
 reasoning/delfour-insight-economy/context.ttl
 reasoning/delfour-insight-economy/insight_policy.ttl
 reasoning/delfour-insight-economy/now.ttl
 reasoning/delfour-insight-economy/phone.n3
 reasoning/delfour-insight-economy/profile.ttl
 reasoning/delfour-insight-economy/request.ttl
 reasoning/delfour-insight-economy/scan.ttl
 reasoning/delfour-insight-economy/scanner.n3
 reasoning/delfour-insight-economy/scanner_out.ttl
 reasoning/delfour-insight-economy/test
 reasoning/deontic-logic/README
 reasoning/deontic-logic/deontic-query.n3
 reasoning/deontic-logic/deontic.n3
 reasoning/deontic-logic/example1-answer.n3
 reasoning/deontic-logic/example1-proof.n3
 reasoning/deontic-logic/example1.n3
 reasoning/deontic-logic/example2-answer.n3
 reasoning/deontic-logic/example2-proof.n3
 reasoning/deontic-logic/example2.n3
 reasoning/deontic-logic/example3-fuse.err
 reasoning/deontic-logic/example3.n3
 reasoning/deontic-logic/test
 reasoning/dependent-type/README
 reasoning/dependent-type/dependent-type-answer.n3
 reasoning/dependent-type/dependent-type.n3
 reasoning/dependent-type/test
 reasoning/derived-rule/README
 reasoning/derived-rule/derived-rule-answer.n3
 reasoning/derived-rule/derived-rule-proof.n3
 reasoning/derived-rule/derived-rule-query.n3
 reasoning/derived-rule/derived-rule.n3
 reasoning/derived-rule/test
 reasoning/diamond-property/README
 reasoning/diamond-property/diamond-property-answer.n3
 reasoning/diamond-property/diamond-property-proof.n3
 reasoning/diamond-property/diamond-property-query.n3
 reasoning/diamond-property/diamond-property.n3
 reasoning/diamond-property/test
 reasoning/dijkstra/README
 reasoning/dijkstra/dijkstra-answer.n3
 reasoning/dijkstra/dijkstra-proof.n3
 reasoning/dijkstra/dijkstra-query.n3
 reasoning/dijkstra/dijkstra.n3
 reasoning/dijkstra/test
 reasoning/dining-philosophers/README
 reasoning/dining-philosophers/dp.n3
 reasoning/dining-philosophers/dpE.n3
 reasoning/dining-philosophers/dpQ.n3
 reasoning/dining-philosophers/test
 reasoning/dog/README
 reasoning/dog/dog-answer.n3
 reasoning/dog/dog.n3
 reasoning/dog/test
 reasoning/easter/README
 reasoning/easter/easterA.n3
 reasoning/easter/easterE.n3
 reasoning/easter/easterF.n3
 reasoning/easter/easterP.n3
 reasoning/easter/test
 reasoning/edt/README
 reasoning/edt/gentd.n3
 reasoning/edt/gentf.n3
 reasoning/edt/prepare
 reasoning/edt/test
 reasoning/edt/test-answer.n3
 reasoning/edt/test-dl.ttl
 reasoning/edt/test-facts.ttl
 reasoning/edt/test-query.n3
 reasoning/edt/test-rules.n3
 reasoning/entail/README
 reasoning/entail/socrates-check.n3
 reasoning/entail/socrates-claim.n3
 reasoning/entail/socrates.n3
 reasoning/entail/test
 reasoning/epidemic-policy/README
 reasoning/epidemic-policy/epidemic-policy-answer.n3
 reasoning/epidemic-policy/epidemic-policy.n3
 reasoning/epidemic-policy/test
 reasoning/euler-identity/README
 reasoning/euler-identity/euler-identity-output.ttl
 reasoning/euler-identity/euler-identity.n3
 reasoning/euler-identity/test
 reasoning/euq/README
 reasoning/euq/euq.n3
 reasoning/euq/euqA.n3
 reasoning/euq/test
 reasoning/ev-range-worlds/README
 reasoning/ev-range-worlds/ev-range-worlds-output.n3
 reasoning/ev-range-worlds/ev-range-worlds.n3
 reasoning/ev-range-worlds/test
 reasoning/exoplanet-validation-worlds/README
 reasoning/exoplanet-validation-worlds/exoplanet-validation-worlds-output.n3
 reasoning/exoplanet-validation-worlds/exoplanet-validation-worlds.n3
 reasoning/exoplanet-validation-worlds/test
 reasoning/fcm/README
 reasoning/fcm/example001P.n3
 reasoning/fcm/example002P.n3
 reasoning/fcm/example003Q.n3
 reasoning/fcm/fcm-plugin.n3
 reasoning/fcm/fcm_proof.n3
 reasoning/fcm/fl-rules.n3
 reasoning/fcm/test
 reasoning/fgcm/README
 reasoning/fgcm/fgcm-model.n3
 reasoning/fgcm/fgcm-plugin.n3
 reasoning/fgcm/fgcm-query.n3
 reasoning/fgcm/fgcm_proof.n3
 reasoning/fgcm/patient.n3
 reasoning/fgcm/test
 reasoning/fibonacci/README
 reasoning/fibonacci/fibonacci.n3
 reasoning/fibonacci/fibonacciA.n3
 reasoning/fibonacci/fibonacciQ.n3
 reasoning/fibonacci/test
 reasoning/field-nitrogen-balance/README
 reasoning/field-nitrogen-balance/field-nitrogen-balance-output.n3
 reasoning/field-nitrogen-balance/field-nitrogen-balance.n3
 reasoning/field-nitrogen-balance/test
 reasoning/filter/README
 reasoning/filter/filter-answer.n3
 reasoning/filter/filter-proof.n3
 reasoning/filter/filter-query.n3
 reasoning/filter/filter.n3
 reasoning/filter/test
 reasoning/four-types-of-specification/agri-drought-relief-answer.n3
 reasoning/four-types-of-specification/agri-drought-relief.n3
 reasoning/four-types-of-specification/bikepass-youth-discount-answer.n3
 reasoning/four-types-of-specification/bikepass-youth-discount.n3
 reasoning/four-types-of-specification/health-hypertension-copay-aid-answer.n3
 reasoning/four-types-of-specification/health-hypertension-copay-aid.n3
 reasoning/four-types-of-specification/leisure-sports-voucher-answer.n3
 reasoning/four-types-of-specification/leisure-sports-voucher.n3
 reasoning/four-types-of-specification/student-grant-needbased-answer.n3
 reasoning/four-types-of-specification/student-grant-needbased.n3
 reasoning/four-types-of-specification/test
 reasoning/fundamental-theorem-of-arithmetic/README
 reasoning/fundamental-theorem-of-arithmetic/fundamental-theorem-of-arithmetic-answer.n3
 reasoning/fundamental-theorem-of-arithmetic/fundamental-theorem-of-arithmetic.n3
 reasoning/fundamental-theorem-of-arithmetic/test
 reasoning/fuse/README
 reasoning/fuse/fuse-output.err
 reasoning/fuse/fuse.n3
 reasoning/fuse/test
 reasoning/gcd-bezout-identity/README
 reasoning/gcd-bezout-identity/gcd-bezout-identity-answer.n3
 reasoning/gcd-bezout-identity/gcd-bezout-identity.n3
 reasoning/gcd-bezout-identity/test
 reasoning/gdpr-compliance/README
 reasoning/gdpr-compliance/gdpr-compliance-answer.n3
 reasoning/gdpr-compliance/gdpr-compliance-proof.n3
 reasoning/gdpr-compliance/gdpr-compliance-query.n3
 reasoning/gdpr-compliance/gdpr-compliance.n3
 reasoning/gdpr-compliance/test
 reasoning/gedcom/README
 reasoning/gedcom/gedcom-answer.n3
 reasoning/gedcom/gedcom-facts.n3
 reasoning/gedcom/gedcom-filter.n3
 reasoning/gedcom/gedcom-proof.n3
 reasoning/gedcom/gedcom-relations.n3
 reasoning/gedcom/test
 reasoning/glass/README
 reasoning/glass/test
 reasoning/glass/test.n3
 reasoning/glass/testA.n3
 reasoning/glass/testE.n3
 reasoning/glass/testQ.n3
 reasoning/goldbach/README
 reasoning/goldbach/goldbach-answer.n3
 reasoning/goldbach/goldbach-query.n3
 reasoning/goldbach/goldbach.n3
 reasoning/goldbach/test
 reasoning/good-cobbler/README
 reasoning/good-cobbler/cobbler-answer.n3
 reasoning/good-cobbler/cobbler-proof.n3
 reasoning/good-cobbler/cobbler-query.n3
 reasoning/good-cobbler/cobbler.n3
 reasoning/good-cobbler/test
 reasoning/gps/README
 reasoning/gps/gps-answer1.n3
 reasoning/gps/gps-answer2.n3
 reasoning/gps/gps-example1.n3
 reasoning/gps/gps-example2.n3
 reasoning/gps/gps-plugin.n3
 reasoning/gps/gps-proof1.n3
 reasoning/gps/gps-proof2.n3
 reasoning/gps/gps-query1.n3
 reasoning/gps/gps-query2.n3
 reasoning/gps/gps-schema
 reasoning/gps/test
 reasoning/graph/README
 reasoning/graph/graph.axiom.n3
 reasoning/graph/graph.filter.n3
 reasoning/graph/graph.proof.n3
 reasoning/graph/rpo-rules.n3
 reasoning/graph/test
 reasoning/gray-code-counter/README
 reasoning/gray-code-counter/gray-code-counter-answer.n3
 reasoning/gray-code-counter/gray-code-counter-proof.n3
 reasoning/gray-code-counter/gray-code-counter-query.n3
 reasoning/gray-code-counter/gray-code-counter.n3
 reasoning/gray-code-counter/test
 reasoning/h2o/README
 reasoning/h2o/data-001.n3
 reasoning/h2o/hypothesis-001.n3
 reasoning/h2o/proof-001.n3
 reasoning/h2o/query-001.n3
 reasoning/h2o/rules-001.n3
 reasoning/h2o/test
 reasoning/hanoi/README
 reasoning/hanoi/hanoi.n3
 reasoning/hanoi/hanoiA.n3
 reasoning/hanoi/hanoiE.n3
 reasoning/hanoi/test
 reasoning/heron-theorem/README
 reasoning/heron-theorem/heron-theorem-answer.n3
 reasoning/heron-theorem/heron-theorem.n3
 reasoning/heron-theorem/test
 reasoning/image/README
 reasoning/image/easter-proof.n3
 reasoning/image/easter.n3
 reasoning/image/prepare
 reasoning/image/query.n3
 reasoning/image/test
 reasoning/image/year.n3
 reasoning/iq/README
 reasoning/iq/iq-answer.n3
 reasoning/iq/iq-extra-answer.n3
 reasoning/iq/iq-extra.n3
 reasoning/iq/iq.n3
 reasoning/iq/test
 reasoning/issue118/README
 reasoning/issue118/issue118-answer.n3
 reasoning/issue118/issue118.n3
 reasoning/issue118/test
 reasoning/issue141/README
 reasoning/issue141/test
 reasoning/issue141/test1-answer.n3
 reasoning/issue141/test1.n3
 reasoning/issue141/test2-answer.n3
 reasoning/issue141/test2.n3
 reasoning/issue141/test3-answer.n3
 reasoning/issue141/test3.n3
 reasoning/issue148/README
 reasoning/issue148/issue148-answer.n3
 reasoning/issue148/req.n3
 reasoning/issue148/resource.n3
 reasoning/issue148/response
 reasoning/issue148/test
 reasoning/issue148/test.n3
 reasoning/issue148/tuner.n3
 reasoning/issue154/README
 reasoning/issue154/issue154-answer.n3
 reasoning/issue154/issue154.n3
 reasoning/issue154/test
 reasoning/kaprekar/README
 reasoning/kaprekar/kaprekar-answer.n3
 reasoning/kaprekar/kaprekar-query.n3
 reasoning/kaprekar/kaprekar.n3
 reasoning/kaprekar/test
 reasoning/law-of-cosines/README
 reasoning/law-of-cosines/law-of-cosines-answer.n3
 reasoning/law-of-cosines/law-of-cosines.n3
 reasoning/law-of-cosines/test
 reasoning/ldes/README
 reasoning/ldes/ldes-answer.n3
 reasoning/ldes/ldes-data.trig
 reasoning/ldes/ldes-query.n3
 reasoning/ldes/test
 reasoning/lee/README
 reasoning/lee/lee.n3
 reasoning/lee/leeA.n3
 reasoning/lee/leeE.n3
 reasoning/lee/leeQ.n3
 reasoning/lee/test
 reasoning/lingua/README.md
 reasoning/lingua/input/ackermann.trig
 reasoning/lingua/input/acp.trig
 reasoning/lingua/input/age.trig
 reasoning/lingua/input/backward.trig
 reasoning/lingua/input/cobbler.trig
 reasoning/lingua/input/color.trig
 reasoning/lingua/input/complex.trig
 reasoning/lingua/input/control.trig
 reasoning/lingua/input/derived.trig
 reasoning/lingua/input/easter.trig
 reasoning/lingua/input/equality.trig
 reasoning/lingua/input/fibonacci.trig
 reasoning/lingua/input/filter.trig
 reasoning/lingua/input/gcc.trig
 reasoning/lingua/input/gps.trig
 reasoning/lingua/input/graph.trig
 reasoning/lingua/input/hanoi.trig
 reasoning/lingua/input/issue118.trig
 reasoning/lingua/input/ldes.trig
 reasoning/lingua/input/mapping.trig
 reasoning/lingua/input/mi.trig
 reasoning/lingua/input/pack.trig
 reasoning/lingua/input/patch.trig
 reasoning/lingua/input/peano.trig
 reasoning/lingua/input/pi.trig
 reasoning/lingua/input/qiana.trig
 reasoning/lingua/input/queens.trig
 reasoning/lingua/input/restdesc.trig
 reasoning/lingua/input/sha512.trig
 reasoning/lingua/input/snaf.trig
 reasoning/lingua/input/socrates.trig
 reasoning/lingua/input/statement.trig
 reasoning/lingua/input/tak.trig
 reasoning/lingua/input/turing.trig
 reasoning/lingua/input/union.trig
 reasoning/lingua/input/universal.trig
 reasoning/lingua/input/witch.trig
 reasoning/lingua/output/ackermann.trig
 reasoning/lingua/output/acp.trig
 reasoning/lingua/output/age.trig
 reasoning/lingua/output/backward.trig
 reasoning/lingua/output/cobbler.trig
 reasoning/lingua/output/color.trig
 reasoning/lingua/output/complex.trig
 reasoning/lingua/output/control.trig
 reasoning/lingua/output/derived.trig
 reasoning/lingua/output/easter.trig
 reasoning/lingua/output/equality.trig
 reasoning/lingua/output/fibonacci.trig
 reasoning/lingua/output/filter.trig
 reasoning/lingua/output/gcc.trig
 reasoning/lingua/output/gps.trig
 reasoning/lingua/output/graph.trig
 reasoning/lingua/output/hanoi.trig
 reasoning/lingua/output/issue118.trig
 reasoning/lingua/output/ldes.trig
 reasoning/lingua/output/mapping.trig
 reasoning/lingua/output/mi.trig
 reasoning/lingua/output/pack.trig
 reasoning/lingua/output/patch.trig
 reasoning/lingua/output/peano.trig
 reasoning/lingua/output/pi.trig
 reasoning/lingua/output/qiana.trig
 reasoning/lingua/output/queens.trig
 reasoning/lingua/output/restdesc.trig
 reasoning/lingua/output/sha512.trig
 reasoning/lingua/output/snaf.trig
 reasoning/lingua/output/socrates.trig
 reasoning/lingua/output/statement.trig
 reasoning/lingua/output/tak.trig
 reasoning/lingua/output/turing.trig
 reasoning/lingua/output/union.trig
 reasoning/lingua/output/universal.trig
 reasoning/lingua/output/witch.trig
 reasoning/lingua/test
 reasoning/lldm/README
 reasoning/lldm/lldmD.n3
 reasoning/lldm/lldmE.n3
 reasoning/lldm/lldmF.n3
 reasoning/lldm/lldmP.n3
 reasoning/lldm/test
 reasoning/map/README
 reasoning/map/agent1-answer.n3
 reasoning/map/agent1-map.n3
 reasoning/map/agent1-proof.n3
 reasoning/map/agent1-query.n3
 reasoning/map/agent2-answer.n3
 reasoning/map/agent2-map.n3
 reasoning/map/agent2-proof.n3
 reasoning/map/agent2-query.n3
 reasoning/map/gps-plugin.n3
 reasoning/map/test
 reasoning/medic/README
 reasoning/medic/medic.n3
 reasoning/medic/medicE.n3
 reasoning/medic/medicF.n3
 reasoning/medic/test
 reasoning/meta-interpretation/README
 reasoning/meta-interpretation/mi-answer.n3
 reasoning/meta-interpretation/mi-query.n3
 reasoning/meta-interpretation/mi.n3
 reasoning/meta-interpretation/test
 reasoning/mmln/README
 reasoning/mmln/mmln-gv-example.n3
 reasoning/mmln/mmln-gv-mln.n3
 reasoning/mmln/mmln-gv-proof.n3
 reasoning/mmln/mmln-gv-query.n3
 reasoning/mmln/mmln-plugin.n3
 reasoning/mmln/test
 reasoning/multi-agent/README
 reasoning/multi-agent/multi-agent-answer.n3
 reasoning/multi-agent/multi-agent-proof.n3
 reasoning/multi-agent/multi-agent-query.n3
 reasoning/multi-agent/multi-agent.n3
 reasoning/multi-agent/test
 reasoning/n-queens/README
 reasoning/n-queens/n-queens-answer.n3
 reasoning/n-queens/n-queens-proof.n3
 reasoning/n-queens/n-queens-query.n3
 reasoning/n-queens/n-queens.n3
 reasoning/n-queens/test
 reasoning/n3-dev/README
 reasoning/n3-dev/prepare
 reasoning/n3-dev/run-manifest.n3
 reasoning/n3-dev/run-outcome-pass.n3
 reasoning/n3-dev/run-outcome.n3
 reasoning/n3-dev/test
 reasoning/n3-star/README
 reasoning/n3-star/example-pass.n3
 reasoning/n3-star/example.n3
 reasoning/n3-star/test
 reasoning/n3c/README
 reasoning/n3c/components.n3
 reasoning/n3c/forAllIn_answer.n3
 reasoning/n3c/forAllIn_proof.n3
 reasoning/n3c/forAllIn_query.n3
 reasoning/n3c/notIn_answer.n3
 reasoning/n3c/notIn_proof.n3
 reasoning/n3c/notIn_query.n3
 reasoning/n3c/subtasks.n3
 reasoning/n3c/tasks.n3
 reasoning/n3c/test
 reasoning/n3gl/README
 reasoning/n3gl/example-pass.n3
 reasoning/n3gl/example.n3
 reasoning/n3gl/test
 reasoning/n3patch/README
 reasoning/n3patch/patch-rule.n3
 reasoning/n3patch/patch.n3
 reasoning/n3patch/patched-data.ttl
 reasoning/n3patch/sample-data.ttl
 reasoning/n3patch/test
 reasoning/n3plus1/README
 reasoning/n3plus1/in.n3
 reasoning/n3plus1/out.n3
 reasoning/n3plus1/query.n3
 reasoning/n3plus1/test
 reasoning/nbbn/README
 reasoning/nbbn/nbbn-model.n3
 reasoning/nbbn/nbbn-plugin.n3
 reasoning/nbbn/nbbn-query.n3
 reasoning/nbbn/nbbn_proof.n3
 reasoning/nbbn/test
 reasoning/nexus/README.md
 reasoning/nexus/ackermann/README
 reasoning/nexus/ackermann/ackermann-answer.ttl
 reasoning/nexus/ackermann/ackermann-query.rq
 reasoning/nexus/ackermann/ackermann.rq
 reasoning/nexus/ackermann/test
 reasoning/nexus/basic-monadic/10tt_answer.ttl
 reasoning/nexus/basic-monadic/1tt1.ttl
 reasoning/nexus/basic-monadic/1tt10.ttl
 reasoning/nexus/basic-monadic/1tt2.ttl
 reasoning/nexus/basic-monadic/1tt3.ttl
 reasoning/nexus/basic-monadic/1tt4.ttl
 reasoning/nexus/basic-monadic/1tt5.ttl
 reasoning/nexus/basic-monadic/1tt6.ttl
 reasoning/nexus/basic-monadic/1tt7.ttl
 reasoning/nexus/basic-monadic/1tt8.ttl
 reasoning/nexus/basic-monadic/1tt9.ttl
 reasoning/nexus/basic-monadic/README
 reasoning/nexus/basic-monadic/query.rq
 reasoning/nexus/basic-monadic/test
 reasoning/nexus/complex/README
 reasoning/nexus/complex/complex-answer.ttl
 reasoning/nexus/complex/complex-query.rq
 reasoning/nexus/complex/complex.rq
 reasoning/nexus/complex/test
 reasoning/nexus/context-associations/README
 reasoning/nexus/context-associations/context-associations-answer.ttl
 reasoning/nexus/context-associations/context-associations-query.rq
 reasoning/nexus/context-associations/context-associations.ttl
 reasoning/nexus/context-associations/test
 reasoning/nexus/control-system/README
 reasoning/nexus/control-system/answer.ttl
 reasoning/nexus/control-system/data.ttl
 reasoning/nexus/control-system/query.rq
 reasoning/nexus/control-system/rules.rq
 reasoning/nexus/control-system/test
 reasoning/nexus/deep-taxonomy/README
 reasoning/nexus/deep-taxonomy/subclass.rq
 reasoning/nexus/deep-taxonomy/test
 reasoning/nexus/deep-taxonomy/test-answer.ttl
 reasoning/nexus/deep-taxonomy/test-dl.ttl
 reasoning/nexus/deep-taxonomy/test-facts.ttl
 reasoning/nexus/deep-taxonomy/test-query.rq
 reasoning/nexus/derived-rule/README
 reasoning/nexus/derived-rule/derived-rule-answer.ttl
 reasoning/nexus/derived-rule/derived-rule-query.rq
 reasoning/nexus/derived-rule/derived-rule.rq
 reasoning/nexus/derived-rule/derived-rule.ttl
 reasoning/nexus/derived-rule/test
 reasoning/nexus/fibonacci/README
 reasoning/nexus/fibonacci/fibonacci-answer.ttl
 reasoning/nexus/fibonacci/fibonacci-query.rq
 reasoning/nexus/fibonacci/fibonacci.rq
 reasoning/nexus/fibonacci/test
 reasoning/nexus/fuse/README
 reasoning/nexus/fuse/fuse-output.err
 reasoning/nexus/fuse/fuse.rq
 reasoning/nexus/fuse/fuse.ttl
 reasoning/nexus/fuse/test
 reasoning/nexus/good-cobbler/README
 reasoning/nexus/good-cobbler/good-cobbler-answer.ttl
 reasoning/nexus/good-cobbler/good-cobbler-query.rq
 reasoning/nexus/good-cobbler/good-cobbler.ttl
 reasoning/nexus/good-cobbler/test
 reasoning/nexus/gps/README
 reasoning/nexus/gps/gps-answer.ttl
 reasoning/nexus/gps/gps-example.rq
 reasoning/nexus/gps/gps-example.ttl
 reasoning/nexus/gps/gps-plugin.rq
 reasoning/nexus/gps/gps-query.rq
 reasoning/nexus/gps/gps-schema
 reasoning/nexus/gps/test
 reasoning/nexus/graph/README
 reasoning/nexus/graph/graph-answer.ttl
 reasoning/nexus/graph/graph-query.rq
 reasoning/nexus/graph/graph.ttl
 reasoning/nexus/graph/rpo-rules.rq
 reasoning/nexus/graph/test
 reasoning/nexus/packaging/README
 reasoning/nexus/packaging/packaging-answer.trig
 reasoning/nexus/packaging/packaging-query.rq
 reasoning/nexus/packaging/packaging.trig
 reasoning/nexus/packaging/test
 reasoning/nexus/path-discovery/README
 reasoning/nexus/path-discovery/path-discovery-algorithm.rq
 reasoning/nexus/path-discovery/path-discovery-answer.ttl
 reasoning/nexus/path-discovery/path-discovery-data.ttl
 reasoning/nexus/path-discovery/path-discovery-query.rq
 reasoning/nexus/path-discovery/test
 reasoning/nexus/peano/README
 reasoning/nexus/peano/peano-answer.ttl
 reasoning/nexus/peano/peano-query.rq
 reasoning/nexus/peano/peano.rq
 reasoning/nexus/peano/test
 reasoning/nexus/proof-by-cases/README
 reasoning/nexus/proof-by-cases/example1-answer.ttl
 reasoning/nexus/proof-by-cases/example1-query.rq
 reasoning/nexus/proof-by-cases/example1.rq
 reasoning/nexus/proof-by-cases/example2-answer.ttl
 reasoning/nexus/proof-by-cases/example2-query.rq
 reasoning/nexus/proof-by-cases/example2.rq
 reasoning/nexus/proof-by-cases/test
 reasoning/nexus/proof-by-contradiction/README
 reasoning/nexus/proof-by-contradiction/example1-answer.ttl
 reasoning/nexus/proof-by-contradiction/example1-query.rq
 reasoning/nexus/proof-by-contradiction/example1.rq
 reasoning/nexus/proof-by-contradiction/example2-answer.ttl
 reasoning/nexus/proof-by-contradiction/example2-query.rq
 reasoning/nexus/proof-by-contradiction/example2.rq
 reasoning/nexus/proof-by-contradiction/test
 reasoning/nexus/proof-by-induction/README
 reasoning/nexus/proof-by-induction/example1-answer.ttl
 reasoning/nexus/proof-by-induction/example1-query.rq
 reasoning/nexus/proof-by-induction/example1.rq
 reasoning/nexus/proof-by-induction/example2-answer.ttl
 reasoning/nexus/proof-by-induction/example2-query.rq
 reasoning/nexus/proof-by-induction/example2.rq
 reasoning/nexus/proof-by-induction/test
 reasoning/nexus/socrates/README
 reasoning/nexus/socrates/socrates-answer.ttl
 reasoning/nexus/socrates/socrates-query.rq
 reasoning/nexus/socrates/socrates.rq
 reasoning/nexus/socrates/socrates.ttl
 reasoning/nexus/socrates/test
 reasoning/nexus/test
 reasoning/nexus/turing/README
 reasoning/nexus/turing/test
 reasoning/nexus/turing/turing-answer.ttl
 reasoning/nexus/turing/turing-increment.ttl
 reasoning/nexus/turing/turing-query.rq
 reasoning/nexus/turing/turing.rq
 reasoning/nexus/universal/README
 reasoning/nexus/universal/test
 reasoning/nexus/universal/universal-answer.ttl
 reasoning/nexus/universal/universal-query.rq
 reasoning/nexus/universal/universal.rq
 reasoning/nixon-diamond/README
 reasoning/nixon-diamond/nixon-diamond-answer.n3
 reasoning/nixon-diamond/nixon-diamond.n3
 reasoning/nixon-diamond/test
 reasoning/padovan/README
 reasoning/padovan/padovan.n3
 reasoning/padovan/padovanA.n3
 reasoning/padovan/padovanQ.n3
 reasoning/padovan/test
 reasoning/path-discovery/README
 reasoning/path-discovery/path-discovery-algorithm.n3
 reasoning/path-discovery/path-discovery-answer.n3
 reasoning/path-discovery/path-discovery-data.ttl
 reasoning/path-discovery/path-discovery-query.n3
 reasoning/path-discovery/test
 reasoning/path/README
 reasoning/path/path-answer.n3
 reasoning/path/path-query.n3
 reasoning/path/path.n3
 reasoning/path/test
 reasoning/peano/README
 reasoning/peano/peano-answer.n3
 reasoning/peano/peano-query.n3
 reasoning/peano/peano.n3
 reasoning/peano/test
 reasoning/peasant/README
 reasoning/peasant/peasant-answer.n3
 reasoning/peasant/peasant-query.n3
 reasoning/peasant/peasant.n3
 reasoning/peasant/test
 reasoning/pi/README
 reasoning/pi/pi-answer.n3
 reasoning/pi/pi-query.n3
 reasoning/pi/pi.n3
 reasoning/pi/test
 reasoning/polygon/README
 reasoning/polygon/polygon.n3
 reasoning/polygon/polygon_answer.n3
 reasoning/polygon/polygon_proof.n3
 reasoning/polygon/polygon_query.n3
 reasoning/polygon/test
 reasoning/pptbank/README
 reasoning/pptbank/acct3check1.n3
 reasoning/pptbank/acct3check2.n3
 reasoning/pptbank/acct3start.n3
 reasoning/pptbank/bankSW.n3
 reasoning/pptbank/checking.n3
 reasoning/pptbank/proof.n3
 reasoning/pptbank/query.n3
 reasoning/pptbank/test
 reasoning/preduction/README
 reasoning/preduction/food-declarations.n3
 reasoning/preduction/food-example.n3
 reasoning/preduction/food-preduction.n3
 reasoning/preduction/food-proof.n3
 reasoning/preduction/food-query.n3
 reasoning/preduction/food.n3
 reasoning/preduction/food2-proof.n3
 reasoning/preduction/food2.n3
 reasoning/preduction/palindrome-declarations.n3
 reasoning/preduction/palindrome-preduction.n3
 reasoning/preduction/palindrome-proof.n3
 reasoning/preduction/palindrome-query.n3
 reasoning/preduction/palindrome.n3
 reasoning/preduction/palindrome2-proof.n3
 reasoning/preduction/palindrome2-query.n3
 reasoning/preduction/palindrome2.n3
 reasoning/preduction/preduction-plugin.n3
 reasoning/preduction/test
 reasoning/prepare
 reasoning/proof-by-cases/README
 reasoning/proof-by-cases/example1-answer.n3
 reasoning/proof-by-cases/example1-proof.n3
 reasoning/proof-by-cases/example1-query.n3
 reasoning/proof-by-cases/example1.n3
 reasoning/proof-by-cases/example2-answer.n3
 reasoning/proof-by-cases/example2-proof.n3
 reasoning/proof-by-cases/example2-query.n3
 reasoning/proof-by-cases/example2.n3
 reasoning/proof-by-cases/test
 reasoning/proof-by-contradiction/README
 reasoning/proof-by-contradiction/example1-answer.n3
 reasoning/proof-by-contradiction/example1-proof.n3
 reasoning/proof-by-contradiction/example1-query.n3
 reasoning/proof-by-contradiction/example1.n3
 reasoning/proof-by-contradiction/example2-answer.n3
 reasoning/proof-by-contradiction/example2-proof.n3
 reasoning/proof-by-contradiction/example2-query.n3
 reasoning/proof-by-contradiction/example2.n3
 reasoning/proof-by-contradiction/test
 reasoning/proof-by-contrapositive/README
 reasoning/proof-by-contrapositive/example1-answer.n3
 reasoning/proof-by-contrapositive/example1-proof.n3
 reasoning/proof-by-contrapositive/example1-query.n3
 reasoning/proof-by-contrapositive/example1.n3
 reasoning/proof-by-contrapositive/example2-answer.n3
 reasoning/proof-by-contrapositive/example2-proof.n3
 reasoning/proof-by-contrapositive/example2-query.n3
 reasoning/proof-by-contrapositive/example2.n3
 reasoning/proof-by-contrapositive/test
 reasoning/proof-by-induction/README
 reasoning/proof-by-induction/example1-answer.n3
 reasoning/proof-by-induction/example1-proof.n3
 reasoning/proof-by-induction/example1-query.n3
 reasoning/proof-by-induction/example1.n3
 reasoning/proof-by-induction/test
 reasoning/pythagorean-theorem/README
 reasoning/pythagorean-theorem/pythagorean-theorem-answer.n3
 reasoning/pythagorean-theorem/pythagorean-theorem.n3
 reasoning/pythagorean-theorem/test
 reasoning/qgen/README
 reasoning/qgen/answer.n3
 reasoning/qgen/qgen.n3
 reasoning/qgen/query.n3
 reasoning/qgen/test
 reasoning/qiana/README
 reasoning/qiana/qiana-answer.n3
 reasoning/qiana/qiana-proof.n3
 reasoning/qiana/qiana-query.n3
 reasoning/qiana/qiana.n3
 reasoning/qiana/test
 reasoning/quadratic-equation/README
 reasoning/quadratic-equation/quadratic-equation-answer.n3
 reasoning/quadratic-equation/quadratic-equation.n3
 reasoning/quadratic-equation/test
 reasoning/quantum-darwinism/README
 reasoning/quantum-darwinism/quantum-darwinism-answer.n3
 reasoning/quantum-darwinism/quantum-darwinism.n3
 reasoning/quantum-darwinism/test
 reasoning/rdf-star-reasoning/README
 reasoning/rdf-star-reasoning/answer.n3
 reasoning/rdf-star-reasoning/socrates-pass.n3
 reasoning/rdf-star-reasoning/socrates.n3
 reasoning/rdf-star-reasoning/test
 reasoning/rdf-star-reasoning/test.n3
 reasoning/rdf-star/README
 reasoning/rdf-star/prepare
 reasoning/rdf-star/run-manifest.n3
 reasoning/rdf-star/run-outcome-pass.n3
 reasoning/rdf-star/run-outcome.n3
 reasoning/rdf-star/test
 reasoning/rdf12/README
 reasoning/rdf12/prepare
 reasoning/rdf12/run-manifest.n3
 reasoning/rdf12/run-outcome-pass.n3
 reasoning/rdf12/run-outcome.n3
 reasoning/rdf12/test
 reasoning/reif/README
 reasoning/reif/data-reif.n3
 reasoning/reif/data-roundtrip.n3
 reasoning/reif/data.n3
 reasoning/reif/dereify.n3
 reasoning/reif/reify.n3
 reasoning/reif/test
 reasoning/resto/README
 reasoning/resto/resto-proof.n3
 reasoning/resto/resto.n3
 reasoning/resto/restoG.n3
 reasoning/resto/test
 reasoning/restpath/README
 reasoning/restpath/goal.n3
 reasoning/restpath/initial.n3
 reasoning/restpath/path-9-3-proof.n3
 reasoning/restpath/path-9-3.n3
 reasoning/restpath/test
 reasoning/rgb/README
 reasoning/rgb/blueproof001.n3
 reasoning/rgb/blueproof002.n3
 reasoning/rgb/blueproof003.n3
 reasoning/rgb/greenquery001.n3
 reasoning/rgb/greenquery002.n3
 reasoning/rgb/greenquery003.n3
 reasoning/rgb/redgraph001.n3
 reasoning/rgb/redgraph002.n3
 reasoning/rgb/redgraph003.n3
 reasoning/rgb/test
 reasoning/rif/README
 reasoning/rif/rifE.n3
 reasoning/rif/rifP.n3
 reasoning/rif/rifQ.n3
 reasoning/rif/test
 reasoning/rpo/README
 reasoning/rpo/food-example.n3
 reasoning/rpo/food-proof.n3
 reasoning/rpo/food-query.n3
 reasoning/rpo/food.n3
 reasoning/rpo/index.md
 reasoning/rpo/owl-AllDifferent.n3
 reasoning/rpo/owl-AllDisjointClasses.n3
 reasoning/rpo/owl-AllDisjointProperties.n3
 reasoning/rpo/owl-AsymmetricProperty.n3
 reasoning/rpo/owl-FunctionalProperty.n3
 reasoning/rpo/owl-InverseFunctionalProperty.n3
 reasoning/rpo/owl-IrreflexiveProperty.n3
 reasoning/rpo/owl-NegativePropertyAssertion.n3
 reasoning/rpo/owl-Nothing.n3
 reasoning/rpo/owl-SymmetricProperty.n3
 reasoning/rpo/owl-TransitiveProperty.n3
 reasoning/rpo/owl-allValuesFrom.n3
 reasoning/rpo/owl-complementOf.n3
 reasoning/rpo/owl-differentFrom.n3
 reasoning/rpo/owl-disjointUnionOf.n3
 reasoning/rpo/owl-disjointWith.n3
 reasoning/rpo/owl-distinctMembers.n3
 reasoning/rpo/owl-equivalentClass.n3
 reasoning/rpo/owl-equivalentProperty.n3
 reasoning/rpo/owl-hasKey.n3
 reasoning/rpo/owl-hasValue.n3
 reasoning/rpo/owl-intersectionOf.n3
 reasoning/rpo/owl-inverseOf.n3
 reasoning/rpo/owl-maxCardinality.n3
 reasoning/rpo/owl-maxQualifiedCardinality.n3
 reasoning/rpo/owl-oneOf.n3
 reasoning/rpo/owl-propertyChainAxiom.n3
 reasoning/rpo/owl-propertyDisjointWith.n3
 reasoning/rpo/owl-sameAs-ext.n3
 reasoning/rpo/owl-sameAs.n3
 reasoning/rpo/owl-someValuesFrom.n3
 reasoning/rpo/owl-unionOf.n3
 reasoning/rpo/rdfs-domain.n3
 reasoning/rpo/rdfs-range.n3
 reasoning/rpo/rdfs-subClassOf.n3
 reasoning/rpo/rdfs-subPropertyOf.n3
 reasoning/rpo/test
 reasoning/rpo/x-owl-hasValue.n3
 reasoning/rs/README
 reasoning/rs/graph-1000.n3
 reasoning/rs/randomsample-proof.n3
 reasoning/rs/randomsample-query.n3
 reasoning/rs/randomsample-rule.n3
 reasoning/rs/test
 reasoning/screening-trust-worlds/README
 reasoning/screening-trust-worlds/screening-trust-worlds-output.n3
 reasoning/screening-trust-worlds/screening-trust-worlds.n3
 reasoning/screening-trust-worlds/test
 reasoning/seq/README
 reasoning/seq/seq_answer.n3
 reasoning/seq/seq_components.n3
 reasoning/seq/seq_proof.n3
 reasoning/seq/seq_query.n3
 reasoning/seq/test
 reasoning/sequents/README.md
 reasoning/sequents/input/abc.n3
 reasoning/sequents/input/abcd.n3
 reasoning/sequents/input/beetle.n3
 reasoning/sequents/input/beetle12.n3
 reasoning/sequents/input/beetle6.n3
 reasoning/sequents/input/deer.n3
 reasoning/sequents/input/graph.n3
 reasoning/sequents/input/oddnumber.n3
 reasoning/sequents/input/rex.n3
 reasoning/sequents/input/socrates.n3
 reasoning/sequents/input/steps.n3
 reasoning/sequents/input/tweety.n3
 reasoning/sequents/input/universal_5_s.n3
 reasoning/sequents/input/universal_6_d.n3
 reasoning/sequents/input/wet.n3
 reasoning/sequents/input/winner.n3
 reasoning/sequents/output/abc.n3
 reasoning/sequents/output/abcd.n3
 reasoning/sequents/output/beetle.n3
 reasoning/sequents/output/beetle12.n3
 reasoning/sequents/output/beetle6.n3
 reasoning/sequents/output/deer.n3
 reasoning/sequents/output/graph.n3
 reasoning/sequents/output/oddnumber.n3
 reasoning/sequents/output/rex.n3
 reasoning/sequents/output/socrates.n3
 reasoning/sequents/output/steps.n3
 reasoning/sequents/output/tweety.n3
 reasoning/sequents/output/universal_5_s.n3
 reasoning/sequents/output/universal_6_d.n3
 reasoning/sequents/output/wet.n3
 reasoning/sequents/output/winner.n3
 reasoning/sequents/proof/abc.n3
 reasoning/sequents/proof/abcd.n3
 reasoning/sequents/proof/beetle.n3
 reasoning/sequents/proof/beetle12.n3
 reasoning/sequents/proof/beetle6.n3
 reasoning/sequents/proof/deer.n3
 reasoning/sequents/proof/graph.n3
 reasoning/sequents/proof/oddnumber.n3
 reasoning/sequents/proof/rex.n3
 reasoning/sequents/proof/socrates.n3
 reasoning/sequents/proof/steps.n3
 reasoning/sequents/proof/tweety.n3
 reasoning/sequents/proof/universal_5_s.n3
 reasoning/sequents/proof/universal_6_d.n3
 reasoning/sequents/proof/wet.n3
 reasoning/sequents/proof/winner.n3
 reasoning/sequents/sequents.n3
 reasoning/sequents/test
 reasoning/shaclr/family-answer.ttl
 reasoning/shaclr/family.shaclr
 reasoning/shaclr/test
 reasoning/shell-command/README
 reasoning/shell-command/query-100-answer.n3
 reasoning/shell-command/query-100.n3
 reasoning/shell-command/query-answer.n3
 reasoning/shell-command/query.n3
 reasoning/shell-command/test
 reasoning/skos/README
 reasoning/skos/skos-extra-rules.n3
 reasoning/skos/skos-mapping-sample-snomed-icd10.n3
 reasoning/skos/skos-mapping-validation-query.n3
 reasoning/skos/skos-mapping-validation-rules.n3
 reasoning/skos/skos-rules.n3
 reasoning/skos/skos_mv_proof.n3
 reasoning/skos/test
 reasoning/slide32/README
 reasoning/slide32/slide32-answer.n3
 reasoning/slide32/slide32-proof.n3
 reasoning/slide32/slide32-query.n3
 reasoning/slide32/slide32.n3
 reasoning/slide32/test
 reasoning/slide33/README
 reasoning/slide33/slide33-answer.n3
 reasoning/slide33/slide33-proof.n3
 reasoning/slide33/slide33-query.n3
 reasoning/slide33/slide33.n3
 reasoning/slide33/test
 reasoning/snaf/README
 reasoning/snaf/answer.n3
 reasoning/snaf/demo.n3
 reasoning/snaf/proof.n3
 reasoning/snaf/rules.n3
 reasoning/snaf/test
 reasoning/socrates-star/README
 reasoning/socrates-star/check
 reasoning/socrates-star/socrates-answer.n3
 reasoning/socrates-star/socrates-check.txt
 reasoning/socrates-star/socrates-data.n3
 reasoning/socrates-star/socrates-lemma.n3
 reasoning/socrates-star/socrates-proof.n3
 reasoning/socrates-star/socrates-query.n3
 reasoning/socrates-star/socrates.n3
 reasoning/socrates-star/test
 reasoning/socrates/README
 reasoning/socrates/check
 reasoning/socrates/socrates-answer.n3
 reasoning/socrates/socrates-check.txt
 reasoning/socrates/socrates-proof.n3
 reasoning/socrates/socrates-query.n3
 reasoning/socrates/socrates.n3
 reasoning/socrates/test
 reasoning/superdense-coding/README
 reasoning/superdense-coding/sdcoding-a-proof.n3
 reasoning/superdense-coding/sdcoding-a.n3
 reasoning/superdense-coding/sdcoding-answer.n3
 reasoning/superdense-coding/sdcoding-proof.n3
 reasoning/superdense-coding/sdcoding-q.n3
 reasoning/superdense-coding/sdcoding-query.n3
 reasoning/superdense-coding/sdcoding.n3
 reasoning/superdense-coding/test
 reasoning/swet/README
 reasoning/swet/swetA.n3
 reasoning/swet/swetA01.n3
 reasoning/swet/swetA11.n3
 reasoning/swet/swetA21.n3
 reasoning/swet/swetA31.n3
 reasoning/swet/swetD.n3
 reasoning/swet/swetQ.n3
 reasoning/swet/swetQ01.n3
 reasoning/swet/swetQ11.n3
 reasoning/swet/swetQ21.n3
 reasoning/swet/swetQ31.n3
 reasoning/swet/test
 reasoning/takeuchi/README
 reasoning/takeuchi/tak.n3
 reasoning/takeuchi/takA.n3
 reasoning/takeuchi/takE.n3
 reasoning/takeuchi/takQ.n3
 reasoning/takeuchi/test
 reasoning/test
 reasoning/tfcontext/README
 reasoning/tfcontext/data-001.n3
 reasoning/tfcontext/proof-001.n3
 reasoning/tfcontext/query-001.n3
 reasoning/tfcontext/rules-001.n3
 reasoning/tfcontext/test
 reasoning/trend/README
 reasoning/trend/test
 reasoning/trend/trend-output.ttl
 reasoning/trend/trend.n3
 reasoning/trust-policy/README
 reasoning/trust-policy/test
 reasoning/trust-policy/trust-policy-answer.n3
 reasoning/trust-policy/trust-policy.n3
 reasoning/ttl-to-rdfa/README
 reasoning/ttl-to-rdfa/health_schema_org.html
 reasoning/ttl-to-rdfa/health_schema_org.ttl
 reasoning/ttl-to-rdfa/test
 reasoning/ttl-to-rdfa/ttl-to-rdfa.n3
 reasoning/turing/README
 reasoning/turing/test
 reasoning/turing/turing-answer.n3
 reasoning/turing/turing-proof.n3
 reasoning/turing/turing-query.n3
 reasoning/turing/turing.n3
 reasoning/turtle-dev/README
 reasoning/turtle-dev/prepare
 reasoning/turtle-dev/run-manifest.n3
 reasoning/turtle-dev/run-outcome-pass.n3
 reasoning/turtle-dev/run-outcome.n3
 reasoning/turtle-dev/test
 reasoning/twf/README
 reasoning/twf/example27-pass.n3
 reasoning/twf/example27-proof.n3
 reasoning/twf/example27.n3
 reasoning/twf/example28-pass.n3
 reasoning/twf/example28-proof.n3
 reasoning/twf/example28.n3
 reasoning/twf/test
 reasoning/universal/README
 reasoning/universal/test
 reasoning/universal/universal-answer.n3
 reasoning/universal/universal-proof.n3
 reasoning/universal/universal-query.n3
 reasoning/universal/universal.n3
 reasoning/usm/README
 reasoning/usm/test
 reasoning/usm/usmE.n3
 reasoning/usm/usmP.n3
 reasoning/usm/usmQ.n3
 reasoning/utf8/README
 reasoning/utf8/test
 reasoning/utf8/utf8.n3
 reasoning/utf8/utf8_proof.n3
 reasoning/wind-turbine/README.md
 reasoning/wind-turbine/test
 reasoning/wind-turbine/wind-turbine-answer.n3
 reasoning/wind-turbine/wind-turbine-proof.n3
 reasoning/wind-turbine/wind-turbine.n3
 reasoning/witch/README
 reasoning/witch/check
 reasoning/witch/test
 reasoning/witch/witch-check.txt
 reasoning/witch/witch-goal.n3
 reasoning/witch/witch-proof.n3
 reasoning/witch/witch.n3
 reasoning/workplace/README
 reasoning/workplace/gened.n3
 reasoning/workplace/prepare
 reasoning/workplace/test
 reasoning/workplace/workplace-answer.n3
 reasoning/workplace/workplace-data.ttl
 reasoning/workplace/workplace-query.n3
 reasoning/workplace/workplace.n3
 reasoning/zebra/README
 reasoning/zebra/test
 reasoning/zebra/zebra.n3
 reasoning/zebra/zebraE.n3
 reasoning/zebra/zebraQ.n3
 test
Copyright: NONE
License: UNKNOWN
 FIXME

Files: LICENSE
 eye.pl
Copyright: 2006-2025, Jos De Roo, KNoWS office of IDLab, Ghent University - imec
  2006-2026, Jos De Roo, KNoWS office of IDLab, Ghent University - imec
License: Expat
 FIXME

Files: reasoning/arvol/input/matrix.pl
Copyright: Fabrizio Riguzzi
License: UNKNOWN
 FIXME

Files: RELEASE
Copyright: 2006-2025, Jos De Roo, KNoWS office of IDLab, Ghent University - imec'
License: UNKNOWN
 FIXME

