Interval + Specification