( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ (PRO I;{I}))
          (VBD;__ lived;{live})
          (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                  (N life;{life}))
          (ADJP-PRD (ADJ alone;{alone}))
          (PUNC ,)
          (PP-NIM (P-ROLE without;{without})
                  (NP (D;_nphd_ anyone;{anyone})
                      (IP-REL (C that;{that})
                              (NP-SBJ (PRO I;{I}))
                              (MD;_cat_Vi_ could;{can})
                              (IP-INF-CAT (ADVP-NIM (ADV really;{really}))
                                          (VB;__ talk;{talk})
                                          (PP-CLR (P-ROLE to;{to})
                                                  (NP *T*))))))
          (PUNC ,)
          (PP-SCON (P-CONN until;{until})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (HVD;_Tn_ had;{have})
                           (NP-OB1 (D an;{an})
                                   (N accident;{accident}))
                           (PP-NIM (P-ROLE with;{with})
                                   (NP (NP-GEN (PRO;_genm_ my;{my}))
                                       (N plane;{plane})))
                           (PP-NIM (P-ROLE in;{in})
                                   (NP (D the;{the})
                                       (N Desert;{desert})
                                       (PP (P-ROLE of;{of})
                                           (NP (NPR Sahara;{Sahara})))))
                           (PUNC ,)
                           (ADVP-NIM (NP (NUM six;{six})
                                         (NS years;{year}))
                                     (ADV ago;{ago}))))
          (PUNC .))
  (ID 39_a_saint_exupery_1943))

arc(r_0039_0003__lived,r_0039_0001__So,nim).
arc(r_0039_0003__lived,r_0039_0002__I,arg0).
arc(r_0039_0003__lived,r_0039_0005__life,arg1).
arc(r_0039_0003__lived,r_0039_0006__alone,prd).
arc(r_0039_0003__lived,r_0039_0009__anyone,r_0039_0008__without__nim).
arc(r_0039_0005__life,r_0039_0002__I,gen).
arc(r_0039_0012__could,r_0039_0014__talk,scope).
arc(r_0039_0014__talk,r_0039_0002__I,arg0).
arc(r_0039_0014__talk,r_0039_0009__anyone,r_0039_0015__to__inv_clr).
arc(r_0039_0014__talk,r_0039_0013__really,nim).
arc(r_0039_0017__until,r_0039_0003__lived,scope).
arc(r_0039_0017__until,r_0039_0019__had,restriction).
arc(r_0039_0019__had,r_0039_0002__I,arg0).
arc(r_0039_0019__had,r_0039_0020__an_r_0039_0021__accident,arg1).
arc(r_0039_0019__had,r_0039_0024__plane,r_0039_0022__with__nim).
arc(r_0039_0019__had,r_0039_0026__the_r_0039_0027__Desert,r_0039_0025__in__nim).
arc(r_0039_0019__had,r_0039_0033__ago,nim).
arc(r_0039_0024__plane,r_0039_0002__I,gen).
arc(r_0039_0026__the_r_0039_0027__Desert,r_0039_0029__Sahara,r_0039_0028__of).
arc(r_0039_0033__ago,r_0039_0031__six_r_0039_0032__years,nim).

fof(formula,axiom,
    ? [R_0039_0001__SO,R_0039_0002__I,R_0039_0005__LIFE,R_0039_0006__ALONE,R_0039_0013__REALLY,R_0039_0012__COULD_R_0039_0014__TALK,R_0039_0009__ANYONE,R_0039_0003__LIVED,R_0039_0020__AN_R_0039_0021__ACCIDENT,R_0039_0024__PLANE,R_0039_0029__SAHARA,R_0039_0026__THE_R_0039_0027__DESERT,R_0039_0031__SIX_R_0039_0032__YEARS,R_0039_0033__AGO,R_0039_0019__HAD,R_0039_0017__UNTIL] :
      ( r_0039_0001__So(R_0039_0001__SO)
      & r_0039_0002__I(R_0039_0002__I)
      & r_0039_0006__alone(R_0039_0006__ALONE)
      & r_0039_0013__really(R_0039_0013__REALLY)
      & r_0039_0020__an_r_0039_0021__accident(R_0039_0020__AN_R_0039_0021__ACCIDENT)
      & r_0039_0029__Sahara(R_0039_0029__SAHARA)
      & r_0039_0031__six_r_0039_0032__years(R_0039_0031__SIX_R_0039_0032__YEARS)
      & r_0039_0017__until(R_0039_0017__UNTIL)
      & has_conj1(R_0039_0017__UNTIL,R_0039_0019__HAD)
      & r_0039_0019__had(R_0039_0019__HAD)
      & has_nim(R_0039_0019__HAD,R_0039_0033__AGO)
      & r_0039_0033__ago(R_0039_0033__AGO)
      & has_nim(R_0039_0033__AGO,R_0039_0031__SIX_R_0039_0032__YEARS)
      & has_r_0039_0025__in__nim(R_0039_0019__HAD,R_0039_0026__THE_R_0039_0027__DESERT)
      & r_0039_0026__the_r_0039_0027__Desert(R_0039_0026__THE_R_0039_0027__DESERT)
      & has_r_0039_0028__of(R_0039_0026__THE_R_0039_0027__DESERT,R_0039_0029__SAHARA)
      & has_r_0039_0022__with__nim(R_0039_0019__HAD,R_0039_0024__PLANE)
      & r_0039_0024__plane(R_0039_0024__PLANE)
      & has_gen(R_0039_0024__PLANE,R_0039_0002__I)
      & has_arg1(R_0039_0019__HAD,R_0039_0020__AN_R_0039_0021__ACCIDENT)
      & has_arg0(R_0039_0019__HAD,R_0039_0002__I)
      & has_conj2(R_0039_0017__UNTIL,R_0039_0003__LIVED)
      & r_0039_0003__lived(R_0039_0003__LIVED)
      & has_r_0039_0008__without__nim(R_0039_0003__LIVED,R_0039_0009__ANYONE)
      & r_0039_0009__anyone(R_0039_0009__ANYONE)
      & has_r_0039_0015__to__inv_clr(R_0039_0009__ANYONE,R_0039_0012__COULD_R_0039_0014__TALK)
      & r_0039_0012__could_r_0039_0014__talk(R_0039_0012__COULD_R_0039_0014__TALK)
      & has_nim(R_0039_0012__COULD_R_0039_0014__TALK,R_0039_0013__REALLY)
      & has_arg0(R_0039_0012__COULD_R_0039_0014__TALK,R_0039_0002__I)
      & has_prd(R_0039_0003__LIVED,R_0039_0006__ALONE)
      & has_arg1(R_0039_0003__LIVED,R_0039_0005__LIFE)
      & r_0039_0005__life(R_0039_0005__LIFE)
      & has_gen(R_0039_0005__LIFE,R_0039_0002__I)
      & has_arg0(R_0039_0003__LIVED,R_0039_0002__I)
      & has_nim(R_0039_0003__LIVED,R_0039_0001__SO) ) ).