#Processed by $Id: euler.yap 2586 2009-01-11 20:08:55Z josd $ 

@prefix : <http://www.w3.org/2000/10/swap/test/reason/witch#>.
@prefix var: <http://localhost/var#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:GIRL a :WITCH}; r:evidence (
  [ a r:Inference; r:gives {:GIRL a :WITCH}; r:evidence (
   [ a r:Inference; r:gives {:GIRL a :BURNS}; r:evidence (
    [ a r:Inference; r:gives {:GIRL a :ISMADEOFWOOD}; r:evidence (
     [ a r:Inference; r:gives {:GIRL a :FLOATS}; r:evidence (
      [ a r:Extraction; r:gives {:DUCK a :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#x0"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/reason/witch#DUCK"]];
      r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/reason/witch#GIRL"]];
      r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :FLOATS. var:x0 :SAMEWEIGHT var:x1} => {var:x1 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#x0"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/reason/witch#GIRL"]];
     r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :FLOATS} => {var:x0 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#x0"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/reason/witch#GIRL"]];
    r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :ISMADEOFWOOD} => {var:x0 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 a :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#x0"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/reason/witch#GIRL"]];
   r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :BURNS. var:x0 a :WOMAN} => {var:x0 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 {{: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 a :WITCH.
 }].

#ENDS 8 msec