interval-algebra-2.1.1: An implementation of Allen's interval algebra for temporal logic