#Processed by Id: cwm.py,v 1.168 2005/01/27 20:06:43 syosi Exp 
        #    using base file:/2002/10/medicad/op/
        
#  Notation3 generation by
#       notation3.py,v 1.178 2005/01/27 20:06:43 syosi Exp

#   Base was: file:/2002/10/medicad/op/
     @prefix : <lldmP2.n3#> .
     @prefix lldmP: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix m: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#> .
     @prefix math: <http://www.w3.org/2000/10/swap/math#> .
     @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
    
     @forAll :M,
                :X,
                :Y,
                :Z .
    
    m:meas47     a m:LLDAlarm,
                m:Measurement;
         m:p1xCm 10.1;
         m:p1yCm 7.8;
         m:p2xCm 45.1;
         m:p2yCm 5.6;
         m:p3xCm 3.6;
         m:p3yCm 29.8;
         m:p4xCm 54.7;
         m:p4yCm 28.5;
         lldmP:dCm 2.2596;
         lldmP:dy12Cm 2.2;
         lldmP:dy12gcCm 3.5596;
         lldmP:dy34Cm 1.3 .
    
    lldmP:dCm     rdfs:domain lldmP:Measurement;
         rdfs:range lldmP:Quantity .
    
    lldmP:dy12Cm     rdfs:domain lldmP:Measurement;
         rdfs:range lldmP:Quantity .
    
    lldmP:dy12gcCm     rdfs:domain lldmP:Measurement;
         rdfs:range lldmP:Quantity .
    
    lldmP:dy34Cm     rdfs:domain lldmP:Measurement;
         rdfs:range lldmP:Quantity .
    {
        
          ( :X 
            1.618  )
             math:product :Z .
        :M     a m:Measurement;
             lldmP:dy12Cm :X .
        
        }     log:implies {:M     lldmP:dy12gcCm :Z .
        } .
    {
        :M     a m:Measurement;
             lldmP:dCm :X .
        :X     math:greaterThan 1.25 .
        
        }     log:implies {:M     a m:LLDAlarm .
        } .
    {
        :M     a m:Measurement;
             lldmP:dCm :X .
        :X     math:lessThan -1.25 .
        
        }     log:implies {:M     a m:LLDAlarm .
        } .
    {
        
          ( :X 
            :Y  )
             math:difference :Z .
        :M     a m:Measurement;
             m:p1yCm :X;
             m:p2yCm :Y .
        
        }     log:implies {:M     lldmP:dy12Cm :Z .
        } .
    {
        
          ( :X 
            :Y  )
             math:difference :Z .
        :M     a m:Measurement;
             m:p3yCm :X;
             m:p4yCm :Y .
        
        }     log:implies {:M     lldmP:dy34Cm :Z .
        } .
    {
        
          ( :X 
            :Y  )
             math:difference :Z .
        :M     a m:Measurement;
             lldmP:dy12gcCm :X;
             lldmP:dy34Cm :Y .
        
        }     log:implies {:M     lldmP:dCm :Z .
        } .
    
#ENDS