( mint 
   (
      (
         ( "begin of time"  "2003-11-20-06:35:29.353"  TRUE  FALSE ) 2 )
      (
         ( "2003-11-20-06:37:30.647"  "2003-11-20-07:20"  FALSE  FALSE ) 2 )
      (
         ( "2003-11-20-07:22"  "2003-11-20-08:16:56.575"  TRUE  FALSE ) 2 )
      (
         ( "2003-11-20-08:21"  "2003-11-20-08:21:36.700"  TRUE  FALSE ) 2 )
      (
         ( "2003-11-20-08:38:19.267"  "2003-11-20-08:40"  FALSE  FALSE ) 2 )
      (
         ( "2003-11-20-08:46:50.390"  "end of time"  FALSE  TRUE ) 2 )))