(let
  $X9=((name & 
  (let
    $X8=(<-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
      $X5=((profile & <1>
      (let
        $X4=(gender | <2>$X4)
      in
        $X4)) | <2>$X5)
    in
      $X5) & 
    (let
      $X7=((profile & <1>
      (let
        $X6=(age | <2>$X6)
      in
        $X6)) | <2>$X7)
    in
      $X7))) | <-2>$X8)
  in
    $X8)) | <1>$X9 | <2>$X9)
in
  $X9)