PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX list: <http://www.w3.org/2000/10/swap/list#>
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
PREFIX gps: <http://josd.github.io/eye/reasoning/gps/gps-schema#>
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>

[] a r:Proof, r:Conjunction;
  r:component <#lemma1>;
  r:component <#lemma2>;
  r:gives {
    :i1 gps:path ((:drive_gent_brugge) 1500.0 0.006 0.96 0.99).
    :i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801).
  }.

<#lemma1> a r:Inference;
  r:gives {
    :i1 gps:path ((:drive_gent_brugge) 1500.0 0.006 0.96 0.99).
  };
  r:evidence (
    <#lemma3>
  );
  r:rule <#lemma4>.

<#lemma2> a r:Inference;
  r:gives {
    :i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801).
  };
  r:evidence (
    <#lemma5>
  );
  r:rule <#lemma4>.

<#lemma3> a r:Inference;
  r:gives {
    ((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpath ({:i1 :location :Brugge} (:drive_gent_brugge) 1500.0 0.006 0.96 0.99 (5000.0 5.0 0.2 0.4 1)).
  };
  r:evidence (
    <#lemma6>
  );
  r:rule <#lemma7>.

<#lemma4> a r:Extraction;
  r:gives {
    {?x_0_1 gps:findpath ({?x_1_1 :location :Brugge} ?x_2_1 ?x_3_1 ?x_4_1 ?x_5_1 ?x_6_1 (5000.0 5.0 0.2 0.4 1))} => {?x_1_1 gps:path (?x_2_1 ?x_3_1 ?x_4_1 ?x_5_1 ?x_6_1)}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/agent1-query.n3>].

<#lemma5> a r:Inference;
  r:gives {
    ((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpath ({:i1 :location :Brugge} (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (5000.0 5.0 0.2 0.4 1)).
  };
  r:evidence (
    <#lemma8>
  );
  r:rule <#lemma7>.

<#lemma6> a r:Inference;
  r:gives {
    ((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths (() {:i1 :location :Brugge} () 0.0 0.0 1.0 1.0 (:drive_gent_brugge) 1500.0 0.006 0.96 0.99 (5000.0 5.0 0.2 0.4 1)).
  };
  r:evidence (
    <#lemma9>
    <#lemma10>
    <#lemma11>
    <#lemma12>
    [ a r:Fact; r:gives {(() (:map-BE)) list:append (:map-BE)}]
    <#lemma13>
    [ a r:Fact; r:gives {1 math:notGreaterThan 1}]
    [ a r:Fact; r:gives {(0.0 1500.0) math:sum 1500.0}]
    [ a r:Fact; r:gives {1500.0 math:notGreaterThan 5000.0}]
    [ a r:Fact; r:gives {(0.0 0.006) math:sum 0.006}]
    [ a r:Fact; r:gives {0.006 math:notGreaterThan 5.0}]
    [ a r:Fact; r:gives {(1.0 0.96) math:product 0.96}]
    [ a r:Fact; r:gives {0.96 math:notLessThan 0.2}]
    [ a r:Fact; r:gives {(1.0 0.99) math:product 0.99}]
    [ a r:Fact; r:gives {0.99 math:notLessThan 0.4}]
    [ a r:Fact; r:gives {(() (:drive_gent_brugge)) list:append (:drive_gent_brugge)}]
    [ a r:Fact; r:gives {{:i1 :location :Gent} e:becomes {:i1 :location :Brugge}}]
    <#lemma14>
  );
  r:rule <#lemma15>.

<#lemma7> a r:Extraction;
  r:gives {
    {?x_0_2 gps:findpath (?x_1_2 ?x_2_2 ?x_3_2 ?x_4_2 ?x_5_2 ?x_6_2 (?x_7_2 ?x_8_2 ?x_9_2 ?x_10_2 ?x_11_2))} <= {?x_0_2 gps:findpaths (() ?x_1_2 () 0.0 0.0 1.0 1.0 ?x_2_2 ?x_3_2 ?x_4_2 ?x_5_2 ?x_6_2 (?x_7_2 ?x_8_2 ?x_9_2 ?x_10_2 ?x_11_2))}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/gps-plugin.n3>].

<#lemma8> a r:Inference;
  r:gives {
    ((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths (() {:i1 :location :Brugge} () 0.0 0.0 1.0 1.0 (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (5000.0 5.0 0.2 0.4 1)).
  };
  r:evidence (
    <#lemma16>
    <#lemma10>
    <#lemma11>
    <#lemma17>
    [ a r:Fact; r:gives {(() (:map-BE)) list:append (:map-BE)}]
    <#lemma13>
    [ a r:Fact; r:gives {1 math:notGreaterThan 1}]
    [ a r:Fact; r:gives {(0.0 1600.0) math:sum 1600.0}]
    [ a r:Fact; r:gives {1600.0 math:notGreaterThan 5000.0}]
    [ a r:Fact; r:gives {(0.0 0.007) math:sum 0.007}]
    [ a r:Fact; r:gives {0.007 math:notGreaterThan 5.0}]
    [ a r:Fact; r:gives {(1.0 0.96) math:product 0.96}]
    [ a r:Fact; r:gives {0.96 math:notLessThan 0.2}]
    [ a r:Fact; r:gives {(1.0 0.99) math:product 0.99}]
    [ a r:Fact; r:gives {0.99 math:notLessThan 0.4}]
    [ a r:Fact; r:gives {(() (:drive_gent_kortrijk)) list:append (:drive_gent_kortrijk)}]
    [ a r:Fact; r:gives {{:i1 :location :Gent} e:becomes {:i1 :location :Kortrijk}}]
    <#lemma18>
  );
  r:rule <#lemma15>.

<#lemma9> a r:Extraction;
  r:gives {
    :map-BE gps:description ({:i1 :location :Gent} true {:i1 :location :Brugge} :drive_gent_brugge 1500.0 0.006 0.96 0.99).
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/agent1-map.n3>].

<#lemma10> a r:Inference;
  r:gives {
    ((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) e:call {:i1 :location :Gent}.
  };
  r:evidence (
    <#lemma19>
  );
  r:rule [ a r:Fact; r:gives {{:i1 :location :Gent} => {((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) e:call {:i1 :location :Gent}}}].

<#lemma11> a r:Inference;
  r:gives {
    ((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) e:call true.
  };
  r:evidence (
    [ a r:Fact; r:gives true]
  );
  r:rule [ a r:Fact; r:gives {true => {((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) e:call true}}].

<#lemma12> a r:Inference;
  r:gives {
    :map-BE gps:description ({:i1 :location :Gent} true {:i1 :location :Brugge} :drive_gent_brugge 1500.0 0.006 0.96 0.99).
  };
  r:evidence (
    [ a r:Fact; r:gives true]
  );
  r:rule <#lemma20>.

<#lemma13> a r:Inference;
  r:gives {
    (:map-BE) gps:stagecount 1 .
  };
  r:evidence (
    [ a r:Fact; r:gives {(:map-BE) e:firstRest (:map-BE ())}]
    <#lemma21>
  );
  r:rule <#lemma22>.

<#lemma14> a r:Inference;
  r:gives {
    {((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths ((:map-BE) {:i1 :location :Brugge} (:drive_gent_brugge) 1500.0 0.006 0.96 0.99 (:drive_gent_brugge) 1500.0 0.006 0.96 0.99 (5000.0 5.0 0.2 0.4 1))} e:finalize {{:i1 :location :Brugge} e:becomes {:i1 :location :Gent}}.
  };
  r:evidence (
    <#lemma23>
    [ a r:Fact; r:gives {{:i1 :location :Brugge} e:becomes {:i1 :location :Gent}}]
  );
  r:rule [ a r:Fact; r:gives {{((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths ((:map-BE) {:i1 :location :Brugge} (:drive_gent_brugge) 1500.0 0.006 0.96 0.99 (:drive_gent_brugge) 1500.0 0.006 0.96 0.99 (5000.0 5.0 0.2 0.4 1)).
    {:i1 :location :Brugge} e:becomes {:i1 :location :Gent}} => {{((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths ((:map-BE) {:i1 :location :Brugge} (:drive_gent_brugge) 1500.0 0.006 0.96 0.99 (:drive_gent_brugge) 1500.0 0.006 0.96 0.99 (5000.0 5.0 0.2 0.4 1))} e:finalize {{:i1 :location :Brugge} e:becomes {:i1 :location :Gent}}}}].

<#lemma15> a r:Extraction;
  r:gives {
    {?x_10_3 gps:findpaths (?x_11_3 ?x_29_3 ?x_27_3 ?x_15_3 ?x_18_3 ?x_21_3 ?x_24_3 ?x_30_3 ?x_31_3 ?x_32_3 ?x_33_3 ?x_34_3 (?x_17_3 ?x_20_3 ?x_23_3 ?x_26_3 ?x_14_3))} <= {{?x_0_3 gps:description (?x_1_3 ?x_2_3 ?x_3_3 ?x_4_3 ?x_5_3 ?x_6_3 ?x_7_3 ?x_8_3)} <= ?x_9_3.
     ?x_10_3 e:call ?x_1_3.
     ?x_10_3 e:call ?x_9_3.
     ?x_0_3 gps:description (?x_1_3 ?x_2_3 ?x_3_3 ?x_4_3 ?x_5_3 ?x_6_3 ?x_7_3 ?x_8_3).
     (?x_11_3 (?x_0_3)) list:append ?x_12_3.
     ?x_12_3 gps:stagecount ?x_13_3.
     ?x_13_3 math:notGreaterThan ?x_14_3.
     (?x_15_3 ?x_5_3) math:sum ?x_16_3.
     ?x_16_3 math:notGreaterThan ?x_17_3.
     (?x_18_3 ?x_6_3) math:sum ?x_19_3.
     ?x_19_3 math:notGreaterThan ?x_20_3.
     (?x_21_3 ?x_7_3) math:product ?x_22_3.
     ?x_22_3 math:notLessThan ?x_23_3.
     (?x_24_3 ?x_8_3) math:product ?x_25_3.
     ?x_25_3 math:notLessThan ?x_26_3.
     (?x_27_3 (?x_4_3)) list:append ?x_28_3.
     ?x_1_3 e:becomes ?x_3_3.
     {?x_10_3 gps:findpaths (?x_12_3 ?x_29_3 ?x_28_3 ?x_16_3 ?x_19_3 ?x_22_3 ?x_25_3 ?x_30_3 ?x_31_3 ?x_32_3 ?x_33_3 ?x_34_3 (?x_17_3 ?x_20_3 ?x_23_3 ?x_26_3 ?x_14_3))} e:finalize {?x_3_3 e:becomes ?x_1_3}}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/gps-plugin.n3>].

<#lemma16> a r:Extraction;
  r:gives {
    :map-BE gps:description ({:i1 :location :Gent} true {:i1 :location :Kortrijk} :drive_gent_kortrijk 1600.0 0.007 0.96 0.99).
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/agent1-map.n3>].

<#lemma17> a r:Inference;
  r:gives {
    :map-BE gps:description ({:i1 :location :Gent} true {:i1 :location :Kortrijk} :drive_gent_kortrijk 1600.0 0.007 0.96 0.99).
  };
  r:evidence (
    [ a r:Fact; r:gives true]
  );
  r:rule <#lemma24>.

<#lemma18> a r:Inference;
  r:gives {
    {((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths ((:map-BE) {:i1 :location :Brugge} (:drive_gent_kortrijk) 1600.0 0.007 0.96 0.99 (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (5000.0 5.0 0.2 0.4 1))} e:finalize {{:i1 :location :Kortrijk} e:becomes {:i1 :location :Gent}}.
  };
  r:evidence (
    <#lemma25>
    [ a r:Fact; r:gives {{:i1 :location :Kortrijk} e:becomes {:i1 :location :Gent}}]
  );
  r:rule [ a r:Fact; r:gives {{((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths ((:map-BE) {:i1 :location :Brugge} (:drive_gent_kortrijk) 1600.0 0.007 0.96 0.99 (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (5000.0 5.0 0.2 0.4 1)).
    {:i1 :location :Kortrijk} e:becomes {:i1 :location :Gent}} => {{((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths ((:map-BE) {:i1 :location :Brugge} (:drive_gent_kortrijk) 1600.0 0.007 0.96 0.99 (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (5000.0 5.0 0.2 0.4 1))} e:finalize {{:i1 :location :Kortrijk} e:becomes {:i1 :location :Gent}}}}].

<#lemma19> a r:Extraction;
  r:gives {
    :i1 :location :Gent.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/agent1-map.n3>].

<#lemma20> a r:Extraction;
  r:gives {
    {:map-BE gps:description ({?x_0_3 :location :Gent} true {?x_0_3 :location :Brugge} :drive_gent_brugge 1500.0 0.006 0.96 0.99)} <= true.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/agent1-map.n3>].

<#lemma21> a r:Inference;
  r:gives {
    () gps:stagecount 1 .
  };
  r:evidence (
    [ a r:Fact; r:gives true]
  );
  r:rule <#lemma26>.

<#lemma22> a r:Extraction;
  r:gives {
    {?x_0_3 gps:stagecount ?x_3_3} <= {?x_0_3 e:firstRest (?x_1_3 ?x_2_3).
     ?x_2_3 gps:stagecount ?x_3_3}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/gps-plugin.n3>].

<#lemma23> a r:Inference;
  r:gives {
    ((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths ((:map-BE) {:i1 :location :Brugge} (:drive_gent_brugge) 1500.0 0.006 0.96 0.99 (:drive_gent_brugge) 1500.0 0.006 0.96 0.99 (5000.0 5.0 0.2 0.4 1)).
  };
  r:evidence (
    <#lemma27>
    [ a r:Fact; r:gives {("!") e:derive true}]
  );
  r:rule <#lemma28>.

<#lemma24> a r:Extraction;
  r:gives {
    {:map-BE gps:description ({?x_0_3 :location :Gent} true {?x_0_3 :location :Kortrijk} :drive_gent_kortrijk 1600.0 0.007 0.96 0.99)} <= true.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/agent1-map.n3>].

<#lemma25> a r:Inference;
  r:gives {
    ((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths ((:map-BE) {:i1 :location :Brugge} (:drive_gent_kortrijk) 1600.0 0.007 0.96 0.99 (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (5000.0 5.0 0.2 0.4 1)).
  };
  r:evidence (
    <#lemma29>
    <#lemma30>
    <#lemma11>
    <#lemma31>
    [ a r:Fact; r:gives {((:map-BE) (:map-BE)) list:append (:map-BE :map-BE)}]
    <#lemma32>
    [ a r:Fact; r:gives {1 math:notGreaterThan 1}]
    [ a r:Fact; r:gives {(1600.0 1600.0) math:sum 3200.0}]
    [ a r:Fact; r:gives {3200.0 math:notGreaterThan 5000.0}]
    [ a r:Fact; r:gives {(0.007 0.007) math:sum 0.014}]
    [ a r:Fact; r:gives {0.014 math:notGreaterThan 5.0}]
    [ a r:Fact; r:gives {(0.96 0.96) math:product 0.9216}]
    [ a r:Fact; r:gives {0.9216 math:notLessThan 0.2}]
    [ a r:Fact; r:gives {(0.99 0.99) math:product 0.9801}]
    [ a r:Fact; r:gives {0.9801 math:notLessThan 0.4}]
    [ a r:Fact; r:gives {((:drive_gent_kortrijk) (:drive_kortrijk_brugge)) list:append (:drive_gent_kortrijk :drive_kortrijk_brugge)}]
    [ a r:Fact; r:gives {{:i1 :location :Kortrijk} e:becomes {:i1 :location :Brugge}}]
    <#lemma33>
  );
  r:rule <#lemma15>.

<#lemma26> a r:Extraction;
  r:gives {
    {() gps:stagecount 1} <= true.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/gps-plugin.n3>].

<#lemma27> a r:Inference;
  r:gives {
    ((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) e:call {:i1 :location :Brugge}.
  };
  r:evidence (
    [ a r:Fact; r:gives {:i1 :location :Brugge}]
  );
  r:rule [ a r:Fact; r:gives {{:i1 :location :Brugge} => {((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) e:call {:i1 :location :Brugge}}}].

<#lemma28> a r:Extraction;
  r:gives {
    {?x_0_3 gps:findpaths (?x_2_3 ?x_1_3 ?x_3_3 ?x_4_3 ?x_5_3 ?x_6_3 ?x_7_3 ?x_3_3 ?x_4_3 ?x_5_3 ?x_6_3 ?x_7_3 (?x_8_3 ?x_9_3 ?x_10_3 ?x_11_3 ?x_12_3))} <= {?x_0_3 e:call ?x_1_3.
     ("!") e:derive true}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/gps-plugin.n3>].

<#lemma29> a r:Extraction;
  r:gives {
    :map-BE gps:description ({:i1 :location :Kortrijk} true {:i1 :location :Brugge} :drive_kortrijk_brugge 1600.0 0.007 0.96 0.99).
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/agent1-map.n3>].

<#lemma30> a r:Inference;
  r:gives {
    ((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) e:call {:i1 :location :Kortrijk}.
  };
  r:evidence (
    [ a r:Fact; r:gives {:i1 :location :Kortrijk}]
  );
  r:rule [ a r:Fact; r:gives {{:i1 :location :Kortrijk} => {((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) e:call {:i1 :location :Kortrijk}}}].

<#lemma31> a r:Inference;
  r:gives {
    :map-BE gps:description ({:i1 :location :Kortrijk} true {:i1 :location :Brugge} :drive_kortrijk_brugge 1600.0 0.007 0.96 0.99).
  };
  r:evidence (
    [ a r:Fact; r:gives true]
  );
  r:rule <#lemma34>.

<#lemma32> a r:Inference;
  r:gives {
    (:map-BE :map-BE) gps:stagecount 1 .
  };
  r:evidence (
    [ a r:Fact; r:gives {(:map-BE :map-BE) e:firstRest (:map-BE (:map-BE))}]
    <#lemma13>
  );
  r:rule <#lemma22>.

<#lemma33> a r:Inference;
  r:gives {
    {((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths ((:map-BE :map-BE) {:i1 :location :Brugge} (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (5000.0 5.0 0.2 0.4 1))} e:finalize {{:i1 :location :Brugge} e:becomes {:i1 :location :Kortrijk}}.
  };
  r:evidence (
    <#lemma35>
    [ a r:Fact; r:gives {{:i1 :location :Brugge} e:becomes {:i1 :location :Kortrijk}}]
  );
  r:rule [ a r:Fact; r:gives {{((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths ((:map-BE :map-BE) {:i1 :location :Brugge} (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (5000.0 5.0 0.2 0.4 1)).
    {:i1 :location :Brugge} e:becomes {:i1 :location :Kortrijk}} => {{((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths ((:map-BE :map-BE) {:i1 :location :Brugge} (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (5000.0 5.0 0.2 0.4 1))} e:finalize {{:i1 :location :Brugge} e:becomes {:i1 :location :Kortrijk}}}}].

<#lemma34> a r:Extraction;
  r:gives {
    {:map-BE gps:description ({?x_0_3 :location :Kortrijk} true {?x_0_3 :location :Brugge} :drive_kortrijk_brugge 1600.0 0.007 0.96 0.99)} <= true.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/map/agent1-map.n3>].

<#lemma35> a r:Inference;
  r:gives {
    ((<http://josd.github.io/eye/reasoning/map/gps-plugin.n3> <http://josd.github.io/eye/reasoning/map/agent1-map.n3>) 1) gps:findpaths ((:map-BE :map-BE) {:i1 :location :Brugge} (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (5000.0 5.0 0.2 0.4 1)).
  };
  r:evidence (
    <#lemma27>
    [ a r:Fact; r:gives {("!") e:derive true}]
  );
  r:rule <#lemma28>.

