# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:12 GMT
{
 (
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.agfa.com/w3c/euler/etc1.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix e: <http://www.agfa.com/w3c/euler/>.
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:13 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/test001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/test001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/Manifest.rdf#>.
@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". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:13 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test001.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#>.
@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>. 
<http://example.org/foo> <http://example.org/baz> "10"^^<http://www.w3.org/2001/XMLSchema#integer>. 

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

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:13 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#unknownBecause>
{
# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test002.nt in 1 step (100000 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:13 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-literals/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-literals/test001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-literals/test001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#unknownBecause>
{
# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:13 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#unknownBecause>
{
# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:13 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/test002.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://example.org/#Andr%C3%A9> <http://example.org/#owes> "2000". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:13 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:9545_14 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1". 
_:9545_14 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2". 
_:9545_14 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag>. 

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

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:13 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test002.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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/test002.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix foo: <http://foo/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:9793_17 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "_1". 
_:9793_17 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1". 
_:9793_17 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> "_3". 
_:9793_17 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2". 
_:9793_17 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://foo/Bar>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:13 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test003.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test003.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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/test003.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix foo: <http://foo/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:10062_20 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1". 
_:10062_20 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2". 
_:10062_20 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://foo/Bar>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:13 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test004.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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/test004.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix foo: <http://foo/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:b2_23 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1". 
<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> _:b2_23. 
<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>. 
<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". 
_:b2_23 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2"^^<http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral>. 
_:b2_23 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> _:10332_23. 
_:b2_23 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> _:b1_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> _:b2_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#predicate> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4>. 
<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> _:b1_23. 
_:b1_23 <http://foo/bar> "foobar". 
_:b2_23 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://foo/Bar>. 
<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>. 
_:10332_23 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://foo/Bar>. 
<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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:13 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test006.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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/test006.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix foo: <http://foo/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@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". 
<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". 
<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". 
<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". 
<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". 
<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>. 
<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>. 
_:10770_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag>. 

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

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test007.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test007.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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/test007.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix foo: <http://foo/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:11101_29 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> _:11108_29. 
_:11108_29 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1". 
_:11108_29 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2". 
_:11101_29 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> "2". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test008.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/test008.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.rdf#>.
@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". 
<http://desc> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "1-again". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/test001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/test001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:11393_35 <http://example.org/terms#title> "Dogs in Hats". 
_:11393_35 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/terms#Book>. 

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

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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/test0001.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://example.org/resource1/> <http://example.org/property> "bar". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0003.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0003.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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/test0003.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://example.org/resource1/> <http://example.org/property> <http://example.org/resource2/>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0004.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0004.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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/test0004.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@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". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0005.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0005.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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/test0005.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://example.org/resource1/> <http://example.org/property> _:13051_43. 
_:13051_43 <http://example.org/property2> "bar". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0006.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0006.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@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/>. 

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

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0009.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0009.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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/test0009.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://example.org/resource/> <http://example.org/property> "bar". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0010.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0010.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://example.org/resource/> <http://example.org/property> "bar". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0011.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0011.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#unknownBecause>
{
# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0012.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0012.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#unknownBecause>
{
# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0013.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0013.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#unknownBecause>
{
# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0014.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/test0014.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#unknownBecause>
{
# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test1.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test1.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.rdf#>.
@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". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test2.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test2.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#unknownBecause>
{
# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test3.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/test3.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#unknownBecause>
{
# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/test001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/test001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/Manifest.rdf#>.
@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>. 
<http://example.org/foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://example.org/b>. 
<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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test001.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test002.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test002.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test002.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> "". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:14 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test003.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test003.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test003.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test004.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test004.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test004.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> _:17936_78. 

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

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test005.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@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/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>. 
<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>. 
<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> "". 
<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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test006.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> _:b1_82. 
<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>. 
<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>. 
<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_82. 
<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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test007.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test007.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test007.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test008.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test008.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test008.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> "". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test009.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test009.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test009.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test010.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test010.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test010.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> _:20444_90. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test011.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@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/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>. 
<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>. 
<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> "". 
<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>. 

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

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test012.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> _:b1_94. 
<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>. 
<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>. 
<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_94. 
<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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test013.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test013.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test013.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@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>. 
<http://random.ioctl.org/#foo> <http://random.ioctl.org/#prop2> "baz". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test014.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test014.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test014.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> _:22180_98. 
_:22180_98 <http://random.ioctl.org/#prop2> "baz". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test015.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test015.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test015.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://random.ioctl.org/#bar> <http://random.ioctl.org/#someProperty> _:22578_100. 
_:22578_100 <http://random.ioctl.org/#prop2> "baz". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test016.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test016.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test016.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test017.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test017.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix random: <http://random.ioctl.org/#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/test017.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test001.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:23475_106 <http://example.org/property> "property value". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test002.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test002.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test002.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:23590_108 <http://example.org/property> "property value". 
_:23590_108 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/node>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test003.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test003.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test003.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:23727_110 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test004.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test004.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test004.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:23857_112 <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> "some value". 
_:23857_112 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Alt>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test005.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test005.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/test005.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:23997_115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test001.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:b1_117 <http://example.org/prop2> "val". 
_:24136_117 <http://example.org/prop1> _:b1_117. 
<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> _:24136_117. 
<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>. 
<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_117. 
<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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test002.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test002.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#unknownBecause>
{
# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test002.nt in 1 step (100000 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test004.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

_:24427_121 <http://example.org/prop1> <http://example.org/object>. 
<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> _:24427_121. 
<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>. 
<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>. 
<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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/test005.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix eg: <http://example.org/>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://example.org/object> <http://example.org/prop2> "val". 
_:24590_123 <http://example.org/prop1> <http://example.org/object>. 
<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> _:24590_123. 
<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>. 
<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>. 
<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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:15 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/test001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/test001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns0: <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/test001.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix c: <http://www.w3.org/TR/REC-rdf-syntax#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://example.org/> <http://www.w3.org/TR/REC-rdf-syntaxfoo> "permitted". 
<http://example.org/> <http://www.w3.org/TR/REC-rdf-syntax-blah-blahbar> "also permitted". 
<http://example.org/> <http://www.w3.org/TR/REC-rdf-syntax#baz> "this one also permitted". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:16 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#unknownBecause>
{
# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:16 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-002.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-002.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:16 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-003.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-003.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:16 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-004.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-004.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

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

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:16 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-005.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-005.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:16 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-006.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-006.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:16 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-007.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-007.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:16 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-008.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-008.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:17 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-009.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-009.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:17 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-010.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-010.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:17 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-011.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-011.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:17 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-012.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-012.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:17 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-013.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-013.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:17 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-014.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-014.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:17 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-015.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-015.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:17 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-016.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-016.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:17 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-017.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-017.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:17 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-018.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-018.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:18 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-019.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-019.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:18 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-020.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-020.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:18 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-021.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-021.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:18 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-022.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-022.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:18 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-023.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-023.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:18 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-024.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-024.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:18 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-025.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-025.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:18 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-026.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-026.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:18 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-027.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-027.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:19 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-028.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-028.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://example.org/node1> rdf:first <http://example.org/node2>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:19 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-029.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-029.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://example.org/node1> rdf:rest <http://example.org/node2>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:19 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-030.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-030.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:19 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-031.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-031.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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>. 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:19 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-032.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-032.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:19 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-033.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-033.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:19 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-034.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-034.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:19 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-035.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-035.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:19 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-036.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-036.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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". 

# 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
}.

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:19 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-037.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/test-037.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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-037.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf#>.
@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> "string". 

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

# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:03:20 GMT
{
 (
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/warn-001.rdf>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/warn-001.nt>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@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/warn-001.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.