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_73_3_LIVE,R_73_2_I,Z_73_A_SAINT_EXUPERY_1943_2] :
      ( i(R_73_2_I)
      & live(R_73_3_LIVE,R_73_2_I)
      & nim4(R_73_3_LIVE,Z_73_A_SAINT_EXUPERY_1943_2)
      & ! [Z_73_A_SAINT_EXUPERY_1943_14] :
          ( true
         => ? [R_73_6_IS,R_73_8_SMALL,R_73_7_VERY] :
              ( very(R_73_7_VERY)
              & is(R_73_6_IS,Z_73_A_SAINT_EXUPERY_1943_14,R_73_8_SMALL)
              & small(R_73_8_SMALL)
              & qual20(R_73_8_SMALL,R_73_7_VERY)
              & nim2(R_73_6_IS,Z_73_A_SAINT_EXUPERY_1943_2) ) ) ) ).

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