( (IP-MAT (NP-NIM (IP-REL (ADVP-NIM (RADV Where;{where}))
                          (NP-SBJ;{PRINCE} (PRO I;{I}))
                          (VBP;__ live;{live})))
          (PUNC ,)
          (NP-SBJ (Q;_nphd_ everything;{everything}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADVP (ADV very;{very}))
                    (ADJ small;{small}))
          (PUNC .))
  (ID 73_a_saint_exupery_1943))

arc(r_0073_0003__live,r_0073_0001__Where,nim).
arc(r_0073_0003__live,r_0073_0002__I,arg0).
arc(r_0073_0005__everything__quant,r_0073_0006__is,scope).
arc(r_0073_0005__everything__quant,z_0073_5005,restriction).
arc(r_0073_0006__is,r_0073_0001__Where,nim).
arc(r_0073_0006__is,r_0073_0008__small,prd).
arc(r_0073_0006__is,z_0073_5005,arg0).
arc(r_0073_0008__small,r_0073_0007__very,qual).

fof(formula,axiom,
    ? [R_0073_0001__WHERE,R_0073_0002__I,R_0073_0003__LIVE] :
      ( r_0073_0001__Where(R_0073_0001__WHERE)
      & r_0073_0002__I(R_0073_0002__I)
      & ! [Z_0073_5005] :
          ( z_0073_5005(Z_0073_5005)
         => ? [R_0073_0007__VERY,R_0073_0008__SMALL,R_0073_0006__IS] :
              ( r_0073_0007__very(R_0073_0007__VERY)
              & r_0073_0006__is(R_0073_0006__IS)
              & has_arg0(R_0073_0006__IS,Z_0073_5005)
              & has_prd(R_0073_0006__IS,R_0073_0008__SMALL)
              & r_0073_0008__small(R_0073_0008__SMALL)
              & has_qual(R_0073_0008__SMALL,R_0073_0007__VERY)
              & has_nim(R_0073_0006__IS,R_0073_0001__WHERE) ) )
      & r_0073_0003__live(R_0073_0003__LIVE)
      & has_arg0(R_0073_0003__LIVE,R_0073_0002__I)
      & has_nim(R_0073_0003__LIVE,R_0073_0001__WHERE) ) ).