arc(r_0002_0002__when, r_0002_0004__was, restriction).
arc(r_0002_0002__when, r_0002_0009__saw, scope).
arc(r_0002_0004__was, r_0002_0003__I, arg0).
arc(r_0002_0004__was, r_0002_0007__old, prd).
arc(r_0002_0007__old, r_0002_0005__six_r_0002_0006__years, nim15).
arc(r_0002_0009__saw, r_0002_0001__Once, nim2).
arc(r_0002_0009__saw, r_0002_0003__I, arg0).
arc(r_0002_0009__saw, r_0002_0010__a_r_0002_0012__picture, arg1).
arc(r_0002_0010__a_r_0002_0012__picture, r_0002_0011__magnificent, attrib30).
arc(r_0002_0010__a_r_0002_0012__picture, r_0002_0014__a_r_0002_0015__book, r_0002_0013__in).
arc(r_0002_0014__a_r_0002_0015__book, r_0002_0024__the_r_0002_0026__forest, r_0002_0023__about).
arc(r_0002_0017__called, r_0002_0014__a_r_0002_0015__book, arg1).
arc(r_0002_0017__called, r_0002_0019__Stories, prd).
arc(r_0002_0017__called, z_000_2_a_saint_exupery_1943_46, arg0).
arc(r_0002_0019__Stories, r_0002_0018__True, attrib51).
arc(r_0002_0019__Stories, r_0002_0021__Nature, r_0002_0020__from).
arc(r_0002_0024__the_r_0002_0026__forest, r_0002_0025__primeval, attrib70).

fof(formula,axiom,
    ? [R_0002_0025__PRIMEVAL,R_0002_0024__THE_R_0002_0026__FOREST,R_0002_0014__A_R_0002_0015__BOOK,R_0002_0018__TRUE,R_0002_0021__NATURE,R_0002_0019__STORIES,Z_000_2_A_SAINT_EXUPERY_1943_46,R_0002_0017__CALLED] :
      ( r_0002_0018__True(R_0002_0018__TRUE)
      & r_0002_0021__Nature(R_0002_0021__NATURE)
      & r_0002_0025__primeval(R_0002_0025__PRIMEVAL)
      & z_000_2_a_saint_exupery_1943_46(Z_000_2_A_SAINT_EXUPERY_1943_46)
      & r_0002_0017__called(R_0002_0017__CALLED)
      & has_arg0(R_0002_0017__CALLED,Z_000_2_A_SAINT_EXUPERY_1943_46)
      & has_prd(R_0002_0017__CALLED,R_0002_0019__STORIES)
      & r_0002_0019__Stories(R_0002_0019__STORIES)
      & has_r_0002_0020__from(R_0002_0019__STORIES,R_0002_0021__NATURE)
      & has_attrib51(R_0002_0019__STORIES,R_0002_0018__TRUE)
      & has_arg1(R_0002_0017__CALLED,R_0002_0014__A_R_0002_0015__BOOK)
      & r_0002_0014__a_r_0002_0015__book(R_0002_0014__A_R_0002_0015__BOOK)
      & has_r_0002_0023__about(R_0002_0014__A_R_0002_0015__BOOK,R_0002_0024__THE_R_0002_0026__FOREST)
      & r_0002_0024__the_r_0002_0026__forest(R_0002_0024__THE_R_0002_0026__FOREST)
      & has_attrib70(R_0002_0024__THE_R_0002_0026__FOREST,R_0002_0025__PRIMEVAL)
      & ! [R_0002_0004__WAS,R_0002_0003__I,R_0002_0005__SIX_R_0002_0006__YEARS,R_0002_0007__OLD] :
          ( ( r_0002_0003__I(R_0002_0003__I)
            & r_0002_0005__six_r_0002_0006__years(R_0002_0005__SIX_R_0002_0006__YEARS)
            & r_0002_0004__was(R_0002_0004__WAS)
            & has_prd(R_0002_0004__WAS,R_0002_0007__OLD)
            & r_0002_0007__old(R_0002_0007__OLD)
            & has_nim15(R_0002_0007__OLD,R_0002_0005__SIX_R_0002_0006__YEARS)
            & has_arg0(R_0002_0004__WAS,R_0002_0003__I) )
         => ? [R_0002_0001__ONCE,R_0002_0011__MAGNIFICENT,R_0002_0010__A_R_0002_0012__PICTURE,R_0002_0009__SAW] :
              ( r_0002_0001__Once(R_0002_0001__ONCE)
              & r_0002_0011__magnificent(R_0002_0011__MAGNIFICENT)
              & r_0002_0009__saw(R_0002_0009__SAW)
              & has_arg1(R_0002_0009__SAW,R_0002_0010__A_R_0002_0012__PICTURE)
              & r_0002_0010__a_r_0002_0012__picture(R_0002_0010__A_R_0002_0012__PICTURE)
              & has_r_0002_0013__in(R_0002_0010__A_R_0002_0012__PICTURE,R_0002_0014__A_R_0002_0015__BOOK)
              & has_attrib30(R_0002_0010__A_R_0002_0012__PICTURE,R_0002_0011__MAGNIFICENT)
              & has_arg0(R_0002_0009__SAW,R_0002_0003__I)
              & has_nim2(R_0002_0009__SAW,R_0002_0001__ONCE) ) ) ) ).

( (IP-MAT (ADVP-NIM (ADV Once;{once}))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (BED;_La_ was;{be})
                           (ADJP-PRD (NP (NUM six;{six})
                                         (NS years;{year}))
                                     (ADJ old;{old}))))
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tn_ saw;{see})
          (NP-OB1;{ARTWORK} (D a;{a})
                            (ADJP (ADJ magnificent;{magnificent}))
                            (N picture;{picture})
                            (PP (P-ROLE in;{in})
                                (NP (D a;{a})
                                    (N book;{book})
                                    (PUNC ,)
                                    (IP-PPL (NP-LGS *)
                                            (VVN;_Cn.n_ called;{call})
                                            (NP-PRD (ADJP (ADJ True;{true}))
                                                    (NS Stories;{story})
                                                    (PP (P-ROLE from;{from})
                                                        (NP (N Nature;{nature})))))
                                    (PUNC ,)
                                    (PP (P-ROLE about;{about})
                                        (NP (D the;{the})
                                            (ADJP (ADJ primeval;{primeval}))
                                            (N forest;{forest}))))))
          (PUNC .))
  (ID 2_a_saint_exupery_1943))