#Processed by Id: euler.yap,v 1.162 2007/04/02 19:00:46 josd Exp 

@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix var: <http://localhost/var#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.w3.org/2000/10/swap/test/reason/witch#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

[ a r:Proof, r:Conjunction;
  r:component [ a r:Inference; r:gives {:GIRL rdf:type :WITCH}; r:evidence (
    [ a r:Extraction; r:gives {:GIRL rdf:type :WITCH}; r:because [ a r:Inference; r:gives {:GIRL rdf:type :WITCH}; r:evidence (
      [ a r:Extraction; r:gives {:GIRL rdf:type :BURNS}; r:because [ a r:Inference; r:gives {:GIRL rdf:type :BURNS}; r:evidence (
        [ a r:Extraction; r:gives {:GIRL rdf:type :ISMADEOFWOOD}; r:because [ a r:Inference; r:gives {:GIRL rdf:type :ISMADEOFWOOD}; r:evidence (
          [ a r:Extraction; r:gives {:GIRL rdf:type :FLOATS}; r:because [ a r:Inference; r:gives {:GIRL rdf:type :FLOATS}; r:evidence (
            [ a r:Extraction; r:gives {:DUCK rdf:type :FLOATS}; r:because [ a r:Parsing; r:source <http://www.w3.org/2000/10/swap/test/reason/witch.n3>]]
            [ a r:Extraction; r:gives {:DUCK :SAMEWEIGHT :GIRL}; r:because [ a r:Parsing; r:source <http://www.w3.org/2000/10/swap/test/reason/witch.n3>]]);
            r:binding [ r:variable [ n3:uri "http://localhost/var#x"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/reason/witch#DUCK"]]; 
            r:binding [ r:variable [ n3:uri "http://localhost/var#y"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/reason/witch#GIRL"]]; 
            r:rule [ a r:Extraction; r:gives {@forAll var:x,var:y. {var:x a :FLOATS. var:x :SAMEWEIGHT var:y} => {var:y a :FLOATS}. }; r:because [ a r:Parsing; r:source <http://www.w3.org/2000/10/swap/test/reason/witch.n3>]]]]);
          r:binding [ r:variable [ n3:uri "http://localhost/var#x"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/reason/witch#GIRL"]]; 
          r:rule [ a r:Extraction; r:gives {@forAll var:x. {var:x a :FLOATS} => {var:x a :ISMADEOFWOOD}. }; r:because [ a r:Parsing; r:source <http://www.w3.org/2000/10/swap/test/reason/witch.n3>]]]]);
        r:binding [ r:variable [ n3:uri "http://localhost/var#x"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/reason/witch#GIRL"]]; 
        r:rule [ a r:Extraction; r:gives {@forAll var:x. {var:x a :ISMADEOFWOOD} => {var:x a :BURNS}. }; r:because [ a r:Parsing; r:source <http://www.w3.org/2000/10/swap/test/reason/witch.n3>]]]]
      [ a r:Extraction; r:gives {:GIRL rdf:type :WOMAN}; r:because [ a r:Parsing; r:source <http://www.w3.org/2000/10/swap/test/reason/witch.n3>]]);
      r:binding [ r:variable [ n3:uri "http://localhost/var#x"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/reason/witch#GIRL"]]; 
      r:rule [ a r:Extraction; r:gives {@forAll var:x. {var:x a :BURNS. var:x a :WOMAN} => {var:x a :WITCH}. }; r:because [ a r:Parsing; r:source <http://www.w3.org/2000/10/swap/test/reason/witch.n3>]]]]);
    r:rule [ a r:Extraction; r:gives {@forAll . {:GIRL a :WITCH} => {:GIRL a :WITCH}. }; r:because [ a r:Parsing; r:source <http://www.w3.org/2000/10/swap/test/reason/witch-goal.n3>]]];
  r:gives {
    :GIRL rdf:type :WITCH.}].

#ENDS 0 msec.