( (IP-MAT (PULQ <ldquo>)
          (PP-SCON (P-CONN Because;{because})
                   (IP-ADV (NP-NIM (IP-REL (ADVP-NIM (RADV where;{where}))
                                           (NP-SBJ;{PRINCE} (PRO I;{I}))
                                           (VBP;__ live;{live})))
                           (NP-SBJ (Q;_nphd_ everything;{everything}))
                           (BEP;_La_ is;{be})
                           (ADJP-PRD (ADVP (ADV very;{very}))
                                     (ADJ small;{small}))))
          (PUNC ...)
          (PURQ <rdquo>))
  (ID 96_a_saint_exupery_1943))

arc(r_0096_0002__Because,r_0096_0006__everything__quant,restriction).
arc(r_0096_0002__Because,z_0096_5012,scope).
arc(r_0096_0005__live,r_0096_0003__where,nim).
arc(r_0096_0005__live,r_0096_0004__I,arg0).
arc(r_0096_0006__everything__quant,r_0096_0007__is,scope).
arc(r_0096_0006__everything__quant,z_0096_5008,restriction).
arc(r_0096_0007__is,r_0096_0003__where,nim).
arc(r_0096_0007__is,r_0096_0009__small,prd).
arc(r_0096_0007__is,z_0096_5008,arg0).
arc(r_0096_0009__small,r_0096_0008__very,qual).
arc(z_0096_5012,z_0096_5002,arg0).

fof(formula,axiom,
    ? [Z_0096_5002,Z_0096_5012,R_0096_0002__BECAUSE,R_0096_0003__WHERE,R_0096_0004__I,R_0096_0005__LIVE] :
      ( r_0096_0003__where(R_0096_0003__WHERE)
      & r_0096_0004__I(R_0096_0004__I)
      & z_0096_5002(Z_0096_5002)
      & r_0096_0005__live(R_0096_0005__LIVE)
      & has_arg0(R_0096_0005__LIVE,R_0096_0004__I)
      & has_nim(R_0096_0005__LIVE,R_0096_0003__WHERE)
      & r_0096_0002__Because(R_0096_0002__BECAUSE)
      & has_conj2(R_0096_0002__BECAUSE,Z_0096_5012)
      & z_0096_5012(Z_0096_5012)
      & has_arg0(Z_0096_5012,Z_0096_5002)
      & ! [Z_0096_5008] :
          ( z_0096_5008(Z_0096_5008)
         => ? [R_0096_0008__VERY,R_0096_0009__SMALL,R_0096_0007__IS] :
              ( r_0096_0008__very(R_0096_0008__VERY)
              & r_0096_0007__is(R_0096_0007__IS)
              & has_arg0(R_0096_0007__IS,Z_0096_5008)
              & has_prd(R_0096_0007__IS,R_0096_0009__SMALL)
              & r_0096_0009__small(R_0096_0009__SMALL)
              & has_qual(R_0096_0009__SMALL,R_0096_0008__VERY)
              & has_nim(R_0096_0007__IS,R_0096_0003__WHERE) ) ) ) ).