// $Id: Data.java 1537 2007-09-20 21:42:34Z josd $

package euler.test;

import java.io.IOException;
import java.io.PrintStream;
import java.io.FileOutputStream;
import java.io.ByteArrayOutputStream;

// imports from junit.jar
import junit.framework.TestCase;
import junit.framework.AssertionFailedError;

// local imports
import euler.EulerRunner;

public class Data {

	public static final String Header = "@prefix log: <http://www.w3.org/2000/10/swap/log#>.\n";

	public static final String[] PositiveParserTests_etc1 = {
			"(<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." };

	public static final String[] PositiveEntailmentTests_etc1 = {
			"(<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.", };

	public static final String[] NegativeEntailmentTests_etc1 = {
			"(<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.", };

	public static final String[] PositiveEntailmentTests_etc2 = {
			"(<http://www.w3.org/2002/03owlt/AllDifferent/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/AllDifferent/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/AllDifferent/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/AnnotationProperty/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/AnnotationProperty/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Class/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Class/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/Class/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Class/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Class/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/Class/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Class/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Class/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/Class/conclusions006.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/FunctionalProperty/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/FunctionalProperty/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/FunctionalProperty/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/FunctionalProperty/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/FunctionalProperty/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/FunctionalProperty/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/FunctionalProperty/conclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/FunctionalProperty/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/FunctionalProperty/conclusions005.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I4.5/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I4.5/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I4.5/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I4.6/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I4.6/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I4.6/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.1/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.1/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.1/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.2/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.2/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.2/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.2/conclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.2/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.2/conclusions006.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.21/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.21/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.21/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.24/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.24/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.24/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.24/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.24/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.24/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.24/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.24/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.24/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.24/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.24/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.24/conclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.26/Manifest009.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/premises009.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.26/conclusions009.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.26/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/premises010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.26/conclusions010.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.3/Manifest014.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/premises014.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.3/conclusions014.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.3/Manifest015.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/premises015.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.3/conclusions015.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.5/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.5/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.5/conclusions005.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.8/conclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.8/conclusions006.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest008.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises008.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.8/conclusions008.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest009.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises009.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.8/conclusions009.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.8/conclusions010.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest017.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises017.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.8/conclusions017.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/InverseFunctionalProperty/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/InverseFunctionalProperty/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/InverseFunctionalProperty/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/InverseFunctionalProperty/conclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Ontology/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Ontology/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/Ontology/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Ontology/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Ontology/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/Ontology/conclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Restriction/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Restriction/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/Restriction/conclusions006.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/SymmetricProperty/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/SymmetricProperty/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/SymmetricProperty/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/SymmetricProperty/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/SymmetricProperty/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/SymmetricProperty/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/TransitiveProperty/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/TransitiveProperty/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/TransitiveProperty/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/TransitiveProperty/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/allValuesFrom/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/allValuesFrom/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/allValuesFrom/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/cardinality/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/cardinality/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/cardinality/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/cardinality/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/cardinality/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/cardinality/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/cardinality/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/cardinality/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/cardinality/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/cardinality/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/cardinality/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/cardinality/conclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/cardinality/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/cardinality/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/cardinality/conclusions006.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/complementOf/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/complementOf/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/complementOf/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest201.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises201.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions201.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest202.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises202.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions202.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest203.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises203.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions203.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest204.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises204.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions204.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest205.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises205.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions205.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest206.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises206.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions206.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest207.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises207.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions207.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest208.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises208.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-200.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions208.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest661.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises661.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-660.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions661.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest662.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises662.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-660.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions662.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest663.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises663.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-660.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions663.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest664.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises664.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-660.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions664.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest665.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises665.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-660.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions665.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest667.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises667.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules-660.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/description-logic/conclusions667.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest901.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises901.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/description-logic/conclusions901.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest903.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises903.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/description-logic/conclusions903.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/differentFrom/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/differentFrom/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/differentFrom/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/differentFrom/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/differentFrom/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/differentFrom/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/disjointWith/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/disjointWith/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/disjointWith/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/disjointWith/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/distinctMembers/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/distinctMembers/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/distinctMembers/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentClass/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentClass/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentClass/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentClass/conclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentClass/conclusions006.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentClass/conclusions007.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentProperty/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentProperty/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentProperty/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentProperty/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentProperty/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentProperty/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentProperty/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentProperty/conclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentProperty/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentProperty/conclusions005.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentProperty/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentProperty/conclusions006.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/extra-credit/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/extra-credit/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/extra-credit/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/extra-credit/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/extra-credit/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/extra-credit/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/extra-credit/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/extra-credit/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/extra-credit/conclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/intersectionOf/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/intersectionOf/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/intersectionOf/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/inverseOf/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/inverseOf/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/inverseOf/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/premises010.n3>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent001.n3>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/09wifo/wifoP.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/miscellaneous/conclusions010.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest011.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/premises011.n3>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent001.n3>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/09wifo/wifoP.n3>!log:semantics)!log:conjuction => <http://www.w3.org/2002/03owlt/miscellaneous/conclusions011.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/oneOf/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/oneOf/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/oneOf/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/oneOf/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/oneOf/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/oneOf/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/oneOf/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/oneOf/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/oneOf/conclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/sameAs/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/sameAs/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/sameAs/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/someValuesFrom/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/someValuesFrom/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/someValuesFrom/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/someValuesFrom/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/someValuesFrom/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/someValuesFrom/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/unionOf/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/unionOf/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/unionOf/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/unionOf/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/unionOf/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/unionOf/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/unionOf/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/unionOf/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/unionOf/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/unionOf/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/unionOf/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/unionOf/conclusions004.n3>!log:semantics." };

