(let
  $X7=((name & 
  (let
    $X6=(<-1>(person & 
    (let
      $X3=(<-1>(people & 
      (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
      $X4=(phone | <2>$X4)
    in
      $X4) | 
    (let
      $X5=(homepage | <2>$X5)
    in
      $X5))) | <-2>$X6)
  in
    $X6)) | <1>$X7 | <2>$X7)
in
  $X7)