arc(r_0022_0003__understand, r_0022_0001__Grown__hyphen__ups, arg0).
arc(r_0022_0003__understand, r_0022_0002__never, nim7).
arc(r_0022_0003__understand, r_0022_0004__anything, arg1).
arc(r_0022_0003__understand, r_0022_0006__themselves, r_0022_0005__by_nim18).
arc(r_0022_0008__and, r_0022_0003__understand, conj1).
arc(r_0022_0008__and, r_0022_0010__is, conj2).
arc(r_0022_0010__is, r_0022_0011__tiresome, prd).
arc(r_0022_0010__is, r_0022_0014__to_r_0022_0015__be, arg0).
arc(r_0022_0011__tiresome, r_0022_0013__children, r_0022_0012__for).
arc(r_0022_0014__to_r_0022_0015__be, r_0022_0019__explaining, scope).
arc(r_0022_0017__and, r_0022_0016__always, conj1).
arc(r_0022_0017__and, r_0022_0018__forever, conj2).
arc(r_0022_0019__explaining, r_0022_0001__Grown__hyphen__ups, arg2).
arc(r_0022_0019__explaining, r_0022_0017__and, nim47).
arc(r_0022_0019__explaining, r_0022_0020__things, arg1).
arc(r_0022_0019__explaining, z_000_22_a_saint_exupery_1943_27, arg0).

fof(formula,axiom,
    ? [R_0022_0001__GROWN__HYPHEN__UPS,R_0022_0002__NEVER,R_0022_0004__ANYTHING,R_0022_0006__THEMSELVES,R_0022_0003__UNDERSTAND,R_0022_0013__CHILDREN,R_0022_0011__TIRESOME,R_0022_0016__ALWAYS,R_0022_0018__FOREVER,R_0022_0017__AND,R_0022_0020__THINGS,Z_000_22_A_SAINT_EXUPERY_1943_27,R_0022_0014__TO_R_0022_0015__BE_R_0022_0019__EXPLAINING,R_0022_0010__IS,R_0022_0008__AND] :
      ( r_0022_0001__Grown__hyphen__ups(R_0022_0001__GROWN__HYPHEN__UPS)
      & r_0022_0002__never(R_0022_0002__NEVER)
      & r_0022_0004__anything(R_0022_0004__ANYTHING)
      & r_0022_0006__themselves(R_0022_0006__THEMSELVES)
      & r_0022_0013__children(R_0022_0013__CHILDREN)
      & r_0022_0016__always(R_0022_0016__ALWAYS)
      & r_0022_0018__forever(R_0022_0018__FOREVER)
      & r_0022_0020__things(R_0022_0020__THINGS)
      & z_000_22_a_saint_exupery_1943_27(Z_000_22_A_SAINT_EXUPERY_1943_27)
      & r_0022_0008__and(R_0022_0008__AND)
      & has_conj2(R_0022_0008__AND,R_0022_0010__IS)
      & r_0022_0010__is(R_0022_0010__IS)
      & has_arg0(R_0022_0010__IS,R_0022_0014__TO_R_0022_0015__BE_R_0022_0019__EXPLAINING)
      & r_0022_0014__to_r_0022_0015__be_r_0022_0019__explaining(R_0022_0014__TO_R_0022_0015__BE_R_0022_0019__EXPLAINING)
      & has_arg0(R_0022_0014__TO_R_0022_0015__BE_R_0022_0019__EXPLAINING,Z_000_22_A_SAINT_EXUPERY_1943_27)
      & has_arg1(R_0022_0014__TO_R_0022_0015__BE_R_0022_0019__EXPLAINING,R_0022_0020__THINGS)
      & has_nim47(R_0022_0014__TO_R_0022_0015__BE_R_0022_0019__EXPLAINING,R_0022_0017__AND)
      & r_0022_0017__and(R_0022_0017__AND)
      & has_conj2(R_0022_0017__AND,R_0022_0018__FOREVER)
      & has_conj1(R_0022_0017__AND,R_0022_0016__ALWAYS)
      & has_arg2(R_0022_0014__TO_R_0022_0015__BE_R_0022_0019__EXPLAINING,R_0022_0001__GROWN__HYPHEN__UPS)
      & has_prd(R_0022_0010__IS,R_0022_0011__TIRESOME)
      & r_0022_0011__tiresome(R_0022_0011__TIRESOME)
      & has_r_0022_0012__for(R_0022_0011__TIRESOME,R_0022_0013__CHILDREN)
      & has_conj1(R_0022_0008__AND,R_0022_0003__UNDERSTAND)
      & r_0022_0003__understand(R_0022_0003__UNDERSTAND)
      & has_r_0022_0005__by_nim18(R_0022_0003__UNDERSTAND,R_0022_0006__THEMSELVES)
      & has_arg1(R_0022_0003__UNDERSTAND,R_0022_0004__ANYTHING)
      & has_nim7(R_0022_0003__UNDERSTAND,R_0022_0002__NEVER)
      & has_arg0(R_0022_0003__UNDERSTAND,R_0022_0001__GROWN__HYPHEN__UPS) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{PERSONS} (NS Grown_<hyphen>_ups;{grown_ups}))
                      (ADVP-NIM (ADV never;{never}))
                      (VBP;_Tn_ understand;{understand})
                      (NP-OB1 (D;_nphd_ anything;{anything}))
                      (PP-NIM (P-ROLE by;{by})
                              (NP (PNX themselves;{themselves}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO;_provisional_ it;{it}))
                             (BEP;_La_ is;{be})
                             (ADJP-PRD (ADJ tiresome;{tiresome})
                                       (PP (P-ROLE for;{for})
                                           (NP (NS children;{child}))))
                             (IP-INF-NSBJ (TO to;{to})
                                          (BE;_cat_Vg_ be;{be})
                                          (IP-PPL-CAT (ADVP-NIM (AVLYR (AVLYR (ADV always;{always}))
                                                                       (CONJP (CONJ and;{and})
                                                                              (AVLYR (ADV forever;{forever})))))
                                                      (VAG;_Dn.pr_ explaining;{explain[to]})
                                                      (NP-OB1 (NS things;{thing}))
                                                      (PP-OB2 (P-ROLE to;{to})
                                                              (NP;{PERSONS} (PRO them;{they}))))))))
          (PUNC .))
  (ID 22_a_saint_exupery_1943))