( mint 
   (
      (
         ( "begin of time"  "2003-11-20-06:18:16.027"  TRUE  FALSE ) 0 )
      (
         ( "2003-11-20-06:18:16.027"  "2003-11-20-06:37:30.647"  TRUE  TRUE ) 1 )
      (
         ( "2003-11-20-06:37:30.647"  "end of time"  FALSE  TRUE ) 0 )))