An interval relation is a (non-wholistic) fact with duration. An interval relation is said to hold over an interval I if it holds at all time instants belonging to the set of contiguous chronons representing I.