The query St (t1, t2, t3) R = (t: Ct1 < Ct2 < Ct3) where '<' is the "before-after" temporal relation.