Integrated the Allen's Interval Algebra Reasoning Library.