#Processed by EYE-Winter16.0225.2242 josd
#eye http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3 http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3 --query http://www.agfa.com/w3c/2002/10/medicad/op/lldmQ.n3

PREFIX log: <http://www.w3.org/2000/10/swap/log#>
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX : <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>
PREFIX ns1: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>

[ a r:Proof, r:Conjunction;
  r:component <#lemma1>;
  r:gives {
    :meas47 a :Measurement.
    :meas47 a :LLDAlarm.
  }].

<#lemma1> a r:Inference; r:gives {:meas47 a :Measurement.
  :meas47 a :LLDAlarm}; r:evidence (
  <#lemma2>
  <#lemma3>);
  r:rule <#lemma4>.

<#lemma2> a r:Extraction; r:gives {:meas47 a :Measurement};
  r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>].

<#lemma3> a r:Inference; r:gives {:meas47 a :LLDAlarm}; r:evidence (
  <#lemma2>
  <#lemma5>
  [ a r:Fact; r:gives {2.2596 math:greaterThan 1.25}]);
  r:rule <#lemma6>.

<#lemma4> a r:Extraction; r:gives {{?x_0 a :Measurement.
  ?x_0 a :LLDAlarm} => {?x_0 a :Measurement.
  ?x_0 a :LLDAlarm}};
  r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmQ.n3>].

<#lemma5> a r:Inference; r:gives {:meas47 ns1:dCm 2.2596}; r:evidence (
  <#lemma2>
  <#lemma7>
  <#lemma8>
  [ a r:Fact; r:gives {(3.5596000000000005 1.3000000000000007) math:difference 2.2596}]);
  r:rule <#lemma9>.

<#lemma6> a r:Extraction; r:gives {{?x_0 a :Measurement.
  ?x_0 ns1:dCm ?x_1.
  ?x_1 math:greaterThan 1.25} => {?x_0 a :LLDAlarm}};
  r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3>].

<#lemma7> a r:Inference; r:gives {:meas47 ns1:dy12gcCm 3.5596000000000005}; r:evidence (
  <#lemma2>
  <#lemma10>
  [ a r:Fact; r:gives {(2.2 1.618) math:product 3.5596000000000005}]);
  r:rule <#lemma11>.

<#lemma8> a r:Inference; r:gives {:meas47 ns1:dy34Cm 1.3000000000000007}; r:evidence (
  <#lemma2>
  <#lemma12>
  <#lemma13>
  [ a r:Fact; r:gives {(29.8 28.5) math:difference 1.3000000000000007}]);
  r:rule <#lemma14>.

<#lemma9> a r:Extraction; r:gives {{?x_0 a :Measurement.
  ?x_0 ns1:dy12gcCm ?x_1.
  ?x_0 ns1:dy34Cm ?x_2.
  (?x_1 ?x_2) math:difference ?x_3} => {?x_0 ns1:dCm ?x_3}};
  r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3>].

<#lemma10> a r:Inference; r:gives {:meas47 ns1:dy12Cm 2.2}; r:evidence (
  <#lemma2>
  <#lemma15>
  <#lemma16>
  [ a r:Fact; r:gives {(7.8 5.6) math:difference 2.2}]);
  r:rule <#lemma17>.

<#lemma11> a r:Extraction; r:gives {{?x_0 a :Measurement.
  ?x_0 ns1:dy12Cm ?x_1.
  (?x_1 1.618) math:product ?x_2} => {?x_0 ns1:dy12gcCm ?x_2}};
  r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3>].

<#lemma12> a r:Extraction; r:gives {:meas47 :p3yCm 29.8};
  r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>].

<#lemma13> a r:Extraction; r:gives {:meas47 :p4yCm 28.5};
  r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>].

<#lemma14> a r:Extraction; r:gives {{?x_0 a :Measurement.
  ?x_0 :p3yCm ?x_1.
  ?x_0 :p4yCm ?x_2.
  (?x_1 ?x_2) math:difference ?x_3} => {?x_0 ns1:dy34Cm ?x_3}};
  r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3>].

<#lemma15> a r:Extraction; r:gives {:meas47 :p1yCm 7.8};
  r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>].

<#lemma16> a r:Extraction; r:gives {:meas47 :p2yCm 5.6};
  r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>].

<#lemma17> a r:Extraction; r:gives {{?x_0 a :Measurement.
  ?x_0 :p1yCm ?x_1.
  ?x_0 :p2yCm ?x_2.
  (?x_1 ?x_2) math:difference ?x_3} => {?x_0 ns1:dy12Cm ?x_3}};
  r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3>].

#ENDS 0.303 [sec] IO=24/2 TC=6 TP=12 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0