( (IP-MAT (PP-NIM (P-ROLE By;{by})
                  (NP (D this;{this})
                      (N time;{time})))
          (NP-SBJ (NP-GEN (PRO;_genm_ my;{my}))
                  (N patience;{patience}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ exhausted;{exhaust}))
          (PUNC ,)
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (BED;_Ipr_ was;{be[in]})
                           (PP-CLR (P-ROLE in;{in})
                                   (NP (D a;{a})
                                       (N hurry;{hurry})
                                       (IP-INF (TO to;{to})
                                               (VB;_cat_Vg_ start;{start})
                                               (IP-PPL-CAT (VAG;_phr_Vn<=>p_ taking;{take[apart]})
                                                           (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                                                   (N engine;{engine}))
                                                           (RP apart;{apart})))))))
          (PUNC .))
  (ID 87_a_saint_exupery_1943))

arc(r_0087_0005__patience,r_0087_0004__my,gen).
arc(r_0087_0006__was,r_0087_0002__this_r_0087_0003__time,r_0087_0001__By__nim).
arc(r_0087_0006__was,r_0087_0007__exhausted,scope).
arc(r_0087_0007__exhausted,r_0087_0005__patience,arg1).
arc(r_0087_0007__exhausted,z_0087_5016___star_,arg0).
arc(r_0087_0009__because,r_0087_0006__was,scope).
arc(r_0087_0009__because,r_0087_0011__was_r_0087_0012__in,restriction).
arc(r_0087_0011__was_r_0087_0012__in,r_0087_0004__my,arg0).
arc(r_0087_0011__was_r_0087_0012__in,r_0087_0013__a_r_0087_0014__hurry,arg1).
arc(r_0087_0013__a_r_0087_0014__hurry,r_0087_0016__start,emb).
arc(r_0087_0016__start,r_0087_0017__taking_r_0087_0020__apart,scope).
arc(r_0087_0017__taking_r_0087_0020__apart,r_0087_0019__engine,arg1).
arc(r_0087_0017__taking_r_0087_0020__apart,z_0087_5008,arg0).
arc(r_0087_0019__engine,r_0087_0004__my,gen).

fof(formula,axiom,
    ? [R_0087_0002__THIS_R_0087_0003__TIME,R_0087_0004__MY,R_0087_0005__PATIENCE,Z_0087_5016___STAR_,R_0087_0006__WAS_R_0087_0007__EXHAUSTED,R_0087_0019__ENGINE,Z_0087_5008,R_0087_0016__START_R_0087_0017__TAKING_R_0087_0020__APART,R_0087_0013__A_R_0087_0014__HURRY,R_0087_0011__WAS_R_0087_0012__IN,R_0087_0009__BECAUSE] :
      ( r_0087_0002__this_r_0087_0003__time(R_0087_0002__THIS_R_0087_0003__TIME)
      & r_0087_0004__my(R_0087_0004__MY)
      & z_0087_5008(Z_0087_5008)
      & z_0087_5016___star_(Z_0087_5016___STAR_)
      & r_0087_0009__because(R_0087_0009__BECAUSE)
      & has_conj1(R_0087_0009__BECAUSE,R_0087_0011__WAS_R_0087_0012__IN)
      & r_0087_0011__was_r_0087_0012__in(R_0087_0011__WAS_R_0087_0012__IN)
      & has_arg1(R_0087_0011__WAS_R_0087_0012__IN,R_0087_0013__A_R_0087_0014__HURRY)
      & r_0087_0013__a_r_0087_0014__hurry(R_0087_0013__A_R_0087_0014__HURRY)
      & has_emb(R_0087_0013__A_R_0087_0014__HURRY,R_0087_0016__START_R_0087_0017__TAKING_R_0087_0020__APART)
      & r_0087_0016__start_r_0087_0017__taking_r_0087_0020__apart(R_0087_0016__START_R_0087_0017__TAKING_R_0087_0020__APART)
      & has_arg0(R_0087_0016__START_R_0087_0017__TAKING_R_0087_0020__APART,Z_0087_5008)
      & has_arg1(R_0087_0016__START_R_0087_0017__TAKING_R_0087_0020__APART,R_0087_0019__ENGINE)
      & r_0087_0019__engine(R_0087_0019__ENGINE)
      & has_gen(R_0087_0019__ENGINE,R_0087_0004__MY)
      & has_arg0(R_0087_0011__WAS_R_0087_0012__IN,R_0087_0004__MY)
      & has_conj2(R_0087_0009__BECAUSE,R_0087_0006__WAS_R_0087_0007__EXHAUSTED)
      & r_0087_0006__was_r_0087_0007__exhausted(R_0087_0006__WAS_R_0087_0007__EXHAUSTED)
      & has_arg0(R_0087_0006__WAS_R_0087_0007__EXHAUSTED,Z_0087_5016___STAR_)
      & has_arg1(R_0087_0006__WAS_R_0087_0007__EXHAUSTED,R_0087_0005__PATIENCE)
      & r_0087_0005__patience(R_0087_0005__PATIENCE)
      & has_gen(R_0087_0005__PATIENCE,R_0087_0004__MY)
      & has_r_0087_0001__By__nim(R_0087_0006__WAS_R_0087_0007__EXHAUSTED,R_0087_0002__THIS_R_0087_0003__TIME) ) ).