(let
  $X9=((date & 
  (let
    $X8=(<-1>(closed_auction & 
    (let
      $X3=(<-1>(closed_auctions & 
      (let
        $X2=(<-1>(site & 
        (let
          $X1=(<-1>(~<-1>T & ~<-2>T & ~<2>T & T) | <-2>$X1)
        in
          $X1)) | <-2>$X2)
      in
        $X2)) | <-2>$X3)
    in
      $X3) & <1>
    (let
      $X7=((annotation & <1>
      (let
        $X6=((description & <1>
        (let
          $X5=((text & <1>
          (let
            $X4=(keyword | <2>$X4)
          in
            $X4)) | <2>$X5)
        in
          $X5)) | <2>$X6)
      in
        $X6)) | <2>$X7)
    in
      $X7)) | <-2>$X8)
  in
    $X8)) | <1>$X9 | <2>$X9)
in
  $X9)