% EC.lp #domain fluent(F;F1;F2), event(E), timepoint(T;T1;T2). timepoint(0..maxstep). % EC 1 clipped(T1,F,T2) :- happens(E,T), T1<=T, T