# $Id: etc1.n3 1295 2007-05-11 16:52:51Z josd $

# PxButton | run web    | java -Xmx800m euler.EulerRunner --step 8000000 etc1.n3
# PxButton | run local  | java -Xmx800m euler.EulerRunner --local --step 8000000 etc1.n3
# PxButton | run web#   | Euler --step 8000000 etc1.n3
# PxButton | run local# | Euler --local --step 8000000 etc1.n3
# PxButton | run output | java -Xmx800m euler.EulerRunner --local --step 8000000 http://eulersharp.sourceforge.net/2003/03swap/etc1.n3 > etc1-proof.n3

@prefix log: <http://www.w3.org/2000/10/swap/log#>.

# PositiveParserTest
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-literals/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-literals/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-literals/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test003>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test003.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test003.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test004>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test006>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test007>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test007.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test007.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test008>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test008.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test008.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0003>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0003.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0003.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0004>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0004.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0004.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0005>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0005.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0005.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0006>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0006.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0006.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0009>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0009.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0009.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0010>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0010.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0010.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0011>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0011.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0011.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0012>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0012.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0012.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0013>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0013.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0013.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0014>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0014.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0014.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.n3#test1>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test1.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test1.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.n3#test2>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test2.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test2.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.n3#test3>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test3.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test3.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test003>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test003.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test003.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test004>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test004.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test004.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test005>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test006>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test007>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test007.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test007.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test008>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test008.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test008.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test009>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test009.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test009.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test010>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test010.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test010.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test011>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test012>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test013>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test013.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test013.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test014>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test014.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test014.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test015>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test015.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test015.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test016>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test016.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test016.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test017>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test017.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test017.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.n3#test003>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test003.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test003.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.n3#test004>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test004.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test004.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.n3#test005>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test005.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test005.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.n3#test004>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.n3#test005>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-003>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-003.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-003.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-004>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-004.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-004.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-005>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-005.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-005.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-006>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-006.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-006.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-007>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-007.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-007.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-008>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-008.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-008.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-009>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-009.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-009.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-010>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-010.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-010.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-011>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-011.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-011.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-012>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-012.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-012.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-013>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-013.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-013.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-014>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-014.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-014.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-015>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-015.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-015.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-016>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-016.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-016.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-017>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-017.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-017.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-018>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-018.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-018.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-019>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-019.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-019.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-020>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-020.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-020.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-021>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-021.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-021.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-022>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-022.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-022.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-023>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-023.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-023.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-024>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-024.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-024.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-025>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-025.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-025.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-026>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-026.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-026.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-027>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-027.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-027.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-028>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-028.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-028.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-029>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-029.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-029.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-030>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-030.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-030.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-031>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-031.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-031.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-032>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-032.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-032.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-033>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-033.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-033.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-034>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-034.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-034.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-035>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-035.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-035.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-036>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-036.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-036.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-037>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-037.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-037.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#warn-001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/warn-001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/warn-001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#warn-002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/warn-002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/warn-002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#warn-003>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/warn-003.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/warn-003.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-reification-required/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-reification-required/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-reification-required/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/test002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/Manifest.n3#test003>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/test003.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/test003.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/Manifest.n3#test004>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/test004.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/test004.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-uri-substructure/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-uri-substructure/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-uri-substructure/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xml-literal-namespaces/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xml-literal-namespaces/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xml-literal-namespaces/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xml-literal-namespaces/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xml-literal-namespaces/test002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xml-literal-namespaces/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test003>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test003.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test003.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test004>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test004.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test004.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test005>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test005.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test005.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test006>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test006.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test006.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/unrecognised-xml-attributes/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/unrecognised-xml-attributes/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/unrecognised-xml-attributes/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/unrecognised-xml-attributes/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/unrecognised-xml-attributes/test002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/unrecognised-xml-attributes/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xml-canon/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xml-canon/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xml-canon/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test001.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test002.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test003>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test003.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test003.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test004>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test004.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test004.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test006>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test006.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test006.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test007>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test007.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test007.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test008>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test008.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test008.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test009>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test009.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test009.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test010>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test010.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test010.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test011>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test011.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test011.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test013>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test013.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test013.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test014>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test014.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/test014.nt>!log:semantics.

# PositiveEntailmentTest
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes-intensional/Manifest.n3#xsd-integer-string-incompatible>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes-intensional/test002.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#non-well-formed-literal-1>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#plain-literal-and-xsd-string>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test011a.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test011b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#range-clash>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test006.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#semantic-equivalence-between-datatypes>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test005a.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test005b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#semantic-equivalence-within-type-1>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test003a.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test003b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#semantic-equivalence-within-type-2>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test003b.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test003a.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#test008>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test008a.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test008b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#test010>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test010.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/pfps-10/Manifest.n3#non-well-formed-literal-1>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/pfps-10/test001a.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/pfps-10/test001b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/empty.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.n3#test003>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/test003a.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/test003b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.n3#test004>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/empty.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/test004.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-entailment/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-entailment/test001.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-entailment/Manifest.n3#test002>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-entailment/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/Manifest.n3#language-tag-case-1>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/test001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/test002.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/Manifest.n3#language-tag-case-2>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/test002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/test001.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.n3#whitespace-facet-3>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/test001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/test003.n3>!log:semantics.

# NegativeEntailmentTest
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes-intensional/Manifest.n3#xsd-integer-decimal-compatible>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes-intensional/test001.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#non-well-formed-literal-2>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#test009>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test009a.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test009b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/Manifest.n3#subClassOf-intensional>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/test001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/test002.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/Manifest.n3#subPropertyOf-intensional>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/test003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/test004.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.n3#test003>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.n3#test004>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test001.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test007a>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test007a.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test007b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test007b>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test007b.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test007c.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test007c>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test007c.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test007a.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-container-membership-superProperty/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-container-membership-superProperty/not1P.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-container-membership-superProperty/not1C.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.n3#intensionality-domain>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/nonconclusions006.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.n3#intensionality-range>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/nonconclusions005.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subClassOf-a-Property/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subClassOf-a-Property/test001.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.n3#test001>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.n3#test002>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.n3#test003>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.n3#test004>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.n3#whitespace-facet-1>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/test001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/test002.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.n3#whitespace-facet-2>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/test002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/test001.n3>!log:semantics.
(<http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.n3#whitespace-facet-4>!log:semantics <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/test002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjuction log:notImplies <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/test003.n3>!log:semantics.