# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:41 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

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


# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:41 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

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

{{<mailto:jos.deroo@agfa.com> :member <http://www.agfa.com>} e:evidence <http://www.agfa.com/w3c/euler/authen.axiom.n3#_8>. 
 {<http://www.agfa.com> :w3cmember <http://www.w3.org>} e:evidence <http://www.agfa.com/w3c/euler/authen.axiom.n3#_9>. 
 {<http://www.agfa.com> :subscribed <mailto:w3c-ac-forum@w3.org/>} e:evidence <http://www.agfa.com/w3c/euler/authen.axiom.n3#_10>} e:sequent {
{<mailto:jos.deroo@agfa.com> :authenticated <mailto:w3c-ac-forum@w3.org/>} e:evidence <http://www.agfa.com/w3c/euler/authen.axiom.n3#_16>}. 

# Proof found in 3 steps (300000 steps/sec) using 1 engine (4 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:42 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/graph.axiom.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
 {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
  {:angers :oneway :nantes} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_20>} e:sequent {
 {:angers :route :nantes} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
 {{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
  {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
   {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
    {:lemans :twoway :angers} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_18>} e:sequent {
   {:lemans :oneway :angers} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
  {:lemans :route :angers} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
  {{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
   {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
    {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
     {:chartres :twoway :lemans} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_17>} e:sequent {
    {:chartres :oneway :lemans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
   {:chartres :route :lemans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
   {{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
    {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
     {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
      {:parijs :twoway :chartres} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_12>} e:sequent {
     {:parijs :oneway :chartres} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
    {:parijs :route :chartres} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
    {{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
     {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
      {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
       {{:twoway rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
        {:parijs :twoway :orleans} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_11>} e:sequent {
       {:orleans :twoway :parijs} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
      {:orleans :oneway :parijs} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
     {:orleans :route :parijs} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
     {{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
      {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
       {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
        {{:twoway rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
         {:orleans :twoway :blois} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_14>} e:sequent {
        {:blois :twoway :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
       {:blois :oneway :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
      {:blois :route :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
      {{:route rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_24>. 
       {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
        {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
         {:orleans :twoway :blois} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_14>} e:sequent {
        {:orleans :oneway :blois} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
       {:orleans :route :blois} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
       {{:oneway rdfs:subPropertyOf :route} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_22>. 
        {{:twoway rdfs:subPropertyOf :oneway} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
         {{:twoway rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_23>. 
          {:orleans :twoway :bourges} e:evidence <http://www.agfa.com/w3c/euler/graph.axiom.n3#_15>} e:sequent {
         {:bourges :twoway :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
        {:bourges :oneway :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
       {:bourges :route :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
      {:bourges :route :blois} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
     {:bourges :route :orleans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
    {:bourges :route :parijs} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
   {:bourges :route :chartres} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
  {:bourges :route :lemans} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
 {:bourges :route :angers} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
{:bourges :route :nantes} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}. 

# Proof found in 1127 steps (18780 steps/sec) using 1 engine (306 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:42 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/gedcom-relations.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/gedcom-facts.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix : <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{{:Jos gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_10>. 
  {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} e:sequent {
 {:Jos gc:parent :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
 {:Maria gc:sex gc:Female} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} e:sequent {
{:Jos gc:mother :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_23>}. 
{{{:Rita gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_11>. 
  {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} e:sequent {
 {:Rita gc:parent :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
 {:Rita gc:sex gc:Female} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_11>} e:sequent {
{:Maria gc:daughter :Rita} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_25>}. 
{{{:Bart gc:childIn :gd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_31>. 
  {:Rita gc:spouseIn :gd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_29>} e:sequent {
 {:Bart gc:parent :Rita} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
 {:Bart gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_31>} e:sequent {
{:Rita gc:son :Bart} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_24>}. 
{{{:Bart gc:childIn :gd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_31>. 
  {:Rita gc:spouseIn :gd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_29>} e:sequent {
 {:Bart gc:parent :Rita} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
 {{{:Rita gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_11>. 
   {:Jos gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_10>. 
   {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_33>. 
    {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_33>. 
     {
      {:Rita log:notEqualTo :Jos} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
      {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_17>. 
      {{(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {{(:Rita :Geert :Caroline :Dirk :Greta) rdf:first :Rita} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
       {(:Rita :Geert :Caroline :Dirk :Greta) p0:item :Rita} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
      {(:Jos :Rita :Geert :Caroline :Dirk :Greta) p0:item :Rita} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}. 
      {{(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:first :Jos} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
      {(:Jos :Rita :Geert :Caroline :Dirk :Greta) p0:item :Jos} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
     {:Rita owl:differentFrom :Jos} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_73>}} e:sequent {
    {:Jos owl:differentFrom :Rita} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
   {:Rita owl:differentFrom :Jos} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
  {:Rita gc:sibling :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_33>}. 
  {:Jos gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_10>} e:sequent {
 {:Rita gc:brother :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_34>}} e:sequent {
{:Bart gc:uncle :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_41>}. 

# Proof found in 1804 steps (90154 steps/sec) using 1 engine (408 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:42 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/danc.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/danc#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:e28423_6_ :includes _:e28431_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_7>. 

{_:e28455_6_ :includes _:e28463_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_10>. 

{_:e28475_6_ :includes _:e28483_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_11>. 

{_:e28503_6_ :includes _:e28511_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_12>. 

{_:e28523_6_ :includes _:e28531_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_13>. 

{_:e28551_6_ :includes _:e28559_6_} e:evidence <http://www.agfa.com/w3c/euler/danc.n3#_14>. 

# Proof found in 6 steps (600000 steps/sec) using 1 engine (61 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:42 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

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

{:rec010 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec010 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec010 :city "Tel Aviv"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec010 :film "Pokemon 2"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 
{:rec010 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_14>. 

{:rec011 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec011 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec011 :city "Tel Aviv"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec011 :film "Billy Elliot"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 
{:rec011 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_15>. 

{:rec012 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec012 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec012 :city "Tel Aviv"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec012 :film "The Mummy"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 
{:rec012 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_16>. 

{:rec017 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec017 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec017 :city "Jerusalem"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec017 :film "A Hard Day's Night"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 
{:rec017 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_21>. 

{:rec018 :year 2001} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 
{:rec018 :month "May"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 
{:rec018 :city "Jerusalem"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 
{:rec018 :film "15 Minutes"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 
{:rec018 :cinema "Globus"} e:evidence <http://www.agfa.com/w3c/euler/ziv.n3#_22>. 

# Proof found in 828 steps (82800000 steps/sec) using 1 engine (108 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:42 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/danb.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix 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 rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:e29730_8_ a agg:Company} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_6>. 
{_:e29730_8_ agg:corporateHomepage <http://megacorp.example.com/>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_7>. 
{_:e29730_8_ agg:owner _:e29750_8_} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_9>. 
{_:e29750_8_ a agg:Person} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_10>. 
{_:e29750_8_ agg:personalMailbox <mailto:mega@megacorp.example.com>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_12>. 
{_:e29774_8_ a agg:User} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_17>. 
{_:e29774_8_ agg:personalMailbox <mailto:mega@megacorp.example.com>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_18>. 
{_:e29774_8_ agg:technologyInterest _:e29786_8_} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_19>. 
{_:e29801_8_ a agg:Organisation} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_23>. 
{_:e29801_8_ agg:corporateHomepage <http://megacorp.example.com/>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_24>. 
{_:e29801_8_ agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_25>. 

{_:e29829_8_ a agg:Company} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_28>. 
{_:e29829_8_ agg:corporateHomepage <http://gigacorp.example.com/>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_29>. 
{_:e29829_8_ agg:owner _:e29849_8_} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_31>. 
{_:e29849_8_ a agg:Person} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_32>. 
{_:e29849_8_ agg:personalMailbox <mailto:giga@gigacorp.example.com>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_34>. 
{_:e29873_8_ a agg:User} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_39>. 
{_:e29873_8_ agg:personalMailbox <mailto:giga@gigacorp.example.com>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_40>. 
{_:e29873_8_ agg:technologyInterest _:e29885_8_} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_41>. 
{_:e29900_8_ a agg:Organisation} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_45>. 
{_:e29900_8_ agg:corporateHomepage <http://gigacorp.example.com/>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_46>. 
{_:e29900_8_ agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_47>. 

# Proof found in 123 steps (12300000 steps/sec) using 1 engine (40 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:43 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/test.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{foo:a foo:b foo:c} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:d foo:e} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:f foo:g {foo:h foo:i foo:j}} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:b foo:c} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:d {foo:e foo:f foo:g}} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_14>. 
{foo:a foo:b foo:c} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:b foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_15>. 
{foo:a foo:b foo:e} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_15>. 
{_:e30148_9_ foo:c foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_16>. 
{_:e30148_9_ foo:a foo:b} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_16>. 
{foo:a foo:b _:e30155_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_17>. 
{_:e30155_9_ foo:c foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_17>. 
{_:e30178_9_ foo:g foo:h} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_20>. 
{_:e30178_9_ foo:a foo:b} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_20>. 
{_:e30178_9_ foo:c foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_20>. 
{_:e30178_9_ foo:e foo:f} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_20>. 
{_:e30193_9_ foo:g foo:h} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e30193_9_ foo:a _:e30200_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e30200_9_ foo:b foo:c} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e30193_9_ foo:d _:e30203_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e30203_9_ foo:e foo:f} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_21>. 
{_:e30212_9_ foo:e foo:f} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_22>. 
{_:e30212_9_ foo:a _:e30217_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_22>. 
{_:e30217_9_ foo:b _:e30221_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_22>. 
{_:e30221_9_ foo:c foo:d} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_22>. 
{_:e30148_9_ foo:a foo:b} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_16>. 
{_:e30242_9_ foo:c _:e30245_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_26>. 
{_:e30245_9_ foo:d foo:e} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_26>. 
{_:e30242_9_ foo:a foo:b} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_26>. 
{foo:c foo:b foo:a} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_28>. 
{foo:c foo:b foo:a} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_28>. 
{foo:a foo:d foo:e} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_13>. 
{foo:a foo:b "c"} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_32>. 
{foo:a foo:b "ok"@fr} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_33>. 
{foo:a foo:b """c d"""} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_34>. 
{foo:a foo:c "10"^^<http://www.w3.org/2001/XMLSchema#int>} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_36>. 
{foo:a foo:c "bleu"@fr^^<http://example.org/mycolourspace>} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_37>. 
{foo:a foo:c "blue"@en-US^^<http://example.org/mycolourspace>} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_38>. 
{foo:a foo:c "10"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_36>. 
{foo:a foo:c "bleu"@fr^^foo:mycolourspace} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_40>. 
{foo:a foo:x "blue"@en-US^^_:x_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_41>. 
{foo:jos foo:spouse _:e30307_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e30307_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e30307_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e30307_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e30307_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e30307_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e30307_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e30307_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e30307_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e30307_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e30307_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e30307_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e30307_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e30307_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e30307_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e30307_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e30307_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e30307_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e30307_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e30307_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e30307_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e30307_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:jos foo:spouse _:e30307_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{_:e30307_9_ foo:firstName foo:mary} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_43>. 
{foo:x foo:p _:e30375_9_} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_46>. 
{_:e30375_9_ foo:q foo:z} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_46>. 
{foo:foo foo:prop "<"^^rdf:XMLLiteral} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_48>. 
{foo:bar foo:prop2 "0.5"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_49>. 
{foo:a foo:b1 "-129"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_51>. 
{foo:a foo:b2 "-128"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_51>. 
{foo:a foo:b3 "127"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_51>. 
{foo:a foo:b4 "128"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_51>. 
{foo:a foo:i1 "-2147483649"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_52>. 
{foo:a foo:i2 "-2147483648"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_52>. 
{foo:a foo:i3 "2147483647"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_52>. 
{foo:a foo:i4 "2147483648"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_52>. 
{foo:a foo:l1 "-9223372036854775809"^^xsd:long} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_53>. 
{foo:a foo:l2 "-9223372036854775808"^^xsd:long} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_53>. 
{foo:a foo:l3 "9223372036854775807"^^xsd:long} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_53>. 
{foo:a foo:l4 "9223372036854775808"^^xsd:long} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_53>. 
{foo:a foo:s1 "-32769"^^xsd:short} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_54>. 
{foo:a foo:s2 "-32768"^^xsd:short} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_54>. 
{foo:a foo:s3 "32767"^^xsd:short} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_54>. 
{foo:a foo:s4 "32768"^^xsd:short} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_54>. 
{foo:a foo:ub1 "-1"^^xsd:unsignedByte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_55>. 
{foo:a foo:ub2 "0"^^xsd:unsignedByte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_55>. 
{foo:a foo:ub3 "255"^^xsd:unsignedByte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_55>. 
{foo:a foo:ub4 "256"^^xsd:unsignedByte} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_55>. 
{foo:a foo:ui1 "-1"^^xsd:unsignedInt} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_56>. 
{foo:a foo:ui2 "0"^^xsd:unsignedInt} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_56>. 
{foo:a foo:ui3 "4294967295"^^xsd:unsignedInt} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_56>. 
{foo:a foo:ui4 "4294967296"^^xsd:unsignedInt} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_56>. 
{foo:a foo:ul1 "-1"^^xsd:unsignedLong} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_57>. 
{foo:a foo:ul2 "0"^^xsd:unsignedLong} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_57>. 
{foo:a foo:ul3 "18446744073709551615"^^xsd:unsignedLong} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_57>. 
{foo:a foo:ul4 "18446744073709551616"^^xsd:unsignedLong} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_57>. 
{foo:a foo:us1 "-1"^^xsd:unsignedShort} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_58>. 
{foo:a foo:us2 "0"^^xsd:unsignedShort} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_58>. 
{foo:a foo:us3 "65535"^^xsd:unsignedShort} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_58>. 
{foo:a foo:us4 "65536"^^xsd:unsignedShort} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_58>. 
{foo:a foo:ni1 "0"^^xsd:negativeInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_60>. 
{foo:a foo:ni2 "-1"^^xsd:negativeInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_60>. 
{foo:a foo:nni1 "0"^^xsd:nonNegativeInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_61>. 
{foo:a foo:nni2 "-1"^^xsd:nonNegativeInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_61>. 
{foo:a foo:npi1 "1"^^xsd:nonPositiveInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_62>. 
{foo:a foo:npi2 "0"^^xsd:nonPositiveInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_62>. 
{foo:a foo:pi1 "1"^^xsd:positiveInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_63>. 
{foo:a foo:pi2 "0"^^xsd:positiveInteger} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_63>. 
{"0.3"^^xsd:float a xsd:integer} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_65>. 
{foo:a foo:b "ok"@fr} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_33>. 
{foo:c foo:d "100"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_68>. 
{foo:e foo:f "bleu"@fr^^foo:colour} e:evidence <http://www.agfa.com/w3c/euler/test.n3#_69>. 

# Proof found in 1230 steps (17568 steps/sec) using 1 engine (395 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:43 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/animal.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_8>. 
{<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.daml.org/2000/12/daml+oil#restrictedBy> _:e43247_10_} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_9>. 
{_:e43247_10_ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_10>. 
{_:e43247_10_ <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_11>. 
{_:e43247_10_ <http://www.daml.org/2000/12/daml+oil#cardinality> "2"} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_12>. 
{<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/2000/01/rdf-schema#label> "Animal"} e:evidence <http://www.agfa.com/w3c/euler/animal.n3#_13>. 

# Proof found in 7 steps (700000 steps/sec) using 1 engine (6 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:43 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/subprop.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/subprop#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{:husband rdfs:subPropertyOf :spouse} e:evidence <http://www.agfa.com/w3c/euler/subprop.n3#_8>. 
 {{:firstHusband rdfs:subPropertyOf :husband} e:evidence <http://www.agfa.com/w3c/euler/subprop.n3#_7>. 
  {:Mary :firstHusband :Dan} e:evidence <http://www.agfa.com/w3c/euler/subprop.n3#_10>} e:sequent {
 {:Mary :husband :Dan} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
{:Mary :spouse :Dan} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 

# Proof found in 4 steps (400000 steps/sec) using 1 engine (60 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:43 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/subclass.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/subclass#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{:B rdfs:subClassOf :A} e:evidence <http://www.agfa.com/w3c/euler/subclass.n3#_8>. 
 {:i a :B} e:evidence <http://www.agfa.com/w3c/euler/subclass.n3#_10>} e:sequent {
{:i a :A} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_59>}. 

# Proof found in 44 steps (4400000 steps/sec) using 1 engine (60 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:43 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/rdfs-facts.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:Alt rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_15>} e:sequent {
{rdf:Alt a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:Alt a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:Alt rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_15>} e:sequent {
{rdf:Alt a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{rdf:Alt rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:Bag rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_16>} e:sequent {
{rdf:Bag a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:Bag a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:Bag rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_16>} e:sequent {
{rdf:Bag a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{rdf:Bag rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>} e:sequent {
  {rdfs:Class a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {rdfs:Class rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{rdfs:Class a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdfs:Class a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>} e:sequent {
  {rdfs:Class a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
{rdfs:Class rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_17>} e:sequent {
{rdfs:ContainerMembershipProperty a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdfs:ContainerMembershipProperty a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_17>} e:sequent {
{rdfs:ContainerMembershipProperty a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{rdfs:ContainerMembershipProperty rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdfs:Datatype rdfs:subClassOf rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_18>} e:sequent {
{rdfs:Datatype a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdfs:Datatype a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdfs:Datatype rdfs:subClassOf rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_18>} e:sequent {
{rdfs:Datatype a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{rdfs:Datatype rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:range rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_30>. 
   {rdfs:comment rdfs:range rdfs:Literal} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_22>} e:sequent {
  {rdfs:Literal a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {rdfs:Literal rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{rdfs:Literal a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdfs:Literal a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:range rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_30>. 
   {rdfs:comment rdfs:range rdfs:Literal} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_22>} e:sequent {
  {rdfs:Literal a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
{rdfs:Literal rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdf:first rdfs:domain rdf:List} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_24>} e:sequent {
  {rdf:List a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {rdf:List rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{rdf:List a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:List a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdf:first rdfs:domain rdf:List} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_24>} e:sequent {
  {rdf:List a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
{rdf:List rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>} e:sequent {
  {rdf:Property a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {rdf:Property rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{rdf:Property a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:Property a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>} e:sequent {
  {rdf:Property a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
{rdf:Property rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdfs:comment rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_22>} e:sequent {
  {rdfs:Resource a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {rdfs:Resource rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{rdfs:Resource a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdfs:Resource a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{rdfs:Resource rdfs:subClassOf rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:Seq rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_19>} e:sequent {
{rdf:Seq a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:Seq a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:Seq rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_19>} e:sequent {
{rdf:Seq a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{rdf:Seq rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdf:object rdfs:domain rdf:Statement} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_28>} e:sequent {
  {rdf:Statement a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {rdf:Statement rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{rdf:Statement a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:Statement a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdf:object rdfs:domain rdf:Statement} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_28>} e:sequent {
  {rdf:Statement a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
{rdf:Statement rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:XMLLiteral rdfs:subClassOf rdfs:Literal} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_20>} e:sequent {
{rdf:XMLLiteral a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:XMLLiteral a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:XMLLiteral rdfs:subClassOf rdfs:Literal} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_20>} e:sequent {
{rdf:XMLLiteral a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{rdf:XMLLiteral rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdfs:comment rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_22>} e:sequent {
{rdfs:comment a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:comment rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_22>} e:sequent {
{rdfs:domain a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_44>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdf:first rdfs:domain rdf:List} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_24>} e:sequent {
{rdf:first a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdfs:isDefinedBy rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_25>} e:sequent {
{rdfs:isDefinedBy a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdfs:label rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_26>} e:sequent {
{rdfs:label a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdfs:member rdfs:domain rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_27>} e:sequent {
{rdfs:member a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdf:object rdfs:domain rdf:Statement} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_28>} e:sequent {
{rdf:object a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdf:predicate rdfs:domain rdf:Statement} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_29>} e:sequent {
{rdf:predicate a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:comment rdfs:range rdfs:Literal} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_22>} e:sequent {
{rdfs:range a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_44>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdf:rest rdfs:domain rdf:List} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_31>} e:sequent {
{rdf:rest a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdfs:seeAlso rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_32>} e:sequent {
{rdfs:seeAlso a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdf:Alt rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_15>} e:sequent {
{rdfs:subClassOf a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_44>}. 
{{rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_25>} e:sequent {
{rdfs:subPropertyOf a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_44>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdf:subject rdfs:domain rdf:Statement} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_35>} e:sequent {
{rdf:subject a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdf:XMLLiteral rdf:type rdfs:Datatype} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_20>} e:sequent {
{rdf:type a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_44>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdf:value rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_37>} e:sequent {
{rdf:value a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 

# Proof found in 1179 steps (7368 steps/sec) using 1 engine (57 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:43 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/owl-facts.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/owl-facts#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{:j owl:sameAs :i} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{:o owl:sameAs :m} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{:H owl:oneOf (:s :m :t)} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_17>. 
 {{(:s :m :t) rdf:rest (:m :t)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {{(:m :t) rdf:first :m} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
  {(:m :t) p0:item :m} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
 {(:s :m :t) p0:item :m} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}} e:sequent {
{:m a :H} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_143>}. 
{{:y owl:intersectionOf (:b :c)} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_20>. 
 {:x owl:intersectionOf (:a :b :c)} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_19>. 
 {{(:b :c) rdf:first :b} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {{(:a :b :c) rdf:rest (:b :c)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {{(:b :c) rdf:first :b} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
   {(:b :c) p0:item :b} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
  {(:a :b :c) p0:item :b} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}. 
  {:b owl:equivalentClass :b} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {(:b :c) rdf:rest (:c)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {{(:c) rdf:first :c} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {{(:a :b :c) rdf:rest (:b :c)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
    {{(:b :c) rdf:rest (:c)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
     {{(:c) rdf:first :c} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
     {(:c) p0:item :c} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
    {(:b :c) p0:item :c} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}} e:sequent {
   {(:a :b :c) p0:item :c} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}. 
   {:c owl:equivalentClass :c} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {(:c) rdf:rest ()} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {(:a :b :c) p0:includes ()} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_234>} e:sequent {
  {(:a :b :c) p0:includes (:c)} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_235>}} e:sequent {
 {(:a :b :c) p0:includes (:b :c)} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_235>}} e:sequent {
{:x rdfs:subClassOf :y} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_123>}. 
{{:y owl:intersectionOf (:b :c)} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_20>. 
 {{(:b :c) rdf:first :b} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {{{:x owl:intersectionOf (:a :b :c)} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_19>. 
    {{(:a :b :c) rdf:rest (:b :c)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {{(:b :c) rdf:first :b} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
   {(:b :c) p0:item :b} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
  {(:a :b :c) p0:item :b} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}} e:sequent {
   {:x rdfs:subClassOf :b} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_122>}. 
   {:J a :x} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_22>} e:sequent {
  {:J a :b} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_59>}. 
  {(:b :c) rdf:rest (:c)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {{(:c) rdf:first :c} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {{{:x owl:intersectionOf (:a :b :c)} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_19>. 
     {{(:a :b :c) rdf:rest (:b :c)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {{(:b :c) rdf:rest (:c)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
    {{(:c) rdf:first :c} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
    {(:c) p0:item :c} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
   {(:b :c) p0:item :c} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}} e:sequent {
  {(:a :b :c) p0:item :c} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}} e:sequent {
    {:x rdfs:subClassOf :c} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_122>}. 
    {:J a :x} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_22>} e:sequent {
   {:J a :c} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_59>}. 
   {(:c) rdf:rest ()} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {:J p0:inAllOf ()} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_237>} e:sequent {
  {:J p0:inAllOf (:c)} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_238>}} e:sequent {
 {:J p0:inAllOf (:b :c)} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_238>}} e:sequent {
{:J a :y} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_144>}. 
{{:test43 rdfs:subClassOf :test46} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
 {{:test34 rdfs:subClassOf :test43} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {:test3x a :test34} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_26>} e:sequent {
 {:test3x a :test43} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_59>}} e:sequent {
{:test3x a :test46} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_59>}. 
{{{:test43 rdfs:subClassOf :test34} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {:test46 rdfs:subClassOf :test43} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
 {:test46 rdfs:subClassOf :test34} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_61>}. 
 {{:test43 rdfs:subClassOf :test46} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {:test34 rdfs:subClassOf :test43} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
 {:test34 rdfs:subClassOf :test46} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_61>}} e:sequent {
{:test46 owl:equivalentClass :test34} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_119>}. 
{{:R2 owl:onProperty :p2} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_28>. 
 {:R2 owl:hasValue :y2} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_29>. 
 {:x2 a :R2} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_30>} e:sequent {
{:x2 :p2 :y2} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_65>}. 
{{:Automobile rdfs:subClassOf :Car} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_33>. 
 {:Car rdfs:subClassOf :Automobile} e:evidence <http://www.agfa.com/w3c/euler/owl-facts.n3#_32>} e:sequent {
{:Automobile owl:equivalentClass :Car} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_119>}. 

# Proof found in 8379 steps (167546 steps/sec) using 1 engine (312 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:43 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/inconsistent.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/builtins#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.


{("a" "b" "c") str:concatenation "abc"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{("a" "b" "c") str:concatenation "abc"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"xyz" str:equalIgnoringCase "XYZ"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"xyz" str:notEqualIgnoringCase "ABC"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"xyz" str:greaterThan "abc"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abc" str:notGreaterThan "xyz"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abc" str:lessThan "xyz"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"xyz" str:notLessThan "abc"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"xyz" str:notLessThan "xyz"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abc" str:startsWith "ab"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abc" str:endsWith "bc"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abc" str:endsWith "abc"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abcXYZ" str:contains "cX"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abcXYZ" str:containsIgnoringCase "Cx"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"abracadabra" str:matches "(a|b|r|c|d)+"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{"" str:notMatches ".*hello"} e:evidence <http://www.w3.org/2000/10/swap/string#kb>. 
{(1.2 2.3 3.5) math:sum 7.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(7.0 1) math:difference 6.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(1 2 3) math:product 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(6 3) math:quotient 2.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(7 3) math:quotient 2.3333333333333335} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(7 3) math:integerQuotient 2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(6.0 2.0) math:remainder 0.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(7 3) math:remainder 1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{-5 math:negation 5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{-5.1 math:absoluteValue 5.1} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{-5.7 math:rounded -6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(2 10) math:exponentiation 1024} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{(1 2) math:atan2 0.4636476090008061} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2 math:cos -0.4161468365471424} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{1.0471975511966 math:cos 0.499999999999998} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2 math:degrees 114.59155902616465} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2 math:sin 0.9092974268256817} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{0.5235987755982989 math:sin 0.5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2 math:tan -2.185039863261519} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{0.4636476090008061 math:tan 0.5} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{("a" ("b" "c") "d") math:memberCount 3} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{6 math:greaterThan 2.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2.0 math:notGreaterThan 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2.0 math:lessThan 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{6 math:notLessThan 2.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{6 math:equalTo 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{2.0 math:notEqualTo 6} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{:x log:equalTo :x} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{:x log:notEqualTo :y} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{{:a :b :c. :d :e :f. :g :h :i} log:includes {:d :e :f}} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{{:a :b :c. :d :e :f. :g :h :i} log:notIncludes {:d :x :f}} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{("2005-03-30T11:00:00" :tz) log:dtlit "2005-03-30T11:00:00"^^:tz} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
{:q log:uri "http://www.agfa.com/w3c/euler/builtins#q"} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 

# Proof found in 51 steps (1699 steps/sec) using 3 engines (0 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:43 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

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


# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:43 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt>!log:semantics
 <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{<http://example.org/bar> rdfs:domain <http://example.org/Domain1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt#_14>. 
 {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt#_13>} e:sequent {
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{<http://example.org/bar> rdfs:domain <http://example.org/Domain2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt#_15>. 
 {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt#_13>} e:sequent {
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{<http://example.org/bar> rdfs:range <http://example.org/Range1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt#_14>. 
 {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt#_13>} e:sequent {
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}. 
{{<http://example.org/bar> rdfs:range <http://example.org/Range2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt#_15>. 
 {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt#_13>} e:sequent {
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}. 
{{rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {<http://example.org/bar> rdfs:domain <http://example.org/Domain1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt#_14>} e:sequent {
  {<http://example.org/Domain1> a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {<http://example.org/Domain1> rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{<http://example.org/Domain1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {<http://example.org/bar> rdfs:domain <http://example.org/Domain2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt#_15>} e:sequent {
  {<http://example.org/Domain2> a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {<http://example.org/Domain2> rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{<http://example.org/Domain2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:range rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_30>. 
   {<http://example.org/bar> rdfs:range <http://example.org/Range1>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt#_14>} e:sequent {
  {<http://example.org/Range1> a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {<http://example.org/Range1> rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{<http://example.org/Range1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:range rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_30>. 
   {<http://example.org/bar> rdfs:range <http://example.org/Range2>} e:evidence <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt#_15>} e:sequent {
  {<http://example.org/Range2> a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {<http://example.org/Range2> rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{<http://example.org/Range2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 

# Proof found in 292 steps (29170 steps/sec) using 1 engine (64 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:44 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>!log:semantics
 <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_20>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_21>. 
{{<http://example.org/foo#ancestor> rdfs:subPropertyOf <http://example.org/foo#ancestor-or-uncle>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_22>. 
 {{<http://example.org/foo#ancestor> rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_20>. 
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>} e:sequent {
 {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_22>. 
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
{{<http://example.org/foo#ancestor> rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_20>. 
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>} e:sequent {
 {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}. 
{<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_27>. 
{<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_28>. 

# Proof found in 97 steps (9700000 steps/sec) using 1 engine (299 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:44 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>!log:semantics
 <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/foo#ancestor> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2001/10/daml+oil#TransitiveProperty>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_20>. 
{<http://example.org/foo#parent> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/foo#ancestor>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_21>. 
{<http://example.org/foo#ancestor> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/foo#ancestor-or-uncle>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_22>. 
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_20>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_21>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_22>. 
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
{<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_27>. 
{<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_28>. 

# Proof found in 16 steps (1600000 steps/sec) using 1 engine (299 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:44 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>!log:semantics
 <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_20>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_21>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_22>. 
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>. 
{<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
{<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_27>. 
{<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_28>. 

# Proof found in 12 steps (1200000 steps/sec) using 1 engine (299 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:44 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>!log:semantics
 <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{<http://example.org/foo#ancestor> rdfs:subPropertyOf <http://example.org/foo#ancestor-or-uncle>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_22>. 
 {{<http://example.org/foo#ancestor> rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_20>. 
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>} e:sequent {
 {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}} e:sequent {
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
{{<http://example.org/foo#ancestor> rdf:type owl:TransitiveProperty} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt#_20>. 
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_25>. 
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>} e:evidence <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt#_24>} e:sequent {
 {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_63>}. 

# Proof found in 85 steps (8491 steps/sec) using 1 engine (299 triples)
}.


# Proof found in 507 steps (1236 steps/sec) using 6 engines (0 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:44 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules.n3>!log:semantics
 <http://www.cs.rpi.edu/~puninj/RGML/N3/simplegraph.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix p0: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix p1: <http://eulersharp.sourceforge.net/2004/04test/simplegraph_query#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{p0:n1 a rgml:Node} e:evidence <http://www.cs.rpi.edu/~puninj/RGML/N3/simplegraph.n3#_15>. 
{{p0:e1 rgml:source p0:n1} e:evidence <http://www.cs.rpi.edu/~puninj/RGML/N3/simplegraph.n3#_20>. 
 {p0:e1 rgml:target p0:n2} e:evidence <http://www.cs.rpi.edu/~puninj/RGML/N3/simplegraph.n3#_21>} e:sequent {
{p0:n1 :adjacent p0:n2} e:evidence <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules.n3#_21>}. 

# Proof found in 14 steps (699 steps/sec) using 1 engine (48 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:45 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.w3.org/2001/08swws67/poolGame-kb.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix : <http://www.w3.org/2001/08swws67/poolGame-kb#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.

{<http://www.w3.org/2001/08swws67/poolGame.n3#EricDanBayArea> <http://www.w3.org/2001/08swws67/poolGame.n3#__hasPlans> <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>} e:evidence <http://www.w3.org/2001/08swws67/poolGame-kb.n3#_503>. 

# Proof found in 1 step (100000 steps/sec) using 1 engine (916 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:45 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix c: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix : <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.

{:DanC cn:acquaintedWith :DanBri} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_46>. 
{_:www2002_25_ cn:socialParticipants :DanBri} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_50>. 
{_:www2002_25_ cn:inRegion _:e802935_25_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_54>. 
{{cn:temporalBoundsIntersect owl:inverseOf cn:temporalBoundsIntersect} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_135>. 
 {{cn:temporallyIntersects rdfs:subPropertyOf cn:temporalBoundsIntersect} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_139>. 
  {{{{cn:startingDate rdfs:subPropertyOf cn:startsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_142>. 
     {_:webConf_25_ cn:startingDate _:e802890_25_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_40>} e:sequent {
    {_:webConf_25_ cn:startsDuring _:e802890_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
    {{cn:endingDate rdfs:subPropertyOf cn:endsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_145>. 
     {_:webConf_25_ cn:endingDate _:e802893_25_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_41>} e:sequent {
    {_:webConf_25_ cn:endsDuring _:e802893_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
   {_:webConf_25_ cn:temporallySubsumes (_:e802890_25_ _:e802893_25_)} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_178>}. 
   {{{cn:startingDate rdfs:subPropertyOf cn:startsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_142>. 
     {_:www2002_25_ cn:startingDate _:e802890_25_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_40>} e:sequent {
    {_:www2002_25_ cn:startsDuring _:e802890_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
    {{cn:endingDate rdfs:subPropertyOf cn:endsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_145>. 
     {_:www2002_25_ cn:endingDate _:e802893_25_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_41>} e:sequent {
    {_:www2002_25_ cn:endsDuring _:e802893_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
   {_:www2002_25_ cn:temporallySubsumes (_:e802890_25_ _:e802893_25_)} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_178>}} e:sequent {
  {_:webConf_25_ cn:temporallyIntersects _:www2002_25_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_183>}} e:sequent {
 {_:webConf_25_ cn:temporalBoundsIntersect _:www2002_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
{_:www2002_25_ cn:temporalBoundsIntersect _:webConf_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_60>}. 
{_:webConf_25_ cn:socialParticipants :DanC} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_19>. 
{_:webConf_25_ cn:inRegion _:e802935_25_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_54>. 
{{cn:temporalBoundsIntersect owl:inverseOf cn:temporalBoundsIntersect} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_135>. 
 {{cn:temporallyIntersects rdfs:subPropertyOf cn:temporalBoundsIntersect} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_139>. 
  {{{{cn:startingDate rdfs:subPropertyOf cn:startsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_142>. 
     {_:webConf_25_ cn:startingDate _:e802890_25_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_40>} e:sequent {
    {_:webConf_25_ cn:startsDuring _:e802890_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
    {{cn:endingDate rdfs:subPropertyOf cn:endsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_145>. 
     {_:webConf_25_ cn:endingDate _:e802893_25_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_41>} e:sequent {
    {_:webConf_25_ cn:endsDuring _:e802893_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
   {_:webConf_25_ cn:temporallySubsumes (_:e802890_25_ _:e802893_25_)} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_178>}. 
   {{{cn:startingDate rdfs:subPropertyOf cn:startsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_142>. 
     {_:webConf_25_ cn:startingDate _:e802890_25_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_40>} e:sequent {
    {_:webConf_25_ cn:startsDuring _:e802890_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}. 
    {{cn:endingDate rdfs:subPropertyOf cn:endsDuring} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_145>. 
     {_:webConf_25_ cn:endingDate _:e802893_25_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_41>} e:sequent {
    {_:webConf_25_ cn:endsDuring _:e802893_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
   {_:webConf_25_ cn:temporallySubsumes (_:e802890_25_ _:e802893_25_)} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_178>}} e:sequent {
  {_:webConf_25_ cn:temporallyIntersects _:webConf_25_} e:evidence <http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3#_183>}} e:sequent {
 {_:webConf_25_ cn:temporalBoundsIntersect _:webConf_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_55>}} e:sequent {
{_:webConf_25_ cn:temporalBoundsIntersect _:webConf_25_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_60>}. 

# Proof found in 609 steps (60839 steps/sec) using 1 engine (375 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:45 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/dtP.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/dtP#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/xsd-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{:road :repair "P14M3DT10H30M"^^xsd:duration} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_12>. 
{:testcase :made "2002-11-16T00:41:00Z"^^xsd:dateTime} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_13>. 
{:john :birthday "1956-01-10"^^xsd:date} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_14>. 
{:john :birthday "1956-01"^^xsd:gYearMonth} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_15>. 
{:john :birthday "1956"^^xsd:gYear} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_16>. 
{:john :birthday "--01-10"^^xsd:gMonthDay} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_17>. 
{:john :birthday "---10"^^xsd:gDay} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_18>. 
{:john :birthday "--01--"^^xsd:gMonth} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_19>. 
{:jane :age "+10.000"^^xsd:decimal} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_20>. 
{:mary :ageS "11"} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_21>. 
{:john :ageS "11"} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_22>. 
{:jenny :age (10 5)!math:sum} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_23>. 
{"10.1"^^xsd:decimal math:greaterThan "8.4"^^xsd:decimal} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{"P1Y2M"^^xsd:duration math:notGreaterThan "P14MT10H"^^xsd:duration} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{"01:41:00+01:00"^^xsd:time math:lessThan "05:41:00Z"^^xsd:time} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{"1956-01-10"^^xsd:date math:notLessThan "1956-01-10"^^xsd:date} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{"10"^^xsd:int math:equalTo "010"^^xsd:int} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
{"a" a rdfs:Literal} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{5 a rdfs:Literal} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{5.0 a rdfs:Literal} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{0.5e1 a rdfs:Literal} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{:aaa :ppp "333"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_25>. 
{:bbb :ppp " 333 "^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_26>. 
{:bbb :ppp "333"^^xsd:int} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_26>. 
{"333"^^xsd:int a rdfs:Literal} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{:foo :bar "chat"@fr^^rdf:XMLLiteral} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_27>. 
{:foo :bar "chat"@fr^^:baz} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_27>. 
{:ccc :qqq "sss"@en-US} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_29>. 
{:Jane :age "15"^^xsd:decimal} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_31>. 
{:JaneC :age "15"^^xsd:byte} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_32>. 
{:doc :language "en-US"} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_33>. 
{:doc2 :language "en-US"} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_34>. 
{:doc :language "en-US"} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_33>. 
{:Jeremy :ageInYears "40"^^xsd:float} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_35>. 
{:JeremyC :ageInYears "40"^^xsd:float} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_36>. 
{:car :engineSizeInLitres "1.3"^^xsd:float} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_37>. 
{:car2 :engineSizeInLitres "1.3"^^xsd:float} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_38>. 
{:doc :identifier "http://www.example.org/doc"} e:evidence <http://www.agfa.com/w3c/euler/dtP.n3#_39>. 

# Proof found in 65 steps (3248 steps/sec) using 1 engine (213 triples)
}.

# Generated with http://eulersharp.sourceforge.net/ version 1.4.18 on 30 Oct 2005 14:13:45 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>!log:semantics
 <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
{{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
 {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
  {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
   {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
    {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
     {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
      {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
       {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
        {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
         {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
          {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
           {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
            {:meas47 :p1yCm 7.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
            {:meas47 :p2yCm 5.6} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
            {(7.8 5.6) math:difference 2.2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
           {:meas47 :dy12Cm 2.2} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_83>}. 
           {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
            {:meas47 :p1xCm 10.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
            {:meas47 :p2xCm 45.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
            {(10.1 45.1) math:difference -35.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
           {:meas47 :dx12Cm -35.0} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_78>}. 
           {(2.2 -35.0) math:quotient -0.06285714285714286} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
          {:meas47 :cL1 -0.06285714285714286} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_89>}. 
          {:meas47 :p1xCm 10.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
          {(-0.06285714285714286 10.1) math:product -0.6348571428571429} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
         {:meas47 :pL1x1Cm -0.6348571428571429} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_93>}. 
         {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
          {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
           {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
            {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
             {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
              {:meas47 :p1yCm 7.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
              {:meas47 :p2yCm 5.6} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
              {(7.8 5.6) math:difference 2.2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
             {:meas47 :dy12Cm 2.2} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_83>}. 
             {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
              {:meas47 :p1xCm 10.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
              {:meas47 :p2xCm 45.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
              {(10.1 45.1) math:difference -35.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
             {:meas47 :dx12Cm -35.0} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_78>}. 
             {(2.2 -35.0) math:quotient -0.06285714285714286} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
            {:meas47 :cL1 -0.06285714285714286} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_89>}. 
            {(1 -0.06285714285714286) math:quotient -15.909090909090908} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
           {:meas47 :dL3m -15.909090909090908} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_90>}. 
           {(0 -15.909090909090908) math:difference 15.909090909090908} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
          {:meas47 :cL3 15.909090909090908} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_91>}. 
          {:meas47 :p3xCm 3.6} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_17>. 
          {(15.909090909090908 3.6) math:product 57.27272727272727} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
         {:meas47 :pL3x3Cm 57.27272727272727} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_95>}. 
         {(-0.6348571428571429 57.27272727272727) math:difference -57.90758441558442} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
        {:meas47 :dd13Cm -57.90758441558442} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_97>}. 
        {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
         {:meas47 :p1yCm 7.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
         {:meas47 :p3yCm 29.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_17>. 
         {(7.8 29.8) math:difference -22.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
        {:meas47 :dy13Cm -22.0} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_84>}. 
        {(-57.90758441558442 -22.0) math:difference -35.90758441558442} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
       {:meas47 :ddy13Cm -35.90758441558442} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_98>}. 
       {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
        {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
         {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
          {:meas47 :p1yCm 7.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
          {:meas47 :p2yCm 5.6} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
          {(7.8 5.6) math:difference 2.2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
         {:meas47 :dy12Cm 2.2} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_83>}. 
         {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
          {:meas47 :p1xCm 10.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
          {:meas47 :p2xCm 45.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
          {(10.1 45.1) math:difference -35.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
         {:meas47 :dx12Cm -35.0} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_78>}. 
         {(2.2 -35.0) math:quotient -0.06285714285714286} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
        {:meas47 :cL1 -0.06285714285714286} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_89>}. 
        {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
         {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
          {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
           {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
            {:meas47 :p1yCm 7.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
            {:meas47 :p2yCm 5.6} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
            {(7.8 5.6) math:difference 2.2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
           {:meas47 :dy12Cm 2.2} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_83>}. 
           {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
            {:meas47 :p1xCm 10.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
            {:meas47 :p2xCm 45.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
            {(10.1 45.1) math:difference -35.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
           {:meas47 :dx12Cm -35.0} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_78>}. 
           {(2.2 -35.0) math:quotient -0.06285714285714286} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
          {:meas47 :cL1 -0.06285714285714286} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_89>}. 
          {(1 -0.06285714285714286) math:quotient -15.909090909090908} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
         {:meas47 :dL3m -15.909090909090908} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_90>}. 
         {(0 -15.909090909090908) math:difference 15.909090909090908} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
        {:meas47 :cL3 15.909090909090908} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_91>}. 
        {(-0.06285714285714286 15.909090909090908) math:difference -15.97194805194805} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
       {:meas47 :ddL13 -15.97194805194805} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_101>}. 
       {(-35.90758441558442 -15.97194805194805) math:quotient 2.248165615039355} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
      {:meas47 :p5xCm 2.248165615039355} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_105>}. 
      {:meas47 :p3xCm 3.6} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_17>. 
      {(2.248165615039355 3.6) math:difference -1.351834384960645} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
     {:meas47 :dx53Cm -1.351834384960645} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_80>}. 
     {(-1.351834384960645 2) math:exponentiation 1.8274562043619251} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
    {:meas47 :sdx53Cm2 1.8274562043619251} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_110>}. 
    {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
     {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
      {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
       {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
        {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
         {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
          {:meas47 :p1yCm 7.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
          {:meas47 :p2yCm 5.6} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
          {(7.8 5.6) math:difference 2.2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
         {:meas47 :dy12Cm 2.2} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_83>}. 
         {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
          {:meas47 :p1xCm 10.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
          {:meas47 :p2xCm 45.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
          {(10.1 45.1) math:difference -35.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
         {:meas47 :dx12Cm -35.0} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_78>}. 
         {(2.2 -35.0) math:quotient -0.06285714285714286} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
        {:meas47 :cL1 -0.06285714285714286} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_89>}. 
        {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
         {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
          {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
           {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
            {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
             {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
              {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
               {:meas47 :p1yCm 7.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
               {:meas47 :p2yCm 5.6} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
               {(7.8 5.6) math:difference 2.2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
              {:meas47 :dy12Cm 2.2} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_83>}. 
              {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
               {:meas47 :p1xCm 10.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
               {:meas47 :p2xCm 45.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
               {(10.1 45.1) math:difference -35.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
              {:meas47 :dx12Cm -35.0} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_78>}. 
              {(2.2 -35.0) math:quotient -0.06285714285714286} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
             {:meas47 :cL1 -0.06285714285714286} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_89>}. 
             {:meas47 :p1xCm 10.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
             {(-0.06285714285714286 10.1) math:product -0.6348571428571429} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
            {:meas47 :pL1x1Cm -0.6348571428571429} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_93>}. 
            {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
             {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
              {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
               {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
                {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
                 {:meas47 :p1yCm 7.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
                 {:meas47 :p2yCm 5.6} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
                 {(7.8 5.6) math:difference 2.2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
                {:meas47 :dy12Cm 2.2} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_83>}. 
                {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
                 {:meas47 :p1xCm 10.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
                 {:meas47 :p2xCm 45.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
                 {(10.1 45.1) math:difference -35.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
                {:meas47 :dx12Cm -35.0} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_78>}. 
                {(2.2 -35.0) math:quotient -0.06285714285714286} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
               {:meas47 :cL1 -0.06285714285714286} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_89>}. 
               {(1 -0.06285714285714286) math:quotient -15.909090909090908} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
              {:meas47 :dL3m -15.909090909090908} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_90>}. 
              {(0 -15.909090909090908) math:difference 15.909090909090908} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
             {:meas47 :cL3 15.909090909090908} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_91>}. 
             {:meas47 :p3xCm 3.6} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_17>. 
             {(15.909090909090908 3.6) math:product 57.27272727272727} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
            {:meas47 :pL3x3Cm 57.27272727272727} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_95>}. 
            {(-0.6348571428571429 57.27272727272727) math:difference -57.90758441558442} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
           {:meas47 :dd13Cm -57.90758441558442} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_97>}. 
           {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
            {:meas47 :p1yCm 7.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
            {:meas47 :p3yCm 29.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_17>. 
            {(7.8 29.8) math:difference -22.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
           {:meas47 :dy13Cm -22.0} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_84>}. 
           {(-57.90758441558442 -22.0) math:difference -35.90758441558442} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
          {:meas47 :ddy13Cm -35.90758441558442} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_98>}. 
          {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
           {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
            {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
             {:meas47 :p1yCm 7.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
             {:meas47 :p2yCm 5.6} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
             {(7.8 5.6) math:difference 2.2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
            {:meas47 :dy12Cm 2.2} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_83>}. 
            {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
             {:meas47 :p1xCm 10.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
             {:meas47 :p2xCm 45.1} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
             {(10.1 45.1) math:difference -35.0} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
            {:meas47 :dx12Cm -35.0} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_78>}. 
            {(2.2 -35.0) math:quotient -0.06285714285714286} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
           {:meas47 :cL1 -0.06285714285714286} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP.n3#_89>}. 
           {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
            {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
             {{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14