/* SCIFF Rules representing constraints of the CLIMB model */


/* succession register - open order */

H(performed(register), T)
---> E(performed(open_order), T2) /\ T2 > T.

H(start,0)
--->EN(performed(open_order),T)
\/ E(performed(register),T2) /\ EN(performed(open_order), T) /\ T < T2.


/* succession photo or poster - print */

H(performed(photo),T)
--->E(performed(print),T2) /\ T2 > T.

H(performed(poster),T)
--->E(performed(print),T2) /\ T2 > T.


H(start,0)
--->EN(performed(print),T)
\/ E(performed(photo),T2) /\ EN(performed(print), T) /\ T < T2
\/ E(performed(poster),T2) /\ EN(performed(print), T) /\ T < T2.


/*succession album or photo or poster - print */

H(performed(album),T)
--->E(performed(deliver),T2) /\ T2 > T.

H(performed(photo),T)
--->E(performed(deliver),T2) /\ T2 > T.

H(performed(poster),T)
--->E(performed(deliver),T2) /\ T2 > T.

H(start,0)
--->EN(performed(deliver),T)
\/ E(performed(album),T2) /\ EN(performed(deliver), T) /\ T < T2
\/ E(performed(photo),T2) /\ EN(performed(deliver), T) /\ T < T2
\/ E(performed(poster),T2) /\ EN(performed(deliver), T) /\ T < T2.


/* precedence deliver - receive */

H(start,0)
--->EN(performed(receive),T)
\/ E(performed(deliver),T2) /\ EN(performed(receive), T) /\ T < T2.


/* responded existence charge - pay */

H(performed(charge),T)
--->E(performed(pay),T2).


/* not co-existence print-deliver */

H(performed(print),T)
--->EN(performed(deliver),T2) /\ T2 > T.

H(performed(deliver),T)
--->EN(performed(print),T2) /\ T2 > T.