# Generated with http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:19:48 GMT+01:00 2001
# for query http://www.agfa.com/w3c/euler/danb-query.n3
# given [http://www.agfa.com/w3c/euler/danb.n3]

@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#>.
@prefix web: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

this log:forSome :hp.this log:forSome :mb.this log:forSome :ti.
[ a
  agg:Company; agg:corporateHomepage <http://megacorp.example.com/>; agg:owner
      [ a agg:Person; agg:personalMailbox
          <mailto:mega@megacorp.example.com>]]  .
[ a
  agg:User; agg:personalMailbox <mailto:mega@megacorp.example.com>; agg:technologyInterest
      [ agg:li <http://www.mozilla.org/>; agg:li
          <http://www.w3.org/RDF/>; agg:li <http://www.w3.org/XML/>]]  .
[ a
  agg:Organisation; agg:corporateHomepage <http://megacorp.example.com/>; agg:ethicalPolicy
      <http://dotherightthing.example.org/policy.xhtml>]  .

this log:forSome :hp.this log:forSome :mb.this log:forSome :ti.
[ a
  agg:Company; agg:corporateHomepage <http://gigacorp.example.com/>; agg:owner
      [ a agg:Person; agg:personalMailbox
          <mailto:giga@gigacorp.example.com>]]  .
[ a
  agg:User; agg:personalMailbox <mailto:giga@gigacorp.example.com>; agg:technologyInterest
      [ agg:li <http://www.mozilla.org/>; agg:li
          <http://www.w3.org/RDF/>; agg:li <http://www.w3.org/2001/sw/>]]  .
[ a
  agg:Organisation; agg:corporateHomepage <http://gigacorp.example.com/>; agg:ethicalPolicy
      <http://dotherightthing.example.org/policy.xhtml>]  .

# Proof found for http://www.agfa.com/w3c/euler/danb-query.n3 in 48 steps (7906 steps/sec)