( (IP-MAT (NP-SBJ;{REPAIR} (PRO It;{it}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D a;{a})
                  (N question;{question})
                  (PP (P-ROLE of;{of})
                      (NP (NLYR (NLYR (N life;{life}))
                                (CONJP (CONJ or;{or})
                                       (NLYR (N death;{death}))))
                          (PP (P-ROLE for;{for})
                              (NP (PRO me;{I}))))))
          (PUNC :)
          (PRN (IP-MAT (NP-SBJ (PRO I;{I}))
                       (HVD;_Tn_ had;{have})
                       (NP-OB1 (ADJP (ADVP (ADV scarcely;{scarcely}))
                                     (ADJR enough;{enough})
                                     (IP-INF *ICH*-161))
                               (ADJP (ADJ drinking;{drinking}))
                               (N water;{water})
                               (IP-INF-EPD-161 (TO to;{to})
                                               (VB;_In/pr_ last;{last})
                                               (NP-CLR (D a;{a})
                                                       (N week;{week}))))))
          (PUNC .))
  (ID 42_a_saint_exupery_1943))

arc(r_0042_0002__was,r_0042_0001__It,arg0).
arc(r_0042_0002__was,r_0042_0003__a_r_0042_0004__question,prd).
arc(r_0042_0002__was,r_0042_0013__had,prn).
arc(r_0042_0003__a_r_0042_0004__question,r_0042_0007__or,r_0042_0005__of).
arc(r_0042_0007__or,r_0042_0006__life,conj1).
arc(r_0042_0007__or,r_0042_0008__death,conj2).
arc(r_0042_0007__or,r_0042_0010__me,r_0042_0009__for).
arc(r_0042_0013__had,r_0042_0012__I,arg0).
arc(r_0042_0013__had,r_0042_0017__water,arg1).
arc(r_0042_0015__enough,r_0042_0014__scarcely,qual).
arc(r_0042_0015__enough,r_0042_0019__last,emb).
arc(r_0042_0017__water,r_0042_0015__enough,attrib).
arc(r_0042_0017__water,r_0042_0016__drinking,attrib).
arc(r_0042_0019__last,r_0042_0020__a_r_0042_0021__week,clr).
arc(r_0042_0019__last,z_0042_5006,arg0).

fof(formula,axiom,
    ? [R_0042_0001__IT,R_0042_0006__LIFE,R_0042_0008__DEATH,R_0042_0010__ME,R_0042_0007__OR,R_0042_0003__A_R_0042_0004__QUESTION,R_0042_0012__I,R_0042_0014__SCARCELY,R_0042_0020__A_R_0042_0021__WEEK,Z_0042_5006,R_0042_0019__LAST,R_0042_0015__ENOUGH,R_0042_0016__DRINKING,R_0042_0017__WATER,R_0042_0013__HAD,R_0042_0002__WAS] :
      ( r_0042_0001__It(R_0042_0001__IT)
      & r_0042_0006__life(R_0042_0006__LIFE)
      & r_0042_0008__death(R_0042_0008__DEATH)
      & r_0042_0010__me(R_0042_0010__ME)
      & r_0042_0012__I(R_0042_0012__I)
      & r_0042_0014__scarcely(R_0042_0014__SCARCELY)
      & r_0042_0016__drinking(R_0042_0016__DRINKING)
      & r_0042_0020__a_r_0042_0021__week(R_0042_0020__A_R_0042_0021__WEEK)
      & z_0042_5006(Z_0042_5006)
      & r_0042_0002__was(R_0042_0002__WAS)
      & has_prn(R_0042_0002__WAS,R_0042_0013__HAD)
      & r_0042_0013__had(R_0042_0013__HAD)
      & has_arg1(R_0042_0013__HAD,R_0042_0017__WATER)
      & r_0042_0017__water(R_0042_0017__WATER)
      & has_attrib(R_0042_0017__WATER,R_0042_0016__DRINKING)
      & has_attrib(R_0042_0017__WATER,R_0042_0015__ENOUGH)
      & r_0042_0015__enough(R_0042_0015__ENOUGH)
      & has_emb(R_0042_0015__ENOUGH,R_0042_0019__LAST)
      & r_0042_0019__last(R_0042_0019__LAST)
      & has_arg0(R_0042_0019__LAST,Z_0042_5006)
      & has_clr(R_0042_0019__LAST,R_0042_0020__A_R_0042_0021__WEEK)
      & has_qual(R_0042_0015__ENOUGH,R_0042_0014__SCARCELY)
      & has_arg0(R_0042_0013__HAD,R_0042_0012__I)
      & has_prd(R_0042_0002__WAS,R_0042_0003__A_R_0042_0004__QUESTION)
      & r_0042_0003__a_r_0042_0004__question(R_0042_0003__A_R_0042_0004__QUESTION)
      & has_r_0042_0005__of(R_0042_0003__A_R_0042_0004__QUESTION,R_0042_0007__OR)
      & r_0042_0007__or(R_0042_0007__OR)
      & has_r_0042_0009__for(R_0042_0007__OR,R_0042_0010__ME)
      & has_conj2(R_0042_0007__OR,R_0042_0008__DEATH)
      & has_conj1(R_0042_0007__OR,R_0042_0006__LIFE)
      & has_arg0(R_0042_0002__WAS,R_0042_0001__IT) ) ).