# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:02 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

()!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.


# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:02 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

()!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix ns0e: <http://eulersharp.sourceforge.net/2003/03swap/>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.


# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:04 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/test001.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/test001.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example/q?abc=1&def=2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#value> "xxx"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/test001.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/test001.nt in 1 step (100000 steps/sec) using 1 engine (8 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:04 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test001.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test001.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/foo> <http://example.org/bar> "10"^^<http://www.w3.org/2001/XMLSchema#integer>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test001.rdf#_6>. 
{<http://example.org/foo> <http://example.org/baz> "10"^^<http://www.w3.org/2001/XMLSchema#integer>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test001.rdf#_8>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test001.nt in 2 steps (199 steps/sec) using 1 engine (177 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:04 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/foo> <http://example.org/bar> "flargh"^^<http://www.w3.org/2001/XMLSchema#integer>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.nt in 1 step (100000 steps/sec) using 1 engine (176 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-literals/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-literals/test001.rdf>!log:semantics)!log:conjunction =>
{
# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-literals/test001.nt in 1 step (100000 steps/sec) using 1 engine (28 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test001.rdf>!log:semantics)!log:conjunction =>
{
# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test001.nt in 1 step (100000 steps/sec) using 1 engine (47 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.rdf#>.
@prefix eg: <http://example.org/#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/#Andr%C3%A9> <http://example.org/#owes> "2000"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.nt in 1 step (100000 steps/sec) using 1 engine (47 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test001.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test001.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:9590_11_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test001.rdf#_6>. 
{_:9590_11_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test001.rdf#_7>. 
{_:9590_11_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test001.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test001.nt in 31 steps (3096 steps/sec) using 1 engine (79 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix foo: <http://foo/>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:9838_13_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "_1"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.rdf#_7>. 
{_:9838_13_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.rdf#_7>. 
{_:9838_13_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> "_3"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.rdf#_9>. 
{_:9838_13_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.rdf#_8>. 
{_:9838_13_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://foo/Bar>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.nt in 34 steps (3400000 steps/sec) using 1 engine (81 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test003.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test003.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix foo: <http://foo/>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:10107_14_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test003.rdf#_7>. 
{_:10107_14_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test003.rdf#_8>. 
{_:10107_14_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://foo/Bar>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test003.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test003.nt in 31 steps (3100000 steps/sec) using 1 engine (79 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix foo: <http://foo/>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:b1_15_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_19>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#e1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> _:b1_15_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_9>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#e1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_8>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#e1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> "1"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_7>. 
{_:b1_15_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2"^^<http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_20>. 
{_:b1_15_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> _:10389_15_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_21>. 
{_:b1_15_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> _:b2_15_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_23>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#e4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> _:b1_15_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_16>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#e4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_15>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#e4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> _:b2_15_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_14>. 
{_:b2_15_ <http://foo/bar> "foobar"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_11>. 
{_:b1_15_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://foo/Bar>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_18>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#e1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_6>. 
{_:10389_15_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://foo/Bar>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_21>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#e4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf#_13>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.nt in 136 steps (13586 steps/sec) using 1 engine (91 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix foo: <http://foo/>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#e1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> "3"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#_7>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#e1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#value> "foobar"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#_8>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#e2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#_11>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#e2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#value> "foobar"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#_12>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#e2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#value> "barfoo"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#_12>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#e1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#_6>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#e2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Alt>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#_10>. 
{_:10815_16_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf#_14>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.nt in 98 steps (979 steps/sec) using 1 engine (84 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:05 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test007.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test007.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix foo: <http://foo/>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:11146_17_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> _:11153_17_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test007.rdf#_6>. 
{_:11153_17_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test007.rdf#_6>. 
{_:11153_17_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test007.rdf#_7>. 
{_:11146_17_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test007.rdf#_9>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test007.nt in 6 steps (600000 steps/sec) using 1 engine (80 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test008.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test008.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://desc> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test008.rdf#_6>. 
{<http://desc> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1-again"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test008.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test008.nt in 3 steps (300000 steps/sec) using 1 engine (78 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/test001.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://example.org/terms#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:11438_20_ <http://example.org/terms#title> "Dogs in Hats"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/test001.rdf#_5>. 
{_:11438_20_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/terms#Book>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/test001.rdf#_4>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/test001.nt in 5 steps (499 steps/sec) using 1 engine (10 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0001.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0001.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/resource1/> <http://example.org/property> "bar"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0001.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0001.nt in 1 step (100000 steps/sec) using 1 engine (167 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0003.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0003.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/resource1/> <http://example.org/property> <http://example.org/resource2/>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0003.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0003.nt in 1 step (100000 steps/sec) using 1 engine (167 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0004.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0004.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0004.rdf#foo> <http://example.org/property> "bar"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0004.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0004.nt in 1 step (100000 steps/sec) using 1 engine (167 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0005.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0005.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/resource1/> <http://example.org/property> _:13096_25_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0005.rdf#_6>. 
{_:13096_25_ <http://example.org/property2> "bar"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0005.rdf#_8>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0005.nt in 2 steps (200000 steps/sec) using 1 engine (168 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0006.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0006.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/resource/> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/class/>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0006.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0006.nt in 61 steps (3048 steps/sec) using 1 engine (167 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0009.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0009.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/resource/> <http://example.org/property> "bar"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0009.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0009.nt in 1 step (100000 steps/sec) using 1 engine (167 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0010.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/resource/> <http://example.org/property> "bar"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0010.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0010.nt in 1 step (100000 steps/sec) using 1 engine (167 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:06 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0011.rdf>!log:semantics)!log:conjunction =>
{
# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0011.nt in 1 step (100000 steps/sec) using 1 engine (168 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0012.rdf>!log:semantics)!log:conjunction =>
{
# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0012.nt in 1 step (100000 steps/sec) using 1 engine (168 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0013.rdf>!log:semantics)!log:conjunction =>
{
# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0013.nt in 1 step (100000 steps/sec) using 1 engine (168 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0014.rdf>!log:semantics)!log:conjunction =>
{
# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0014.nt in 1 step (100000 steps/sec) using 1 engine (168 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test1.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test1.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test1.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#value> "abc"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test1.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test1.nt in 1 step (100000 steps/sec) using 1 engine (33 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test2.rdf>!log:semantics)!log:conjunction =>
{
# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test2.nt in 1 step (100000 steps/sec) using 1 engine (33 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test3.rdf>!log:semantics)!log:conjunction =>
{
# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test3.nt in 1 step (100000 steps/sec) using 1 engine (33 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/test001.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/test001.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://example.org/a>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/test001.rdf#_7>. 
{<http://example.org/foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://example.org/b>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/test001.rdf#_7>. 
{<http://example.org/foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/test001.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/test001.nt in 7 steps (700000 steps/sec) using 1 engine (12 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test001.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test001.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> <http://random.ioctl.org/#foo>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test001.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test001.nt in 1 step (100000 steps/sec) using 1 engine (157 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test002.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test002.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> ""} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test002.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test002.nt in 1 step (100000 steps/sec) using 1 engine (157 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test003.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test003.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> ""^^<http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test003.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test003.nt in 1 step (100000 steps/sec) using 1 engine (157 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:07 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test004.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test004.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> _:17981_43_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test004.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test004.nt in 1 step (9 steps/sec) using 1 engine (157 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> ""} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf#_11>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://random.ioctl.org/#bar>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf#_9>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://random.ioctl.org/#someProperty>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf#_8>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> ""} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf#_7>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.nt in 62 steps (6200000 steps/sec) using 1 engine (161 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> _:b1_45_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf#_11>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://random.ioctl.org/#bar>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf#_9>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://random.ioctl.org/#someProperty>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf#_8>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> _:b1_45_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf#_7>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.nt in 62 steps (6193 steps/sec) using 1 engine (161 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test007.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test007.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> <http://random.ioctl.org/#foo>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test007.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test007.nt in 1 step (100000 steps/sec) using 1 engine (157 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test008.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test008.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> ""} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test008.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test008.nt in 1 step (100000 steps/sec) using 1 engine (157 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test009.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test009.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> ""^^<http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test009.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test009.nt in 1 step (100000 steps/sec) using 1 engine (157 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test010.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test010.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> _:20489_49_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test010.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test010.nt in 1 step (100000 steps/sec) using 1 engine (157 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> ""} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf#_11>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://random.ioctl.org/#bar>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf#_9>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://random.ioctl.org/#someProperty>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf#_8>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> ""} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf#_7>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.nt in 62 steps (3098 steps/sec) using 1 engine (161 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> _:b1_51_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf#_6>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://random.ioctl.org/#bar>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf#_12>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://random.ioctl.org/#someProperty>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf#_11>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> _:b1_51_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf#_10>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf#foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf#_9>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.nt in 62 steps (6200000 steps/sec) using 1 engine (161 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test013.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test013.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> <http://random.ioctl.org/#foo>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test013.rdf#_9>. 
{<http://random.ioctl.org/#foo> <http://random.ioctl.org/#prop2> "baz"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test013.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test013.nt in 2 steps (200000 steps/sec) using 1 engine (158 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test014.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test014.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> _:22225_53_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test014.rdf#_6>. 
{_:22225_53_ <http://random.ioctl.org/#prop2> "baz"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test014.rdf#_8>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test014.nt in 2 steps (200000 steps/sec) using 1 engine (158 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:08 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test015.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test015.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> _:22623_54_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test015.rdf#_6>. 
{_:22623_54_ <http://random.ioctl.org/#prop2> "baz"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test015.rdf#_8>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test015.nt in 2 steps (200000 steps/sec) using 1 engine (158 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test016.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test016.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> <http://random.ioctl.org/#foo>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test016.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test016.nt in 1 step (100000 steps/sec) using 1 engine (157 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test017.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test017.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> <http://random.ioctl.org/#foo>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test017.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test017.nt in 1 step (100000 steps/sec) using 1 engine (157 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test001.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test001.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:23520_58_ <http://example.org/property> "property value"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test001.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test001.nt in 1 step (100000 steps/sec) using 1 engine (41 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test002.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test002.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:23635_59_ <http://example.org/property> "property value"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test002.rdf#_7>. 
{_:23635_59_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/node>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test002.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test002.nt in 17 steps (1700000 steps/sec) using 1 engine (42 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test003.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test003.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:23772_60_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test003.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test003.nt in 16 steps (1600000 steps/sec) using 1 engine (41 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test004.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test004.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:23902_61_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "some value"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test004.rdf#_7>. 
{_:23902_61_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Alt>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test004.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test004.nt in 17 steps (1700000 steps/sec) using 1 engine (42 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test005.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test005.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:24042_62_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test005.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test005.nt in 16 steps (1600000 steps/sec) using 1 engine (41 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:b1_64_ <http://example.org/prop2> "val"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf#_6>. 
{_:24184_64_ <http://example.org/prop1> _:b1_64_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf#_13>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf#reify> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> _:24184_64_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf#_12>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf#reify> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/prop1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf#_11>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf#reify> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> _:b1_64_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf#_10>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf#reify> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf#_8>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.nt in 21 steps (2100000 steps/sec) using 1 engine (46 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test002.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test002.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/object#uriRef> <http://example.org/prop2> "val"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test002.rdf#_6>. 
{_:24344_65_ <http://example.org/prop1> <http://example.org/object#uriRef>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test002.rdf#_9>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test002.nt in 2 steps (200000 steps/sec) using 1 engine (42 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:09 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:24473_66_ <http://example.org/prop1> <http://example.org/object>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf#_11>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf#reify> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> _:24473_66_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf#_10>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf#reify> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/prop1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf#_9>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf#reify> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf#_8>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf#reify> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.nt in 20 steps (2000000 steps/sec) using 1 engine (45 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf#>.
@prefix eg: <http://example.org/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/object> <http://example.org/prop2> "val"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf#_14>. 
{_:24633_67_ <http://example.org/prop1> <http://example.org/object>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf#_11>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf#reify> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> _:24633_67_} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf#_10>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf#reify> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/prop1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf#_9>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf#reify> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf#_8>. 
{<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf#reify> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.nt in 21 steps (2100000 steps/sec) using 1 engine (46 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/test001.rdf>!log:semantics)!log:conjunction =>
{
@prefix c: <http://www.w3.org/TR/REC-rdf-syntax#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/test001.rdf#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/Manifest.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/> <http://www.w3.org/TR/REC-rdf-syntaxfoo> "permitted"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/test001.rdf#_10>. 
{<http://example.org/> <http://www.w3.org/TR/REC-rdf-syntax-blah-blahbar> "also permitted"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/test001.rdf#_8>. 
{<http://example.org/> <http://www.w3.org/TR/REC-rdf-syntax#baz> "this one also permitted"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/test001.rdf#_6>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/test001.nt in 3 steps (300000 steps/sec) using 1 engine (11 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-001.rdf>!log:semantics)!log:conjunction =>
{
# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-001.nt in 1 step (100000 steps/sec) using 1 engine (443 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-002.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-002.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-002.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-002.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:10 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-003.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-003.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-003.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-003.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:11 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-004.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-004.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Alt>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-004.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-004.nt in 161 steps (16083 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:11 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-005.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-005.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-005.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-005.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:11 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-006.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-006.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-006.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-006.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:12 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-007.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-007.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#List>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-007.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-007.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:12 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-008.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-008.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-008.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-008.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:12 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-009.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-009.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-009.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-009.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-010.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-010.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-010.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-010.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-011.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-011.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-011.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-011.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-012.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-012.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#value>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-012.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-012.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-013.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-013.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> rdf:first} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-013.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-013.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-014.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-014.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> rdf:rest} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-014.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-014.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-015.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-015.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-015.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-015.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:13 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-016.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-016.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> rdf:nil} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-016.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-016.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-017.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-017.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-017.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-017.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-018.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-018.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-018.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-018.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-019.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-019.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Alt> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-019.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-019.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-020.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-020.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-020.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-020.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-021.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-021.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-021.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-021.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-022.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-022.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#List> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-022.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-022.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:14 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-023.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-023.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-023.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-023.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:15 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-024.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-024.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-024.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-024.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:15 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-025.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-025.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-025.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-025.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:15 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-026.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-026.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-026.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-026.nt in 161 steps (16100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:16 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-027.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-027.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#value> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-027.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-027.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:16 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-028.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-028.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> rdf:first <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-028.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-028.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:16 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-029.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-029.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> rdf:rest <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-029.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-029.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:17 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-030.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-030.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-030.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-030.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:17 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-031.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-031.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://example.org/node2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-031.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-031.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:17 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-032.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-032.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq> "string"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-032.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-032.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:17 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-033.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-033.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag> "string"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-033.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-033.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:18 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-034.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-034.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Alt> "string"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-034.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-034.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:18 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-035.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-035.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> "string"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-035.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-035.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:18 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-036.rdf>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-036.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/node1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> "string"} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-036.rdf#_5>. 

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-036.nt in 1 step (100000 steps/sec) using 1 engine (444 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.2.2 on 10 Apr 2005 16:15:19 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(