	public static final String[] NegativeEntailmentTests_etc2 = {
			"(<http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/AnnotationProperty/premises001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/AnnotationProperty/nonconclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Class/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Class/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/Class/nonconclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Class/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Class/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/Class/nonconclusions005.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I4.6/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I4.6/premises004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I4.6/nonconclusions004.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I4.6/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I4.6/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I4.6/nonconclusions005.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.5/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.5/premises006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.5/nonconclusions006.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.5/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.5/premises007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.5/nonconclusions007.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.8/nonconclusions005.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/premises007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.8/nonconclusions007.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Ontology/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Ontology/premises003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/Ontology/nonconclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Restriction/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Restriction/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/Restriction/nonconclusions005.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/allValuesFrom/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/allValuesFrom/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/allValuesFrom/nonconclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest209.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises209.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/description-logic/nonconclusions209.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest902.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises902.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/description-logic/nonconclusions902.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest904.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/premises904.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/description-logic/nonconclusions904.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentClass/nonconclusions005.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest008.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/premises008.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/equivalentClass/nonconclusions008.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/imports/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/imports/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/imports/nonconclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest301.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/premises301.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/miscellaneous/nonconclusions301.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest302.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/premises302.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/miscellaneous/nonconclusions302.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/someValuesFrom/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/someValuesFrom/premises002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/someValuesFrom/nonconclusions002.n3>!log:semantics." };

	public static final String[] ConsistencyTests_etc2 = {
			"(<http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/AnnotationProperty/consistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest004.n3#test>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/DatatypeProperty/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.1/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.1/consistent010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.2/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.2/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/consistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.2/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/consistent005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.2/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/consistent010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.2/Manifest011.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.2/consistent011.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.26/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.26/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.26/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.26/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.26/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.26/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.26/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.26/consistent007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.3/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.3/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.3/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.3/Manifest008.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent008.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.3/Manifest009.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent009.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.3/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.3/Manifest011.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.3/consistent011.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/consistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest012.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/consistent012.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-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/2002/03owlt/I5.8/Manifest013.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/consistent013.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest014.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/consistent014.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest015.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/consistent015.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest016.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/consistent016.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I6.1/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I6.1/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Restriction/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Restriction/consistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Restriction/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Restriction/consistent004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Thing/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Thing/consistent004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/backwardCompatibleWith/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/backwardCompatibleWith/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest009.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent009.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest016.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent016.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest018.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent018.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest020.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent020.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest021.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent021.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest024.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent024.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest025.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent025.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest028.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent028.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest031.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent031.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest034.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent034.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest501.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent501.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest503.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent503.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest605.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent605.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest606.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent606.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest609.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent609.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest616.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent616.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest624.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent624.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest625.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent625.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest628.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent628.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest631.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent631.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest634.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent634.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest905.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent905.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest906.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent906.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest907.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent907.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest908.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/consistent908.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/disjointWith/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/disjointWith/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/disjointWith/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/disjointWith/Manifest006.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent006.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/disjointWith/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/disjointWith/Manifest008.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent008.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/disjointWith/Manifest009.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/consistent009.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/equivalentClass/Manifest009.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/equivalentClass/consistent009.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/imports/Manifest012.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/imports/consistent012.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest102.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent102.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest103.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent103.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest201.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent201.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest202.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent202.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest205.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent205.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-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/2002/03owlt/miscellaneous/Manifest303.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/consistent303.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/oneOf/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/oneOf/consistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics." };

