**********************************************************
@Name('Scaped') 	
select point , dorsal , NTimeSeconds as ntimeseconds, RunnerEvent.prob * RunnerEvent.prob * 
com.cor.cep.util.UReals.gt(com.cor.cep.util.UReals.minus((select NTimeSeconds from RunnerEvent.std:lastevent()), 
(select NTimeSeconds from RunnerEvent.std:firstevent())),30.0).getC() * P_ScapedRule  as prob 
from RunnerEvent.win:length_batch(10)
where com.cor.cep.util.UBooleans.toBoolean(com.cor.cep.util.UReals.gt(
com.cor.cep.util.UReals.minus((Select NTimeSeconds from RunnerEvent.std:lastevent()), 
(select NTimeSeconds from RunnerEvent.std:firstevent())), 30));

**********************************************************
@Name('TheWall') 
select r3.point as point, r3.dorsal as dorsal, r3.NTimeSeconds as ntimeseconds, r3.prob * 
com.cor.cep.util.UReals.gt(com.cor.cep.util.UReals.minus(r3.NTimeSeconds,r2.NTimeSeconds),
com.cor.cep.util.UReals.add(com.cor.cep.util.UReals.minus(r2.NTimeSeconds,r1.NTimeSeconds),60)).getC() * 
com.cor.cep.util.UBooleans.uand(com.cor.cep.util.UReals.lt(r1.NTimeSeconds,r2.NTimeSeconds),
com.cor.cep.util.UReals.lt(r2.NTimeSeconds,r3.NTimeSeconds)).getC() * 
P_TheWallRule as prob 
from pattern ["
(every r1 = RunnerEvent(r1.point=25.0)) ->
(every r2 = RunnerEvent(r2.dorsal=r1.dorsal and r2.point=30.0))->
(every r3 = RunnerEvent(r3.dorsal=r2.dorsal and r3.point=35.0 and 
com.cor.cep.util.UBooleans.toBoolean(com.cor.cep.util.UReals.gt(com.cor.cep.util.UReals.minus(r3.NTimeSeconds,r2.NTimeSeconds), com.cor.cep.util.UReals.add(com.cor.cep.util.UReals.minus(r2.NTimeSeconds,r1.NTimeSeconds),60.0)))))];

**********************************************************
@Name('NegativeSplit') 
select r3.point as point, r3.dorsal as dorsal, r3.NTimeSeconds as ntimeseconds, r3.prob * r2.prob * 
com.cor.cep.util.UReals.le(com.cor.cep.util.UReals.minus(r3.NTimeSeconds,r2.NTimeSeconds),r2.NTimeSeconds).getC() * 
com.cor.cep.util.UReals.lt(r2.NTimeSeconds, r3.NTimeSeconds).getC() * "
P_NegativeSplitRule as prob 
from pattern [(every r2 = RunnerEvent(r2.point=21.097))->
              (every r3 = RunnerEvent((r3.dorsal=r2.dorsal) and (r3.point=42.195) and (com.cor.cep.util.UBooleans.toBoolean(com.cor.cep.util.UReals.le(com.cor.cep.util.UReals.minus(r3.NTimeSeconds,r2.NTimeSeconds),r2.NTimeSeconds)))))];

**********************************************************
@Name('Finisher')
select point, dorsal, NTimeSeconds as ntimeseconds, RunnerEvent.prob * com.cor.cep.util.UReals.lt(NTimeSeconds,7418).getC() * 
P_FinisherRule as prob 
from RunnerEvent where where point =42.195;

**********************************************************
@Name('Optimal')
select point , dorsal , ntimeseconds, NegativeSplit.prob *  PFN_TheWall *
P_OptimalRule as prob
from NegativeSplit 
where not exists (select dorsal from TheWall.win:time(100 sec) where dorsal=NegativeSplit.dorsal);

**********************************************************
@Name('Cheated')
select point, dorsal, ntimeseconds, Finisher.prob * PFN_Runner * 
P_CheatedRule as prob
from Finisher 
where not exists (select dorsal from RunnerEvent.win:time(100 sec) where dorsal=Finisher.dorsal and 
RunnerEvent.point=21.097);

**********************************************************
@Name('Record')
select point, dorsal, ntimeseconds, Finisher.prob * com.cor.cep.util.UReals.lt(Finisher.ntimeseconds,7418).getC() * 
PFN_Cheated * P_RecordRule as prob
from Finisher 
where com.cor.cep.util.UBooleans.toBoolean(com.cor.cep.util.UReals.lt(Finisher.ntimeseconds,7418)) and 
not exists (select dorsal from Cheated.win:time(100 sec) where dorsal=Finisher.dorsal);