#Processed by $Id: euler.yap 2586 2009-01-11 20:08:55Z josd $ @prefix log: . @prefix e: . @prefix : . @prefix var: . @prefix r: . @prefix n3: . [ e:falseModel {:wolf_1 :eats :grain_1. :fox_1 :eats :grain_1. :bird_1 :eats :grain_1} ; r:gives { }]. [ e:falseModel {:wolf_1 :eats :fox_1. :fox_1 :eats :grain_1. :bird_1 :eats :grain_1} ; r:gives { }]. [ e:possibleModel {:bird_1 :eats _:sk1. :bird_1 :eats _:sk0. :fox_1 :eats :bird_1. :bird_1 :eats :grain_1} ; r:gives { [ a r:Proof, r:Conjunction; r:component [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence ( [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Fox} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:fox_1 :eats :bird_1}; r:evidence ( [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Fox} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 :smaller :fox_1}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Bird. var:x1 a :Fox} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 :eats :grain_1}; r:evidence ( [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Snail} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :smaller :bird_1}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail. var:x1 a :Bird} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {_:sk0 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :eats _:sk0}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo _:sk0]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]] [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]] [ a r:Inference; r:gives {:bird_1 :eats :grain_1}; r:evidence ( [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Snail} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :smaller :bird_1}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail. var:x1 a :Bird} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {_:sk0 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :eats _:sk0}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo _:sk0]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2. {var:x0 a :Animal. var:x1 a :Animal. var:x0 :eats var:x1. var:x2 a :Grain. var:x1 :eats var:x2} => {var:x0 a :Animal. var:x1 a :Animal. var:x0 :eats var:x1. var:x2 a :Grain. var:x1 :eats var:x2}}; r:because [ a r:Parsing; r:source ]]]; r:component [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Fox} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:fox_1 :eats :bird_1}; r:evidence ( [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Fox} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 :smaller :fox_1}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Bird. var:x1 a :Fox} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 :eats :grain_1}; r:evidence ( [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Snail} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :smaller :bird_1}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail. var:x1 a :Bird} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {_:sk0 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :eats _:sk0}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo _:sk0]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]] [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]] [ a r:Inference; r:gives {:bird_1 :eats :grain_1}; r:evidence ( [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Snail} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :smaller :bird_1}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail. var:x1 a :Bird} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {_:sk0 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :eats _:sk0}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo _:sk0]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2. {var:x0 a :Animal. var:x1 a :Animal. var:x0 :eats var:x1. var:x2 a :Grain. var:x1 :eats var:x2} => {var:x0 a :Animal. var:x1 a :Animal. var:x0 :eats var:x1. var:x2 a :Grain. var:x1 :eats var:x2}}; r:because [ a r:Parsing; r:source ]]]; r:component [ a r:Inference; r:gives {:fox_1 :eats :bird_1}; r:evidence ( [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Fox} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:fox_1 :eats :bird_1}; r:evidence ( [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Fox} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 :smaller :fox_1}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Bird. var:x1 a :Fox} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 :eats :grain_1}; r:evidence ( [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Snail} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :smaller :bird_1}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail. var:x1 a :Bird} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {_:sk0 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :eats _:sk0}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo _:sk0]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]] [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]] [ a r:Inference; r:gives {:bird_1 :eats :grain_1}; r:evidence ( [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Snail} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :smaller :bird_1}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail. var:x1 a :Bird} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {_:sk0 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :eats _:sk0}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo _:sk0]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2. {var:x0 a :Animal. var:x1 a :Animal. var:x0 :eats var:x1. var:x2 a :Grain. var:x1 :eats var:x2} => {var:x0 a :Animal. var:x1 a :Animal. var:x0 :eats var:x1. var:x2 a :Grain. var:x1 :eats var:x2}}; r:because [ a r:Parsing; r:source ]]]; r:component [ a r:Inference; r:gives {:grain_1 a :Grain}; r:evidence ( [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Fox} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:fox_1 :eats :bird_1}; r:evidence ( [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Fox} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 :smaller :fox_1}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Bird. var:x1 a :Fox} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 :eats :grain_1}; r:evidence ( [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Snail} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :smaller :bird_1}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail. var:x1 a :Bird} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {_:sk0 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :eats _:sk0}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo _:sk0]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]] [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]] [ a r:Inference; r:gives {:bird_1 :eats :grain_1}; r:evidence ( [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Snail} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :smaller :bird_1}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail. var:x1 a :Bird} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {_:sk0 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :eats _:sk0}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo _:sk0]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2. {var:x0 a :Animal. var:x1 a :Animal. var:x0 :eats var:x1. var:x2 a :Grain. var:x1 :eats var:x2} => {var:x0 a :Animal. var:x1 a :Animal. var:x0 :eats var:x1. var:x2 a :Grain. var:x1 :eats var:x2}}; r:because [ a r:Parsing; r:source ]]]; r:component [ a r:Inference; r:gives {:bird_1 :eats :grain_1}; r:evidence ( [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Fox} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:fox_1 :eats :bird_1}; r:evidence ( [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Fox} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 :smaller :fox_1}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:fox_1 a :Fox}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Bird. var:x1 a :Fox} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:bird_1 :eats :grain_1}; r:evidence ( [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Snail} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :smaller :bird_1}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail. var:x1 a :Bird} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {_:sk0 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :eats _:sk0}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo _:sk0]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]] [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]] [ a r:Inference; r:gives {:bird_1 :eats :grain_1}; r:evidence ( [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Bird} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 a :Animal}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Snail} => {var:x0 a :Animal}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :smaller :bird_1}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]] [ a r:Extraction; r:gives {:bird_1 a :Bird}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail. var:x1 a :Bird} => {var:x0 :smaller var:x1}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:grain_1 a :Grain}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0. {var:x0 a :Grain} => {var:x0 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {_:sk0 a :Plant}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]] [ a r:Inference; r:gives {:snail_1 :eats _:sk0}; r:evidence ( [ a r:Extraction; r:gives {:snail_1 a :Snail}; r:because [ a r:Parsing; r:source ]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1. {var:x0 a :Snail} => {var:x0 :eats var:x1. var:x1 a :Plant}}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#snail_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x3"]; r:boundTo _:sk0]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2, var:x3. {var:x0 a :Animal. var:x1 a :Animal. var:x1 :smaller var:x0. var:x2 a :Plant. var:x3 a :Plant. var:x1 :eats var:x3} => ({var:x0 :eats var:x2} {var:x0 :eats var:x1})!e:disjunction}; r:because [ a r:Parsing; r:source ]]]); r:binding [ r:variable [ n3:uri "http://localhost/var#x0"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#fox_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x1"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#bird_1"]]; r:binding [ r:variable [ n3:uri "http://localhost/var#x2"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2006/02swap/steamroller#grain_1"]]; r:rule [ a r:Extraction; r:gives {@forAll var:x0, var:x1, var:x2. {var:x0 a :Animal. var:x1 a :Animal. var:x0 :eats var:x1. var:x2 a :Grain. var:x1 :eats var:x2} => {var:x0 a :Animal. var:x1 a :Animal. var:x0 :eats var:x1. var:x2 a :Grain. var:x1 :eats var:x2}}; r:because [ a r:Parsing; r:source ]]]; r:gives { :fox_1 a :Animal. :bird_1 a :Animal. :fox_1 :eats :bird_1. :grain_1 a :Grain. :bird_1 :eats :grain_1. }]. }]. [ e:falseModel {:bird_1 :eats :snail_1. :bird_1 :eats _:sk0. :fox_1 :eats :bird_1. :bird_1 :eats :grain_1} ; r:gives { }]. [ e:falseModel {:bird_1 :eats :snail_1. :fox_1 :eats :bird_1. :bird_1 :eats :grain_1} ; r:gives { }]. [ e:falseModel {:bird_1 :eats :snail_1} ; r:gives { }]. #ENDS 76 msec