arc(r_0073_0003__live, r_0073_0002__I, arg0).
arc(r_0073_0003__live, z_000_73_a_saint_exupery_1943_2, nim4).
arc(r_0073_0005__everything_quant, r_0073_0006__is, scope).
arc(r_0073_0005__everything_quant, z_000_73_a_saint_exupery_1943_14, restriction).
arc(r_0073_0006__is, r_0073_0008__small, prd).
arc(r_0073_0006__is, z_000_73_a_saint_exupery_1943_14, arg0).
arc(r_0073_0006__is, z_000_73_a_saint_exupery_1943_2, nim2).
arc(r_0073_0008__small, r_0073_0007__very, qual20).

fof(formula,axiom,
    ? [R_0073_0002__I,Z_000_73_A_SAINT_EXUPERY_1943_2,R_0073_0003__LIVE] :
      ( r_0073_0002__I(R_0073_0002__I)
      & z_000_73_a_saint_exupery_1943_2(Z_000_73_A_SAINT_EXUPERY_1943_2)
      & ! [Z_000_73_A_SAINT_EXUPERY_1943_14] :
          ( z_000_73_a_saint_exupery_1943_14(Z_000_73_A_SAINT_EXUPERY_1943_14)
         => ? [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_nim2(R_0073_0006__IS,Z_000_73_A_SAINT_EXUPERY_1943_2)
              & has_arg0(R_0073_0006__IS,Z_000_73_A_SAINT_EXUPERY_1943_14)
              & has_prd(R_0073_0006__IS,R_0073_0008__SMALL)
              & r_0073_0008__small(R_0073_0008__SMALL)
              & has_qual20(R_0073_0008__SMALL,R_0073_0007__VERY) ) )
      & r_0073_0003__live(R_0073_0003__LIVE)
      & has_nim4(R_0073_0003__LIVE,Z_000_73_A_SAINT_EXUPERY_1943_2)
      & has_arg0(R_0073_0003__LIVE,R_0073_0002__I) ) ).

( (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))