	public static final String[] InconsistencyTests_etc2 = {
			"(<http://www.w3.org/2002/03owlt/I4.5/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I4.5/inconsistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.5/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.5/inconsistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.5/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.5/inconsistent004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/inconsistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/I5.8/inconsistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Nothing/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Nothing/inconsistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Restriction/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Restriction/inconsistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Restriction/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Restriction/inconsistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Thing/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Thing/inconsistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Thing/Manifest005.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/Thing/inconsistent005.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent003.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest004.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent004.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest007.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent007.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest008.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent008.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest011.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent011.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest012.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent012.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest013.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent013.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest014.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent014.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest015.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent015.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest017.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent017.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest019.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent019.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest022.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent022.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest023.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent023.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest026.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent026.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest027.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent027.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest029.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent029.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest030.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent030.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest032.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent032.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest033.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent033.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest035.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent035.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest040.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent040.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest101.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent101.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest102.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent102.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest103.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent103.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest104.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent104.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest105.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent105.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest106.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent106.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest107.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent107.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest108.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent108.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest109.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent109.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest110.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent110.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest111.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent111.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest502.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent502.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest504.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent504.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest601.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent601.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest602.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent602.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest603.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent603.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest604.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent604.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest608.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent608.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest610.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent610.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest611.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent611.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest612.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent612.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest613.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent613.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest614.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent614.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest615.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent615.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest617.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent617.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest623.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent623.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest626.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent626.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest627.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent627.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest629.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent629.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest630.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent630.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest632.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent632.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest633.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent633.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest641.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent641.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest642.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent642.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest643.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent643.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest644.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent644.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest646.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent646.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest650.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent650.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest909.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent909.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/description-logic/Manifest910.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/description-logic/inconsistent910.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/disjointWith/Manifest010.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/disjointWith/inconsistent010.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/maxCardinality/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/maxCardinality/Manifest002.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest203.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/inconsistent203.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/miscellaneous/Manifest204.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/miscellaneous/inconsistent204.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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://eulersharp.sourceforge.net/2003/03swap/inconsistent.n3>!log:semantics." };

	public static final String[] ImportEntailmentTest_etc2 = {
			"(<http://www.w3.org/2002/03owlt/imports/Manifest001.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/imports/premises001.n3>!log:semantics <http://www.w3.org/2002/03owlt/imports/support001-A.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/imports/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/imports/Manifest003.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/imports/premises003.n3>!log:semantics <http://www.w3.org/2002/03owlt/imports/support003-A.n3>!log:semantics <http://www.w3.org/2002/03owlt/imports/support003-B.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/imports/conclusions003.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/imports/Manifest011.n3#test>!log:semantics <http://www.w3.org/2002/03owlt/imports/premises011.n3>!log:semantics <http://www.w3.org/2002/03owlt/imports/support011-A.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/imports/conclusions011.n3>!log:semantics." };

	public static final String[] OWLforOWLTest_etc2 = {
			"(<http://www.w3.org/2002/03owlt/Class/Manifest001.n3#test>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/Class/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.5/Manifest001.n3#test>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.5/conclusions001.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.5/Manifest002.n3#test>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.5/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/I5.8/Manifest011.n3#test>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/I5.8/conclusions011.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/Nothing/Manifest002.n3#test>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/Nothing/conclusions002.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/imports/Manifest010.n3#test>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.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/2002/03owlt/imports/conclusions010.n3>!log:semantics." };

