added more exists and forall functions to TimeSegment and TimeLine