Sofar we have only seen Boolean variables in Interval Temporal Logic. In order to describe the behaviour of systems with a ‘programming language’-like logic like a we need to introduce