	public static final String[] etc3 = {
			"(<http://www.agfa.com/w3c/euler/authen.axiom.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/euler/authen.lemma.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/graph.axiom.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/euler/graph.lemma.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/gedcom-relations.n3>!log:semantics <http://www.agfa.com/w3c/euler/gedcom-facts.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/euler/gedcom-query.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/danc.n3>!log:semantics (think))!log:conjunction => <http://www.agfa.com/w3c/euler/danc-query.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/ziv.n3>!log:semantics (think))!log:conjunction => <http://www.agfa.com/w3c/euler/ziv-query.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/danb.n3>!log:semantics (think))!log:conjunction => <http://www.agfa.com/w3c/euler/danb-query.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/test.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/euler/test-test.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/animal.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/euler/animal-simple.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/subprop.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/euler/subprop-query.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/subclass.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/euler/subclass-query.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/rdfs-facts.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/euler/rdfs-query.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/owl-facts.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/euler/owl-query.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/ziv.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/euler/builtins.n3>!log:semantics.",
			"()!log:conjunction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/etc001.n3>!log:semantics.",
			"(<http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules.n3>!log:semantics <http://www.cs.rpi.edu/~puninj/RGML/N3/simplegraph.n3>!log:semantics)!log:conjunction => <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query.n3>!log:semantics.",
			"(<http://www.w3.org/2001/08swws67/poolGame-kb.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/n3/poolGame-query-web.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/2000/10/swap/test/pathCrossQ.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/dtP.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics <http://www.w3.org/2001/XMLSchema.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/euler/dtC.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>!log:semantics <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/2002/10/medicad/op/lldmC.n3>!log:semantics.",
			"(<http://eulersharp.sourceforge.net/2003/01calt/pimP.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics (think))!log:conjunction => <http://eulersharp.sourceforge.net/2003/01calt/pimC.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/rdf-facts.n3>!log:semantics <http://www.agfa.com/w3c/euler/log-facts.n3>!log:semantics)!log:conjunction => <http://www.agfa.com/w3c/euler/log-query.n3>!log:semantics.",
			"(<http://www.agfa.com/w3c/euler/easterP.n3>!log:semantics (think))!log:conjunction => <http://www.agfa.com/w3c/euler/easterC.n3>!log:semantics.",
			"(<http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3>!log:semantics <http://www.agfa.com/w3c/euler/owl-rules.n3>!log:semantics <http://www.agfa.com/w3c/euler/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://eulersharp.sourceforge.net/2003/05geot/continentsC.n3>!log:semantics.",
			"(<http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt>!log:semantics)!log:conjunction => <http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/mapInvP.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.w3.org/2002/03owlt/mapInvC.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/mapVocabP.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.w3.org/2002/03owlt/mapVocabC.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/oneOfP.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.w3.org/2002/03owlt/oneOfC.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/pathTransitiveP.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.w3.org/2002/03owlt/pathTransitiveC.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/unionOfP.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.w3.org/2002/03owlt/unionOfC.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/sameGuyP.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.w3.org/2002/03owlt/sameGuyC.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/sameStateP.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.w3.org/2002/03owlt/sameStateC.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/dbP.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.w3.org/2002/03owlt/dbC.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/intersectionOfP.n3>!log:semantics <http://www.w3.org/2002/03owlt/intersectionOfX.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.w3.org/2002/03owlt/intersectionOfC.n3>!log:semantics.",
			"(<http://www.w3.org/2002/03owlt/SocratesP.n3>!log:semantics <http://www.w3.org/2002/03owlt/SocratesA.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction => <http://www.w3.org/2002/03owlt/SocratesC.n3>!log:semantics." };

	public static final String[] etc5 = {
			"()!log:conjunction => <http://eulersharp.sourceforge.net/2003/03swap/etc1.n3>!log:semantics.",
			"()!log:conjunction => <http://eulersharp.sourceforge.net/2003/03swap/etc2.n3>!log:semantics.",
			"()!log:conjunction => <http://eulersharp.sourceforge.net/2003/03swap/etc3.n3>!log:semantics." };

	/* ***************************************************************** */
	/* ** START : protected static methods */
	/* ***************************************************************** */

	protected static void executeTest(String rule, TestCase testcase, String resultFile) {
		FileOutputStream s = null;
		try {
			s = new FileOutputStream("test.n3");
			s.write(Header.getBytes());
			s.write(rule.getBytes());
			s.flush();
			s.close();

			ByteArrayOutputStream out = new ByteArrayOutputStream();
			System.setErr(new PrintStream(out));

			String[] args = new String[4];
			args[0] = "--local";
			args[1] = "--step";
			args[2] = "8000000";
			args[3] = "test.n3";
			String proof = EulerRunner.doProof(args);
			Outputter.getInstance().writeProof("./proofs/" + testcase.getName() + ".n3", proof);

			String result = out.toString();
			StringBuffer sb = new StringBuffer(result);
			int i = result.indexOf("r:system :euler; ");
			if (i != -1)
				sb.insert(i + 17, "r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/"
						+ testcase.getName() + ".n3>; ");
			result = sb.toString();
			Outputter.getInstance().addToResult(resultFile, result);

			testcase.assertNotNull("Result of test is null???", result);
			testcase.assertTrue("Result of test case is empty???", !"".equals(result));
			if (result.indexOf("FailingRun") > 0) {
				testcase.fail("Failing Run");
			} else {
				if (result.indexOf("UndecidedRun") > 0) {
					testcase.fail("Undecided Run");
				} else {
					testcase.assertTrue(result.indexOf("PassingRun") > 0);
				}
			}
		} catch (AssertionFailedError afe) {
			throw afe;
		} catch (Throwable e) {
			testcase.fail(e.getMessage());
		} finally {
			if (s != null) {
				try {
					s.close();
				} catch (Throwable t) {
					t.printStackTrace();
				}
			}
		}
	}

	/* ***************************************************************** */
	/* ** END : protected static methods */
	/* ***************************************************************** */
}