**********************************************************
insert into TvsMalfun1 
select o1.ts as ots, t1.ts as tts, o1.km as km, t1.value as temp, o1.concentr as ox, 
o1.prob * t1.prob * "
com.cor.cep.util.UBooleans.uand(com.cor.cep.util.UReals.le(o1.concentr,18.0),
com.cor.cep.util.UBooleans.uand(com.cor.cep.util.UReals.gt(t1.value,30.0),
com.cor.cep.util.UBooleans.uand(com.cor.cep.util.UReals.lt(com.cor.cep.util.UReals.minus(o1.km,10.0),t1.km), com.cor.cep.util.UReals.lt(t1.km,com.cor.cep.util.UReals.add(o1.km,10.0))))).getC() * 
com.cor.cep.util.UReals.lt(o1.ts, t1.ts).getC() * 
P_TvsMalfun1Rule  as prob 
from pattern [(every (o1 = OxigenEvent(com.cor.cep.util.UBooleans.toBoolean(com.cor.cep.util.UReals.le(o1.concentr,18.0)))) -> 
(t1 = TempEvent(com.cor.cep.util.UBooleans.toBoolean(
    		         com.cor.cep.util.UBooleans.uand(com.cor.cep.util.UReals.gt(t1.value,30.0), 
    		         com.cor.cep.util.UBooleans.uand(
    		         com.cor.cep.util.UReals.lt(com.cor.cep.util.UReals.minus(o1.km,10.0),t1.km), 
    		         com.cor.cep.util.UReals.lt(t1.km, com.cor.cep.util.UReals.add(o1.km,10.0))))))) 
    		         where timer:within(5 minutes)];


**********************************************************
insert into TvsMalfun2 
select t1.km as km, t1.value as temp, 
t1.prob * (1-PFN_JAM)  * 
PFN_TrafficJamEvent * 
com.cor.cep.util.UReals.gt(t1.value,30.0).getC() * 
P_TvsMalfun2Rule as prob 
from pattern [(every (t1 = TempEvent(com.cor.cep.util.UBooleans.toBoolean(com.cor.cep.util.UReals.gt(t1.value,30.0)))) -> 
(not tj = TrafficJamEvent(
com.cor.cep.util.UBooleans.toBoolean(
        			com.cor.cep.util.UBooleans.uand(
        			com.cor.cep.util.UReals.lt(com.cor.cep.util.UReals.minus(t1.km,10.0),tj.km), 
        			com.cor.cep.util.UReals.lt(tj.km, com.cor.cep.util.UReals.add(t1.km,10.0))))))) 
        			where timer:within(5 minutes)];


**********************************************************
insert into TvsMalfun3 
select o1.km as km, t1.value as temp, o1.concentr as ox, 
o1.prob * t1.prob * 
com.cor.cep.util.UBooleans.uand(
com.cor.cep.util.UReals.le(o1.concentr,18.0),
com.cor.cep.util.UBooleans.uand(
com.cor.cep.util.UReals.lt(com.cor.cep.util.UReals.minus(o1.km,10.0),t1.km),
 com.cor.cep.util.UReals.lt(t1.km, com.cor.cep.util.UReals.add(o1.km,10.0)))).getC() * 
com.cor.cep.util.UReals.lt(o1.ts, t1.ts).getC() * 
P_TvsMalfun3Rule as prob 
from pattern [(every (o1 = OxigenEvent(com.cor.cep.util.UBooleans.toBoolean(com.cor.cep.util.UReals.le(o1.concentr,18.0))) -> (t1 = TempEvent(
com.cor.cep.util.UBooleans.toBoolean(
        			com.cor.cep.util.UBooleans.uand(
        			com.cor.cep.util.UReals.lt(com.cor.cep.util.UReals.minus(o1.km,10),t1.km), 
        			com.cor.cep.util.UReals.lt(t1.km, com.cor.cep.util.UReals.add(o1.km,10)))))))
        			where timer:within(5 minutes)];