Allen's temporal calculus