# Generated with http://eulersharp.sourceforge.net/ version 1.2.4 on 3 May 2005 20:20:46 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>!log:semantics
 <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3>!log:semantics)!log:conjunction =>
{
@prefix ns0: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix m: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{:meas47 a :Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
{{{:meas47 a m:Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
  {{:meas47 a m:Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
   {{:meas47 a m:Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
    {:meas47 m:p1yCm 7.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_15>. 
    {:meas47 m:p2yCm 5.6} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_16>. 
    {(7.8 5.6) math:difference 2.2} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
   {:meas47 ns0:dy12Cm 2.2} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3#_23>}. 
   {(2.2 1.618) math:product 3.5596000000000005} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
  {:meas47 ns0:dy12gcCm 3.5596000000000005} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3#_26>}. 
  {{:meas47 a m:Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>. 
   {:meas47 m:p3yCm 29.8} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_17>. 
   {:meas47 m:p4yCm 28.5} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_18>. 
   {(29.8 28.5) math:difference 1.3000000000000007} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
  {:meas47 ns0:dy34Cm 1.3000000000000007} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3#_24>}. 
  {(3.5596000000000005 1.3000000000000007) math:difference 2.2596} e:evidence <http://www.w3.org/2000/10/swap/math#kb>} e:sequent {
 {:meas47 ns0:dCm 2.2596} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3#_28>}. 
 {2.2596 math:greaterThan 1.25} e:evidence <http://www.w3.org/2000/10/swap/math#kb>. 
 {:meas47 a m:Measurement} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3#_14>} e:sequent {
{:meas47 a :LLDAlarm} e:evidence <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3#_31>}. 

# Proof found for http://www.agfa.com/w3c/2002/10/medicad/op/lldmC.n3 in 37 steps (528 steps/sec) using 1 engine (23 triples)
}.