# Generated with http://www.agfa.com/w3c/euler/#R3588 on 29 Sep 2003 22:06:24 GMT
{
 (
 <http://www.agfa.com/w3c/euler/danb.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.agfa.com/w3c/euler/danb-query.n3>.<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 web: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/danb#>.

 {[iw:Variable "_:7947172_2"] = _:2791477_1. 
  [iw:Variable "_:hp_2"] = <http://megacorp.example.com/>. 
  [iw:Variable "_:7947172_2"] agg:corporateHomepage [iw:Variable "_:hp_2"]} =>
{_:2791477_1 agg:corporateHomepage <http://megacorp.example.com/>}. 
 {[iw:Variable "_:7947172_2"] = _:2791477_1. 
  [iw:Variable "_:4719703_2"] = _:7259666_1. 
  [iw:Variable "_:7947172_2"] agg:owner [iw:Variable "_:4719703_2"]} =>
{_:2791477_1 agg:owner _:7259666_1}. 
 {[iw:Variable "_:4719703_2"] = _:7259666_1. 
  [iw:Variable "_:mb_2"] = <mailto:mega@megacorp.example.com>. 
  [iw:Variable "_:4719703_2"] agg:personalMailbox [iw:Variable "_:mb_2"]} =>
{_:7259666_1 agg:personalMailbox <mailto:mega@megacorp.example.com>}. 
 {[iw:Variable "_:1375836_2"] = _:905719_1. 
  [iw:Variable "_:mb_2"] = <mailto:mega@megacorp.example.com>. 
  [iw:Variable "_:1375836_2"] agg:personalMailbox [iw:Variable "_:mb_2"]} =>
{_:905719_1 agg:personalMailbox <mailto:mega@megacorp.example.com>}. 
 {[iw:Variable "_:1375836_2"] = _:905719_1. 
  [iw:Variable "_:ti_2"] = _:5488661_1. 
  [iw:Variable "_:1375836_2"] agg:technologyInterest [iw:Variable "_:ti_2"]} =>
{_:905719_1 agg:technologyInterest _:5488661_1}. 
 {[iw:Variable "_:4687246_2"] = _:6794265_1. 
  [iw:Variable "_:hp_2"] = <http://megacorp.example.com/>. 
  [iw:Variable "_:4687246_2"] agg:corporateHomepage [iw:Variable "_:hp_2"]} =>
{_:6794265_1 agg:corporateHomepage <http://megacorp.example.com/>}. 
 {[iw:Variable "_:4687246_2"] = _:6794265_1. 
  [iw:Variable "_:4687246_2"] agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>} =>
{_:6794265_1 agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>}. 
 {[iw:Variable "_:7947172_2"] = _:2791477_1. 
  [iw:Variable "_:7947172_2"] a agg:Company} =>
{_:2791477_1 a agg:Company}. 
 {[iw:Variable "_:4719703_2"] = _:7259666_1. 
  [iw:Variable "_:4719703_2"] a agg:Person} =>
{_:7259666_1 a agg:Person}. 
 {[iw:Variable "_:1375836_2"] = _:905719_1. 
  [iw:Variable "_:1375836_2"] a agg:User} =>
{_:905719_1 a agg:User}. 
 {[iw:Variable "_:4687246_2"] = _:6794265_1. 
  [iw:Variable "_:4687246_2"] a agg:Organisation} =>
{_:6794265_1 a agg:Organisation}. 
 {[iw:Variable "_:7947172_2"] = _:5487165_1. 
  [iw:Variable "_:hp_2"] = <http://gigacorp.example.com/>. 
  [iw:Variable "_:7947172_2"] agg:corporateHomepage [iw:Variable "_:hp_2"]} =>
{_:5487165_1 agg:corporateHomepage <http://gigacorp.example.com/>}. 
 {[iw:Variable "_:7947172_2"] = _:5487165_1. 
  [iw:Variable "_:4719703_2"] = _:6818393_1. 
  [iw:Variable "_:7947172_2"] agg:owner [iw:Variable "_:4719703_2"]} =>
{_:5487165_1 agg:owner _:6818393_1}. 
 {[iw:Variable "_:4719703_2"] = _:6818393_1. 
  [iw:Variable "_:mb_2"] = <mailto:giga@gigacorp.example.com>. 
  [iw:Variable "_:4719703_2"] agg:personalMailbox [iw:Variable "_:mb_2"]} =>
{_:6818393_1 agg:personalMailbox <mailto:giga@gigacorp.example.com>}. 
 {[iw:Variable "_:1375836_2"] = _:8347303_1. 
  [iw:Variable "_:mb_2"] = <mailto:giga@gigacorp.example.com>. 
  [iw:Variable "_:1375836_2"] agg:personalMailbox [iw:Variable "_:mb_2"]} =>
{_:8347303_1 agg:personalMailbox <mailto:giga@gigacorp.example.com>}. 
 {[iw:Variable "_:1375836_2"] = _:8347303_1. 
  [iw:Variable "_:ti_2"] = _:2042379_1. 
  [iw:Variable "_:1375836_2"] agg:technologyInterest [iw:Variable "_:ti_2"]} =>
{_:8347303_1 agg:technologyInterest _:2042379_1}. 
 {[iw:Variable "_:4687246_2"] = _:81836_1. 
  [iw:Variable "_:hp_2"] = <http://gigacorp.example.com/>. 
  [iw:Variable "_:4687246_2"] agg:corporateHomepage [iw:Variable "_:hp_2"]} =>
{_:81836_1 agg:corporateHomepage <http://gigacorp.example.com/>}. 
 {[iw:Variable "_:4687246_2"] = _:81836_1. 
  [iw:Variable "_:4687246_2"] agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>} =>
{_:81836_1 agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>}. 
 {[iw:Variable "_:7947172_2"] = _:5487165_1. 
  [iw:Variable "_:7947172_2"] a agg:Company} =>
{_:5487165_1 a agg:Company}. 
 {[iw:Variable "_:4719703_2"] = _:6818393_1. 
  [iw:Variable "_:4719703_2"] a agg:Person} =>
{_:6818393_1 a agg:Person}. 
 {[iw:Variable "_:1375836_2"] = _:8347303_1. 
  [iw:Variable "_:1375836_2"] a agg:User} =>
{_:8347303_1 a agg:User}. 
 {[iw:Variable "_:4687246_2"] = _:81836_1. 
  [iw:Variable "_:4687246_2"] a agg:Organisation} =>
{_:81836_1 a agg:Organisation}. 
# Proof found for http://www.agfa.com/w3c/euler/danb-query.n3 in 124 steps (12387 steps/sec) using 1 engine
}.